Assertion list
tangible asset (subgroup of asset ) → IsA
Results from Ascent++: 1
tangible asset → IsA → asset 0.61