Assertion list
pile (primary) → AtLocation
Results from Ascent++: 1
pile → AtLocation → the shade 0.28