public virtual Object visitNotSentence(UnarySentence ns, Object arg) { List<Sentence> s = (List<Sentence>)arg; return SetOps.union(s, (List<Sentence>)ns.getNegated().accept(this, arg)); }