Assertion list
electrode (primary) → IsA
Results from Ascent++: 2
electrode → IsA → conductor 0.44
electrode → IsA → good conductors 0.16