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