Assertion list
moraine (primary) → HasProperty
Results from Ascent++: 2
moraine → HasProperty → steep 0.25
moraine → HasProperty → visible 0.25