public virtual Literal newInstance(AtomicSentence atom) { return new Literal(atom, negativeLiteral); }
public Literal subst(Dictionary<Variable, Term> theta, Literal aLiteral) { return aLiteral.newInstance((AtomicSentence)aLiteral .getAtomicSentence().accept(this, theta)); }