Assertion list for term "sell given quantity of underlying asset".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfsell given quantity of underlying asset 0.25