Assertion list
work (aspect of pascal ) → ReceivesAction
Results from Ascent++: 1
work → ReceivesAction → lost 0.25