Assertion list
salesman (primary) → AtLocation
Results from Ascent++: 1
salesman → AtLocation → the office 0.43