Assertion list
working electrode (subgroup of electrode ) → HasA
Results from Ascent++: 1
working electrode → HasA → boron carbide 0.38