Assertion list
copper alloy (subgroup of alloy ) → HasA
Results from Ascent++: 1
copper alloy → HasA → at least one alloying element 0.68