"Eligible benefit recipient." A person who is receiving a superannuation, withdrawal or disability annuity and who commenced receipt of that annuity on or prior to July 1, 1982, but the supplemental annuities shall not be payable to an annuitant receiving a withdrawal annuity prior to the first day of July coincident with or following the annuitant's attainment of superannuation age.
"Years of credited service." The number of full years of service credited as a member for each benefit recipient, which years of service need not have been continuous.
"Years on retirement." The number of full years as of July 1, 1983 which have elapsed since the eligible benefit recipient most recently commenced the receipt of an annuity and during which the eligible benefit recipient received an annuity.
71 Pa.C.S. § 5708.1