what is the tropical cyclone which has a lowest pressure that is not greater than 1000.0?
(AND meteorology.tropical_cyclone (le meteorology.tropical_cyclone.lowest_pressure 1000.0^^http://www.w3.org/2001/XMLSchema#float))