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