public void testPredicate() { // parser.setUpToParse("King(John)"); Predicate p = (Predicate)parser.parse("King(John)"); Assert.AreEqual(p.ToString(), getKingPredicate(new Constant("John")).ToString()); }