Assertion list
surgeon (primary) → AtLocation
Results from Ascent++: 2
surgeon → AtLocation → full control 0.53
surgeon → AtLocation → the operating room 0.53