Assertion list
extratropical cyclone (subgroup of cyclone ) → IsA
Results from Ascent++: 1
extratropical cyclone → IsA → storm 0.25