Assertion list
winding (aspect of coil ) → HasA
Results from Ascent++: 2
winding → HasA → first pitch 0.25
winding → HasA → pitch 0.25