Assertion list
department store (primary) → AtLocation
Results from Ascent++: 1
department store → AtLocation → building 0.25