Assertion list
dc motor (subgroup of motor ) → HasA
Results from Ascent++: 2
dc motor → HasA → commutator 0.40
dc motor → HasA → two terminals 0.25