Assertion list for term "remain in one piece".

Results from Ascent++: 1
glass CapableOfremain in one piece 0.30