Assertion list
sacrificial anode (subgroup of anode ) → IsA
Results from Ascent++: 1
sacrificial anode → IsA → a metal rod 0.68