Assertion list
chain (primary) → HasSubevent
Results from Ascent++: 2
chain → HasSubevent → action 0.28
chain → HasSubevent → successful choice 0.25