Assertion list
induction motor (subgroup of motor ) → HasA
Results from Ascent++: 2
induction motor → HasA → brush 0.68
induction motor → HasA → high starting torque 0.39