Assertion list for term "remain on the 6-point".

Results from Ascent++: 1
checker CapableOfremain on the 6-point 0.29