Assertion list
current asset (subgroup of asset ) → IsA

Results from Ascent++: 2
current assetIsA asset 0.80
current assetIsA other assets 0.33