Assertion list
strong earthquake (subgroup of earthquake ) → HasProperty
Results from Ascent++: 1
strong earthquake → HasProperty → rare 0.50