Assertion list
capture (primary) → IsA
Results from Ascent++: 1
capture → IsA → the process 0.47