Assertion list
anode (primary) → IsA

Results from Ascent++: 5
anodeIsA negative electrode 0.69
anodeIsA the electrode 0.68
anodeIsA negative terminal 0.46
anodeIsA the terminal 0.43
anodeIsA pixel electrode 0.40