Also, if the plan is still active, the document will define how future accruals will be handled. If the plan offsets future accruals by the actuarial equivalent of previously paid benefits, they may end up not getting any additional benefit for additional future service.
As ATA said, all this should be in the plan document.