Assertion list
rotor (aspect of motor ) → HasA
Results from Ascent++: 4
rotor → HasA → winding 0.51
rotor → HasA → commutator 0.36
rotor → HasA → hydrodynamic surface 0.25
rotor → HasA → outer diameter 0.25