Assertion list
worker cooperative (subgroup of cooperative ) → ReceivesAction
Results from Ascent++: 1
worker cooperative → ReceivesAction → owned 0.68