Assertion list for term "remain on the separator".

Results from Ascent++: 1
tube CapableOfremain on the separator 0.35