Assertion list for term "remain in last position".

Results from Ascent++: 1
valve CapableOfremain in last position 0.25