Assertion list
class (primary) → HasPrerequisite
Results from Ascent++: 1
class → HasPrerequisite → registration 0.42