Assertion list for term "allocated to an ack/nack signal channel".
Results from Ascent++: 1
sequence → ReceivesAction → allocated to an ack/nack signal channel 0.27