Assertion list for term "run on one winding".

Results from Ascent++: 1
clock CapableOfrun on one winding 0.25