Assertion list
waiter (primary) → AtLocation
Results from Ascent++: 1
waiter → AtLocation → our table 0.23