Assertion list
business asset (subgroup of asset ) → HasA
Results from Ascent++: 1
business asset → HasA → value 0.41