Assertion list
strike price (aspect of put ) → IsA
Results from Ascent++: 1
strike price → IsA → the price 0.25