Assertion list
cup (primary) → HasPrerequisite
Results from Ascent++: 1
cup → HasPrerequisite → less effort 0.28