Assertion list
limb (primary) → HasPrerequisite
Results from Ascent++: 1
limb → HasPrerequisite → more than one cut 0.25