Assertion list
winding (aspect of motor ) → HasProperty
Results from Ascent++: 4
winding → HasProperty → excited 0.46
winding → HasProperty → open 0.42
winding → HasProperty → inductive 0.38
winding → HasProperty → bad 0.16