ULInt ULINT Real REAL [...] Word WORD Asserts
[ sign ] term { [...] ">" | ">=" sign ::= [...] REAL bool-and ::=