public void testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds() { testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds( new FOLModelElimination(), false); }