Assertion list
cathode (primary) → IsA

Results from Ascent++: 7
cathodeIsA the electrode 0.62
cathodeIsA positive electrode 0.51
cathodeIsA negative terminal 0.47
cathodeIsA a counter electrode 0.45
cathodeIsA larger electrode 0.36
cathodeIsA the terminal 0.29
cathodeIsA charged electrode 0.25