Assertion list
ac motor (subgroup of motor ) → HasProperty
Results from Ascent++: 1
ac motor → HasProperty → more durable 0.16