public Object visitQuantifiedSentence(QuantifiedSentence sentence,
Object arg)
{
// Ensure I collect quantified variables too
List<Variable> variables = (List<Variable>)arg;
variables.AddRange(sentence.getVariables());
sentence.getQuantified().accept(this, arg);
return sentence;
}