Assertion list
inversion (primary) → IsA
Results from Ascent++: 1
inversion → IsA → the process 0.25