Assertion list
choking (primary) → HasPrerequisite
Results from Ascent++: 1
choking → HasPrerequisite → fast, appropriate action 0.25