Assertion list
longitude (primary) → IsA
Results from Ascent++: 1
longitude → IsA → the distance 0.25