Assertion list
total asset (subgroup of asset ) → HasProperty
Results from Ascent++: 1
total asset → HasProperty → high 0.25