public void testConnectiveANDSentenceAndSngleVariable()
{
Sentence beforeSubst = parser
.parse("EXISTS x ( King(x) AND BrotherOf(x) = EnemyOf(y) )");
Sentence expectedAfterSubst = parser
.parse("( King(John) AND BrotherOf(John) = EnemyOf(Saladin) )");
Dictionary<Variable, Term> p = new Dictionary<Variable, Term>();
p.Add(new Variable("x"), new Constant("John"));
p.Add(new Variable("y"), new Constant("Saladin"));
Sentence afterSubst = sv.subst(p, beforeSubst);
Assert.AreEqual(expectedAfterSubst, afterSubst);
Assert.AreEqual(parser
.parse("EXISTS x ( King(x) AND BrotherOf(x) = EnemyOf(y) )"),
beforeSubst);
}