Assertion list
employee (primary) → AtLocation

Results from Ascent++: 1
employeeAtLocation the office 0.59