public Object visitQuantifiedSentence(QuantifiedSentence sentence, Object arg) { return new QuantifiedSentence(sentence.getQuantifier(), sentence .getVariables(), (Sentence)sentence.getQuantified().accept( this, arg)); } }