Assertion list
slope (primary) → AtLocation
Results from Ascent++: 2
slope → AtLocation → impact crater rims 0.25
slope → AtLocation → consistent decline 0.19