Assertion list for term "rotate the ratchet wheel one tooth".

Results from Ascent++: 1
pawl CapableOfrotate the ratchet wheel one tooth 0.25