public void testParseFunction() { parser.setUpToParse("BrotherOf(John)"); Term f = parser.parseFunction(); Assert.AreEqual(f.ToString(), getBrotherOfFunction(new Constant("John")).ToString()); }