Assertion list
current asset (subgroup of asset ) → HasProperty
Results from Ascent++: 2
current asset → HasProperty → liquid 0.29
current asset → HasProperty → equal 0.25