public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() { testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLTFMResolution()); }