Assertion list for term "involve buying a put option".

Results from Ascent++: 1
straddle CapableOfinvolve buying a put option 0.25