Assertion list
east (primary) → HasPrerequisite
Results from Ascent++: 1
east → HasPrerequisite → the west 0.28