Assertion list for term "same strike price".
Results from Ascent++: 3
call → HasA → same strike price 0.25
put → HasA → same strike price 0.25
option (aspect of straddle) → HasA → same strike price 0.25