%%

( "<=>" | "and" | "or" | "=>" ) return BINARY_OPERATOR;

"-" return UNARY_OPERATOR;

"(" return LEFT_PAREN;

")" return RIGHT_PAREN;

( "p" | "q" | "r" ) return ATOMIC;