Assertion list
strike price (subgroup of price ) → HasProperty
Results from Ascent++: 3
strike price → HasProperty → lower 0.37
strike price → HasProperty → higher 0.30
strike price → HasProperty → identical 0.25