Assertion list for term "different kinds of motions".

Results from Ascent++: 1
hazard CreatedBydifferent kinds of motions 0.25