Assertion list
winding (aspect of coil ) → HasA

Results from Ascent++: 2
windingHasA first pitch 0.25
windingHasA pitch 0.25