Assertion list
typhoon (primary) → IsA
Results from Ascent++: 2
typhoon → IsA → tropical cyclone 0.42
typhoon → IsA → mature tropical cyclone 0.32