Assertion list
induction motor (subgroup of motor ) → HasProperty
Results from Ascent++: 3
induction motor → HasProperty → heavy 0.52
induction motor → HasProperty → simple 0.25
induction motor → HasProperty → efficient 0.16