Assertion list
mine (primary) → HasPrerequisite
Results from Ascent++: 1
mine → HasPrerequisite → worker 0.31