
BNF Grammar of UMA Forum 0.1:


   module        ::= module_header module_body

   module_header ::= MODULE lcid PERIOD

   module_body   ::= term    PERIOD module_body
		   | op_decl PERIOD module_body
		   |

   term          ::= ATOM LPAREN term_lst RPAREN
		   | term ATOM term
		   | ATOM term
		   | term ATOM
		   | LPAREN term RPAREN
		   | ATOM
		   | VAR
		   | INTEGER
		   | FLOAT

   term_lst      ::= term COMMA term_lst
		   | term

   op_decl       ::= INFIX   ATOM COLON INTEGER
                   | INFIXL  ATOM COLON INTEGER
                   | INFIXR  ATOM COLON INTEGER
                   | PREFIX  ATOM COLON INTEGER
                   | POSTFIX ATOM COLON INTEGER

   lcid          ::= LOWER_CASE_IDENT
		   | APOST LOWER_CASE_IDENT APOST


