what is the tropical cyclone season that contains at most 9 storms?
(AND meteorology.tropical_cyclone_season (le meteorology.tropical_cyclone_season.total_storms 9^^http://www.w3.org/2001/XMLSchema#integer))