public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse() {
// This query will not return using TFM as keep expanding
// clauses through resolution for this KB.
FOLTFMResolution ip = new FOLTFMResolution(1000 * 1000);
ip.setTracer(new RegressionFOLTFMResolutionTracer());
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(ip, true);
}
public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()
{
// This query will not return using TFM as keep expanding
// clauses through resolution for this KB.
FOLTFMResolution ip = new FOLTFMResolution(10 * 1000);
ip.setTracer(new RegressionFOLTFMResolutionTracer());
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(ip, true);
}
