There's not much point in going around and around debating how much each employee will/won't/might/might not get from the frozen pension plan and/or the PBGC You will get whatever the given plan says you will get which (more than likely) won't be determined until you retire and file for the benefit. It's almost guaranteed to be less/more than you thought it would be--changes in the law, etc.. It's why no one should ever fail to save money in addition to "the plans" No Social Security or pension plan was ever designed to be your sole source of retirement income. If you don't have retirement savings as well as "the plans" and your home is not fully paid for, then you need to plan to work at least part-time in retirement. Part of your Social Security benefit is taxable and if you don't have something taken out of your monthly check to pay that tax, you might get surprised by a much larger tax bill at the end of the year.
There's also a thing called the Income Related Monthly Adjustment Amount (IRMAA) that is a surprise that I didn't know about in advance. The Social Security Administration looks back 2 years from the current year to test your income during that year according to IRS records.
The income that counts is the adjusted gross income you reported plus other forms of tax-exempt income. If your adjusted gross income is more than $85,000 (single) or $170,000 (couple) your Part B premium goes up. The income "tiers" go up to $500,000 or more and the Part B premium for each tier goes up accordingly. I sold a condo I owned in Dallas for a nice profit during what became my test year. It pushed my adjusted gross income up substantially and my IRMAA went up to over $350/month. Fortunately, my Part B premium should drop back to around $135/month for next year because my test year income is all retirement income. Google IRMAA for info.