Assertion list
seller (primary) → AtLocation
Results from Ascent++: 2
seller → AtLocation → liberty 0.38
seller → AtLocation → seven valleys 0.25