Assertion list
thunderstorm (primary) → IsA
Results from Ascent++: 1
thunderstorm → IsA → storm 0.45