Assertion list
satellite receiver (primary) → ReceivesAction

Results from Ascent++: 1
satellite receiverReceivesAction connected with the mim 0.59