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); }