Assertion list
stock price (subgroup of price ) → IsA
Results from Ascent++: 2
stock price → IsA → higher than the strike price 0.33
stock price → IsA → the price 0.25