Assertion list for term "manual winding".

Results from Ascent++: 1
watch HasPrerequisitemanual winding 0.37