Assertion list for term "never exceed the exercise price".

Results from Ascent++: 1
stock option CapableOfnever exceed the exercise price 0.16