Assertion list
peak (primary) → IsA
Results from Ascent++: 3
peak → IsA → the highest point 0.78
peak → IsA → point lenana 0.37
peak → IsA → the point 0.25