Assertion list
property (aspect of matter ) → HasA
Results from Ascent++: 1
property → HasA → value 0.27