Assertion list
spinach (primary) → AtLocation
Results from Ascent++: 1
spinach → AtLocation → the pan 0.48