Assertion list
product specification (subgroup of specification ) → ReceivesAction
Results from Ascent++: 2
product specification → ReceivesAction → made accessible 0.41
product specification → ReceivesAction → met 0.41