Assertion list for term "supported by the message".
Results from Ascent++: 1
parameter (aspect of function) → ReceivesAction → supported by the message 0.35