Assertion list for term "needed to be transmitted on the reversetrafficchannelmac".
Results from Ascent++: 1
bit → ReceivesAction → needed to be transmitted on the reversetrafficchannelmac 0.31