Assertion list
option (aspect of straddle ) → ReceivesAction
Results from Ascent++: 3
option → ReceivesAction → limited 0.55
option → ReceivesAction → sold 0.38
option → ReceivesAction → purchased 0.25