Assertion list
active volcano (subgroup of volcano ) → IsA
Results from Ascent++: 1
active volcano → IsA → volcano 0.38