Assertion list
summit (aspect of mountain ) → AtLocation
Results from Ascent++: 1
summit → AtLocation → higher altitude 0.16