Assertion list
reference electrode (subgroup of electrode ) → IsA
Results from Ascent++: 1
reference electrode → IsA → an ag/agcl electrode 0.25