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