Assertion list for term "remain in the quarter".

Results from Ascent++: 1
run CapableOfremain in the quarter 0.25