Assertion list
option contract (subgroup of contract ) → AtLocation
Results from Ascent++: 1
option contract → AtLocation → the money 0.44