Assertion list
selling (primary) → AtLocation
Results from Ascent++: 1
selling → AtLocation → intrastate commerce 0.27