Assertion list
reservoir (primary) → HasPrerequisite
Results from Ascent++: 2
reservoir → HasPrerequisite → new techniques 0.28
reservoir → HasPrerequisite → special instrumentation 0.28