Assertion list
right (aspect of contractor ) → AtLocation
Results from Ascent++: 1
right → AtLocation → the worksite 0.25