Assertion list
pure metal (subgroup of alloy ) → HasProperty

Results from Ascent++: 2
pure metalHasProperty silvery white 0.81
pure metalHasProperty gray 0.38