Assertion list
employer (primary) → AtLocation
Results from Ascent++: 2
employer → AtLocation → violation 0.44
employer → AtLocation → violation of the law 0.41