Assertion list
share price (subgroup of price ) → IsA

Results from Ascent++: 1
share priceIsA higher than the strike price 0.25