Assertion list for term "receive new movement".

Results from Ascent++: 1
clock CapableOfreceive new movement 0.25