Assertion list
rest (primary) → HasPrerequisite
Results from Ascent++: 1
rest → HasPrerequisite → work 0.24