public override Literal newInstance(AtomicSentence atom) { return new ReducedLiteral(atom, isNegativeLiteral()); }