Assertion list
business asset (subgroup of asset ) → HasProperty
Results from Ascent++: 1
business asset → HasProperty → obsolete 0.16