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