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