Assertion list for term "kept in following action of the channel".
Results from Ascent++: 1
phase → ReceivesAction → kept in following action of the channel 0.21