public override Object visitNotSentence(UnarySentence us, Object arg) { return transformNotSentence(us); }