Assertion list
crevasse (primary) → AtLocation
Results from Ascent++: 2
crevasse → AtLocation → glacier 0.38
crevasse → AtLocation → an ice sheet 0.32