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