Assertion list for term "remain in erased state".

Results from Ascent++: 1
initial state (subgroup of state) CapableOfremain in erased state 0.25