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