Class FORMAL-LANGUAGE

Subclass-Of: Language
Axioms:
(Slot-Cardinality Formal-Language _Formal 1)