Assertion list
supercell thunderstorm (subgroup of thunderstorm ) → HasProperty
Results from Ascent++: 1
supercell thunderstorm → HasProperty → the strongest 0.68