private Sentence parseQuantifiedSentence()
{
String quantifier = lookAhead(1).getText();
consume();
List<Variable> variables = new List<Variable>();
Variable var = (Variable)parseVariable();
variables.Add(var);
while (lookAhead(1).getType() == (int)LogicTokenTypes.COMMA)
{
consume();
var = (Variable)parseVariable();
variables.Add(var);
}
Sentence sentence = parseSentence();
return new QuantifiedSentence(quantifier, variables, sentence);
}