Assertion list
strike price (subgroup of price ) → IsA
Results from Ascent++: 3
strike price → IsA → the price 0.67
strike price → IsA → fixed price 0.30
strike price → IsA → pre-determined price 0.25