Assertion list
tip (primary) → HasPrerequisite
Results from Ascent++: 1
tip → HasPrerequisite → a break-in 0.33