Assertion list
property (aspect of polyester ) → HasProperty

Results from Ascent++: 1
propertyHasProperty useful 0.16