of tropical cyclone seasons, which had more than 513 total fatalities?
(AND meteorology.tropical_cyclone_season (gt meteorology.tropical_cyclone_season.total_fatalities 513^^http://www.w3.org/2001/XMLSchema#integer))