Assertion list
cardinal (primary) → HasPrerequisite
Results from Ascent++: 1
cardinal → HasPrerequisite → just one win 0.25