private bool detectAtomicSentence() { int type = lookAhead(1).getType(); return (type == (int)LogicTokenTypes.TRUE) || (type == (int)LogicTokenTypes.FALSE) || (type == (int)LogicTokenTypes.SYMBOL); } }