Assertion list
stator (primary) → HasA
Results from Ascent++: 3
stator → HasA → first-phased coil 0.43
stator → HasA → an end plate 0.25
stator → HasA → same number of windings 0.25