| Predicate-Definition = | |
| pred Predicate-Pattern [ means Definiens ] ; | |
| Correctness-Conditions | |
| { Predicate-Property } | |
| { Predicate-Synonym } . | |
| Predicate-Pattern = [ Loci ] Predicate-Symbol [ Loci ] . | |
| Predicate-Property = | |
| symmetry Justification ; | | |
| connectedness Justification ; | | |
| reflexivity Justification ; | | |
| irreflexivity Justification ; . | |
| Predicate-Synonym = ( synonym | antonym ) Predicate-Pattern ; . | |
| Predicate-Symbol = Symbol . | |
Last modified: June 26, 2000