Assertion list
option (aspect of straddle ) → ReceivesAction

Results from Ascent++: 3
optionReceivesAction limited 0.55
optionReceivesAction sold 0.38
optionReceivesAction purchased 0.25