Assertion list
functional requirement (subgroup of requirement ) → ReceivesAction
Results from Ascent++: 3
functional requirement → ReceivesAction → satisfied 0.68
functional requirement → ReceivesAction → specified in paragraph 0.55
functional requirement → ReceivesAction → provided for each system 0.25