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