| Definiens = Simple-Definiens | Conditional-Definiens . | ||
| Simple-Definiens = | ||
| [ : Label-Identifier : ] ( Sentence | Term-Expression ) . | ||
| Label-Identifier = Identifier . | ||
| Conditional-Definiens = | ||
| [ : Label-Identifier : ] Partial-Definiens-List | ||
| [ otherwise ( Sentence | Term-Expression ) ] . | ||
| Partial-Definiens-List = Partial-Definiens { , Partial-Definiens } . | ||
| Partial-Definiens = ( Sentence | Term-Expression ) if Sentence . | ||
Last modified: June 26, 2000