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