If it is a co-ordinated pension, which would apply to all civil and public servants since mid 90's. In the example above, The Public Servant if coordinated would get a state pension of aprox 14K
If the Public Servant had full service, they would get a pension of 50% thats 35K. Of that 14K...