Assertion list
pure aluminum (subgroup of aluminum ) → HasProperty

Results from Ascent++: 1
pure aluminumHasProperty soft 0.59