Assertion list
magnitude earthquake (subgroup of earthquake ) → IsA
Results from Ascent++: 1
magnitude earthquake → IsA → the largest earthquake 0.25