Assertion list
descent (primary) → HasPrerequisite
Results from Ascent++: 1
descent → HasPrerequisite → good head 0.25