Assertion list for term "terminate in the tube".

Results from Ascent++: 1
chain CapableOfterminate in the tube 0.41