|
|
OLD_NLTK = 0
|
|
|
NEW_NLTK = 1
|
|
|
PROVER9 = 2
|
|
|
LAMBDA = ['\\', '\\', '\\'] |
|
|
EXISTS = ['some', 'exists', 'exists'] |
|
|
ALL = ['all', 'all', 'all'] |
|
|
DOT = ['.', '.', ' '] |
|
|
OPEN = '(' |
|
|
CLOSE = ')' |
|
|
COMMA = ',' |
|
|
NOT = ['not', '-', '-'] |
|
|
AND = ['and', '&', '&'] |
|
|
OR = ['or', '|', '|'] |
|
|
IMP = ['implies', '->', '->'] |
|
|
IFF = ['iff', '<->', '<->'] |
|
|
EQ = ['=', '=', '='] |
|
|
NEQ = ['!=', '!=', '!='] |
|
|
BINOPS = ['and', '&', '&', 'or', '|', '|', 'implies', '->', '-... |
|
|
QUANTS = ['some', 'exists', 'exists', 'all', 'all', 'all'] |
|
|
PUNCT = ['.', '(', ')', ','] |
|
|
TOKENS = ['and', '&', '&', 'or', '|', '|', 'implies', '->', '-... |
|
|
SYMBOLS = ['\\', '\\', '\\', '.', '(', ')', ',', '&', '|', '-'... |