Assertion list
metal alloy (subgroup of alloy ) → HasA
Results from Ascent++: 1
metal alloy → HasA → surface 0.55