|
ENTITY Simple_clause ABSTRACT SUPERTYPE OF (ONEOF (Literal_conjunction, Literal_disjunction)); formulas : LIST [1:?] OF Rule_condition; END_ENTITY; -- Simple_clause |
Entity data types and their attributesSimple_clauseformulas: LIST [1:?] OF Rule_condition; |
| Literal_conjunction (Production_rule_arm) |
| Literal_disjunction (Production_rule_arm) |
Global rules for this entity data type- |