Assertion list
synchronous motor (subgroup of motor ) → CapableOf

Results from Ascent++: 1
synchronous motorCapableOf run at constant speed 0.76