Assertion list
footprint (primary) → AtLocation
Results from Ascent++: 1
footprint → AtLocation → the snow 0.25