Assertion list for term "received via a grant message".
Results from Ascent++: 1
parameter (aspect of function) → ReceivesAction → received via a grant message 0.25