Assertion list for term "move on right side of the channel".

Results from Ascent++: 1
monitor CapableOfmove on right side of the channel 0.25