Assertion list
vested stock option (subgroup of stock option ) → CapableOf
Results from Ascent++: 1
vested stock option → CapableOf → remain exercisable 0.84