public Object visitNotSentence(NotSentence sentence, Object arg) { ArgData ad = (ArgData)arg; // Indicate that the enclosed predicate is negated ad.negated = true; sentence.getNegated().accept(this, arg); ad.negated = false; return sentence; }