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