Assertion list
ice storm (subgroup of storm ) → HasProperty
Results from Ascent++: 1
ice storm → HasProperty → possible 0.25