Terminal Symbols

 

 ALPHANUM       --> [a-zA-Z0-9]+

 LABEL          --> everything except .|'"$:;!^->=,()[]{}/, newlines, tabs, ...
                |   everything enclosed in " except " and \, which must be escaped with \
                |   everything enclosed in $ except $ and \, which must be escaped with \

 NUMBER         --> REAL
                |   INTEGER

 REAL           --> [-]?([0-9]+\.[0-9]*|[0-9]*\.[0-9]+)([Ee][-+]?[0-9]+)?

 INTEGER        --> [-]?[0-9]+

 BOOLEAN        --> TRUE
                |   FALSE

 FUNCTOR        --> From | To | AttrValue | A | AttrId | Ai | AL | In | Isa | Label
                | P |  LT | GT | LE | GE | EQ | NE | IDENTICAL | UNIFIES | Known

 INFIXSYMBOL    --> < | > | <= | >= | = | <> | == | in | isA

 SELECTOR1      -->  "!" | "^"

 SELECTOR2      -->  "->"| "=>"

 SELECTORB      -->  "." | "|"