Assertion list
synchronous motor (subgroup of motor ) → IsA
Results from Ascent++: 1
synchronous motor → IsA → an ac motor 0.38