Assertion list
reach (primary) → HasPrerequisite
Results from Ascent++: 1
reach → HasPrerequisite → hard work 0.23