Assertion list
bow (primary) → HasPrerequisite
Results from Ascent++: 1
bow → HasPrerequisite → more practice 0.25