premise: Eligibility is limited to those who have been employed at designated shipyards for at least 5 years, but who are not yet eligible for retirement benefits.
hypothesis:  Eligibility is unlimited to those who have been employed at designated shipyards for at least 5 years