Assertion list
rotor (aspect of motor ) → HasProperty
Results from Ascent++: 2
rotor → HasProperty → stationary 0.54
rotor → HasProperty → rotatable 0.41