public Object visitQuantifiedSentence(QuantifiedSentence sentence, Object arg) { throw new NotImplementedException( "visitQuantifiedSentence() should not be called."); }