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