Assertion list
sheriff (primary) → AtLocation
Results from Ascent++: 1
sheriff → AtLocation → office 0.25