Assertion list for term "sent to pager".
Results from Ascent++: 2
message → ReceivesAction → sent to pager 0.48
alarm → ReceivesAction → sent to pager 0.25