Assertion list
metamorphosis (primary) → IsA
Results from Ascent++: 1
metamorphosis → IsA → process 0.45