Assertion list
strong thunderstorm (subgroup of thunderstorm ) → HasProperty
Results from Ascent++: 1
strong thunderstorm → HasProperty → possible 0.18