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