Assertion list
anchor (primary) → HasPrerequisite
Results from Ascent++: 2
anchor → HasPrerequisite → a 1/2hole 0.25
anchor → HasPrerequisite → a 5/8hole 0.25