Assertion list
severe thunderstorm (subgroup of thunderstorm ) → IsA
Results from Ascent++: 1
severe thunderstorm → IsA → thunderstorm 0.25