Class LEGISLATIVE-ACTIVITY

Subclass-Of: Institutional-activity

Axioms:

(=> (Legislative-Activity ?Self)
    (Exists (?A) (And (Performed-By ?Self ?A) (Legislator ?A))))

• Defined in theory: Social-objects
• Source code: Social-Objects.lisp