Assertion list for term "run in a clockwise direction".

Results from Ascent++: 1
circuit CapableOfrun in a clockwise direction 0.32