which tropical cyclone is typhoon?
(AND meteorology.tropical_cyclone (JOIN meteorology.tropical_cyclone.category m.07r2x))