bsat.logic.grammar.parsetab