Assertion list
system (aspect of diver ) → ReceivesAction
Results from Ascent++: 5
system → ReceivesAction → implemented 0.68
system → ReceivesAction → designed 0.25
system → ReceivesAction → inspected 0.25
system → ReceivesAction → improved 0.16
system → ReceivesAction → employed 0.12