what tropical cyclone has a lowest pressure no more than 985.0?
(AND meteorology.tropical_cyclone (le meteorology.tropical_cyclone.lowest_pressure 985.0^^http://www.w3.org/2001/XMLSchema#float))