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