Assertion list for term "stop in accordance".

Results from Ascent++: 1
clock CapableOfstop in accordance 0.25