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