what is the name of the tropical cyclone that is classified as a category 3 severe tropical cyclone (bom)?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.category m.0256drc))