Assertion list
discovery (primary) → HasPrerequisite
Results from Ascent++: 2
discovery → HasPrerequisite → urgent evaluation 0.25
discovery → HasPrerequisite → new captain 0.16