Assertion list
manual (primary) → HasPrerequisite
Results from Ascent++: 1
manual → HasPrerequisite → updating 0.25