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