Assertion list
property (aspect of aluminum ) → HasProperty

Results from Ascent++: 1
propertyHasProperty useful 0.71