Assertion list
large earthquake (subgroup of earthquake ) → IsA
Results from Ascent++: 1
large earthquake → IsA → a 9.0 magnitude earthquake 0.57