@Test
public void testParseMultiArityFunctionEquality() {
parser.setUpToParse("LegsOf(John,Saladin,Richard)");
Term f = parser.parseFunction();
parser.setUpToParse("LegsOf(John,Saladin,Richard)");
Term f2 = parser.parseFunction();
Assert.assertEquals(f, f2);
Assert.assertEquals(3, ((Function) f).getTerms().size());
}
@Test
public void testParseFunction() {
parser.setUpToParse("BrotherOf(John)");
Term f = parser.parseFunction();
Assert.assertEquals(f, getBrotherOfFunction(new Constant("John")));
}
