Class LEGISLATOR

Subclass-Of: Institution

Axioms:

(=> (Legislator ?Self)
    (Exists (?A) (And (Part-Of ?Self ?A) (Official-Government ?A))))

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