Assertion list
north (primary) → HasPrerequisite
Results from Ascent++: 1
north → HasPrerequisite → the south 0.33