public void testNotSentence()
{
NotSentence ns = (NotSentence)parser
.parse("NOT BrotherOf(John) = EnemyOf(Saladin)");
Assert.AreEqual(ns.getNegated().ToString(), (new TermEquality(
getBrotherOfFunction(new Constant("John")),
getEnemyOfFunction())).ToString());
}