Assertion list
work (aspect of contractor ) → Causes
Results from Ascent++: 1
work → Causes → delay 0.16