Assertion list
tour guide (primary) → AtLocation
Results from Ascent++: 1
tour guide → AtLocation → the city 0.45