Assertion list
fixed asset (subgroup of asset ) → DefinedAs
Results from Ascent++: 1
fixed asset → DefinedAs → permanentobject 0.25