Atomic Formula Expression

Syntax

Atomic-Formula-Expression   =  
 [   Term-Expression-List   ]   Predicate-Symbol   [   Term-Expression-List   ]   |  
Predicate-Identifier   [   [   Term-Expression-List   ]   ]   |  
Term-Expression   is   {   Adjective   }   |  
Term-Expression   is   Type-Expression   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000