Assertion list
vested stock option (subgroup of stock option ) → AtLocation
Results from Ascent++: 1
vested stock option → AtLocation → the money 0.71