Assertion list
union (primary) → HasPrerequisite
Results from Ascent++: 1
union → HasPrerequisite → employee 0.43