public void testSimplepredicate() { List<Variable> variables = vc.collectAllVariables(parser .parse("King(x)")); Assert.AreEqual(1, variables.Count); Assert.IsTrue(variables.Contains(new Variable("x"))); }