Assertion list
work (aspect of electrician ) → AtLocation
Results from Ascent++: 1
work → AtLocation → progress 0.36