Paid vacation days are accumulated by time worked.
If they work only 20 hours a week they will be entitled to half of the yearly paid vacations that a full-time worker is entitled to.
It's a little bit more complex than that because local laws in Europe differ about how many hours each person needs to work continually to accumulate a portion of a day off, but the principal is generally correct.
