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