Assertion list for term "protected to the extent".
Results from Ascent++: 1
work (aspect of worker) → ReceivesAction → protected to the extent 0.33