Assertion list
contractor (primary) → Desires
Results from Ascent++: 1
contractor → Desires → perform structural work 0.38