Yes. He gets 17 days, and any bank holidays that fall on his normal working days would be deducted from that total, leaving the rest for him to take as holiday. The amount he actually gets as normal holiday might obviously vary slightly year-to-year.
Your company should have a policy on this. How their holiday entitlement is worked out should also be defined on in the contracts of part time workers. Part time worker cannot be treated less fairly than full time workers however the way this is implemented varies by company to company. In your case I think 5.6 weeks (including bank holidays) is the statutory minimum so your 3 day part time worker can't be given less than 16.8 days. (but please get official guidance)
Flowery he works tues wed and thurs so except possibly Xmas and boxing day and news years day all the bank holidays fall on his non working day. Would that mean then that he gets 17 days minus say just as example 3 days for Xmas day boxing day and nyd he would be left with 14 days to use for annual leave??
redskyatnight thank you for your reply too. There doesn't seem to be anything in writing about holidays and part time employees and the directors don't really seem to know the ins and outs of working out part time employees holidays. The lady I replaced knew a lot about HR etc and worked here along time so they never needed to I guess, although I've replaced her my job was advertised as payroll not HR so I haven't the knowledge as the previous lady did.