Assertion list
buyer (primary) → AtLocation

Results from Ascent++: 1
buyerAtLocation breach 0.25