Assertion list for term "run to the left".

Results from Ascent++: 1
rotor CapableOfrun to the left 0.25