Assertion list
pure nickel (subgroup of nickel ) → HasProperty
Results from Ascent++: 1
pure nickel → HasProperty → ductile 0.25