Assertion list
interface (primary) → HasPrerequisite
Results from Ascent++: 1
interface → HasPrerequisite → work 0.27