Assertion list
commutator (primary) → IsA
Results from Ascent++: 1
commutator → IsA → electrical switch 0.25