Assertion list for term "remained at rest".

Results from Ascent++: 1
clock CapableOfremained at rest 0.25