The amount of service an employee is granted under the Wisconsin Retirement System based on the number of hours worked in a year and the employee’s WRS employment category.