Assertion list
blizzard (primary) → IsA
Results from Ascent++: 1
blizzard → IsA → storm 0.49