Assertion list
category storm (subgroup of storm ) → IsA
Results from Ascent++: 2
category storm → IsA → hurricane andrew 0.38
category storm → IsA → hugo 0.29