public static FOLDomain lovesAnimalDomain()
{
FOLDomain domain = new FOLDomain();
domain.addPredicate("Animal");
domain.addPredicate("Loves");
domain.addPredicate("Kills");
domain.addPredicate("Cat");
domain.addConstant("Jack");
domain.addConstant("Tuna");
domain.addConstant("Curiosity");
return domain;
}