Public Holidays occurring during Annual Leave or Personal Leave. If the period during which an employee takes paid annual leave or paid personal leave includes a day or part-day that is a public holiday in the place where the employee is based for work purposes, the employee is taken not to be on paid annual leave or paid personal leave on that public holiday.
