public Object visitNotSentence(NotSentence notSentence, Object arg) { Sentence negated = notSentence.getNegated(); return new NotSentence((Sentence)negated.accept(this, arg)); }