Assertion list
major earthquake (subgroup of earthquake ) → HasProperty
Results from Ascent++: 2
major earthquake → HasProperty → overdue 0.32
major earthquake → HasProperty → rare 0.32