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