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