Class TEXT

Subclass-Of: Document
The-Archetype: Type
Axioms:
(=> (Text ?Self)
    (And (Exists (?A)
                 (And (Part ?Self ?A) (Linguistic-Expression ?A)))
         (Exists (?B)
                 (And (Strictly-Depends-On ?Self ?B) (Language ?B)))))