Assertion list
south (primary) → HasPrerequisite
Results from Ascent++: 2
south → HasPrerequisite → the north 0.42
south → HasPrerequisite → more slaves 0.31