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 | In | Label | P
                  |   LT | GT | LE | GE | EQ | NE | IDENTICAL | UNIFIES

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

 SELECTOR1        -->  "!" | "^"

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

 SELECTORB        -->  "." | "|"