Assertion list
rotor (primary) → IsA
Results from Ascent++: 1
rotor → IsA → the armature 0.30