Assertion list
winding (aspect of coil ) → HasProperty
Results from Ascent++: 2
winding → HasProperty → close 0.31
winding → HasProperty → aligned parallel 0.25