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