Assertion list for term "sell given quantity of underlying asset".
Results from Ascent++: 1
obligation (aspect of contract) → CapableOf → sell given quantity of underlying asset 0.25