Assertion list
metal alloy (subgroup of alloy ) → HasProperty

Results from Ascent++: 1
metal alloyHasProperty suitable 0.48