Assertion list for term "remain in the box".

Results from Ascent++: 1
cable CapableOfremain in the box 0.29