Assertion list
option (aspect of straddle ) → HasA

Results from Ascent++: 3
optionHasA same expiration date 0.55
optionHasA same underlying stock 0.38
optionHasA same strike price 0.25