1.5% x average highest 5 salary x years of service.
So for her, 1.5% x $60k x 20, or about $18k per year
If she went all the way to 30 years and topped out at $70k, the pension would be around $31.5k per year.
In order to qualify for retirement at any age requires 35 years of service, in which case the pension might be a bit higher.
Not bad, and there is also a defined contribution plan you can choose instead of the DB plan where they just put 10% of your salary into a 401(k) type account, but certainly not scandalous or excessive.