Assertion list
fixed asset (subgroup of asset ) → HasA
Results from Ascent++: 1
fixed asset → HasA → long life 0.25