Assertion list
north (primary) → IsA
Results from Ascent++: 2
north → IsA → direction 0.45
north → IsA → their highest point 0.25