Class PHRASE

Subclass-Of: Linguistic-expression

Axioms:

(=> (Phrase ?Self)
    (And (Exists (?A) (And (Part ?Self ?A) (Word ?A)))
         (Forall (?B)
                 (=> (Part ?Self ?B) (Or (Word ?B) (Morpheme ?B))))))

• Defined in theory: Representation
• Source code: Representation.lisp