Assertion list
property (aspect of antimony ) → HasProperty
Results from Ascent++: 1
property → HasProperty → useful 0.59