Assertion list
liquid asset (subgroup of asset ) → CapableOf
Results from Ascent++: 2
liquid asset → CapableOf → check account 0.25
liquid asset → CapableOf → consist of cash equivalents 0.25