Assertion list
goal (primary) → HasPrerequisite
Results from Ascent++: 3
goal → HasPrerequisite → focus 0.45
goal → HasPrerequisite → hard work 0.36
goal → HasPrerequisite → determination 0.36