Assertion list
passing (primary) → IsA
Results from Ascent++: 1
passing → IsA → action 0.33