Assertion list
reporting requirement (subgroup of requirement ) → ReceivesAction
Results from Ascent++: 3
reporting requirement → ReceivesAction → likely to range 0.46
reporting requirement → ReceivesAction → established in the revised code 0.36
reporting requirement → ReceivesAction → met 0.31