Assertion list
long term asset (subgroup of asset ) → IsA

Results from Ascent++: 1
long term assetIsA asset 0.68