| Attribute-Definition = | |
| attr Attribute-Pattern means Definiens ; | |
| [ Correctness-Condition ] | |
| { Attribute-Synonym } . | |
| Attribute-Pattern = Locus is Attribute-Symbol . | |
| Attribute-Synonym = | |
| ( synonym | antonym ) ( Attribute-Pattern | Predicate-Pattern ) ; . | |
| Attribute-Symbol = Symbol . | |
Last modified: June 26, 2000