Assertion list for term "received within outer tube".

Results from Ascent++: 1
inner tube ReceivesActionreceived within outer tube 0.37