Assertion list
small earthquake (subgroup of earthquake ) → HasProperty

Results from Ascent++: 1
small earthquakeHasProperty common 0.31