Assertion list
aluminum alloy (subgroup of alloy ) → HasA
Results from Ascent++: 2
aluminum alloy → HasA → magnesium 0.43
aluminum alloy → HasA → iron 0.25