'!'=59 '!='=63 '$false'=67 '$less'=68 '$true'=66 '&'=57 '('=47 ')'=48 ','=45 ',['=43 '.'=49 ':'=60 ':='=65 '<='=53 '<=>'=51 '<~>'=54 '='=64 '=>'=52 '?'=61 '['=50 ']'=44 'assumption'=31 'axiom'=27 'conjecture'=28 'corollary'=34 'definition'=30 'fi_domain'=38 'fi_functors'=39 'fi_predicates'=40 'fof'=46 'hypothesis'=29 'include('=42 'lemma'=32 'negated_conjecture'=35 'plain'=36 'theorem'=33 'type'=37 'unknown'=41 '|'=58 '~&'=56 '~'=62 '~|'=55 RULE_ALPHA_NUMERIC=15 RULE_ANY_OTHER=21 RULE_DOLLAR_ID=8 RULE_DOUBLE_DOLLAR_ID=9 RULE_DOUBLE_QUOTE=14 RULE_ID=22 RULE_INT=17 RULE_LITERAL=6 RULE_LOWER_WORD_ID=4 RULE_ML_COMMENT=24 RULE_SIGN=16 RULE_SIGNED_LITERAL=7 RULE_SIGNED_RAT_ID=13 RULE_SIGNED_REAL_ID=12 RULE_SINGLE_COMMENT=10 RULE_SINGLE_QUOTE=5 RULE_SL_COMMENT=25 RULE_STRING=23 RULE_UNSIGNED_RAT_ID=20 RULE_UNSIGNED_REAL_EXP_ID=19 RULE_UNSIGNED_REAL_FRAC_ID=18 RULE_UPPER_WORD_ID=11 RULE_WS=26 T__27=27 T__28=28 T__29=29 T__30=30 T__31=31 T__32=32 T__33=33 T__34=34 T__35=35 T__36=36 T__37=37 T__38=38 T__39=39 T__40=40 T__41=41 T__42=42 T__43=43 T__44=44 T__45=45 T__46=46 T__47=47 T__48=48 T__49=49 T__50=50 T__51=51 T__52=52 T__53=53 T__54=54 T__55=55 T__56=56 T__57=57 T__58=58 T__59=59 T__60=60 T__61=61 T__62=62 T__63=63 T__64=64 T__65=65 T__66=66 T__67=67 T__68=68