Assertion list
coverage (primary) → HasPrerequisite
Results from Ascent++: 2
coverage → HasPrerequisite → notice 0.32
coverage → HasPrerequisite → comment 0.27