Assertion list
phase motor (subgroup of motor ) → IsA
Results from Ascent++: 1
phase motor → IsA → motor 0.71