10 % of their work time is not a very well defined amount of time, though. If this is their only occupation, then it's 100 % of their work time. If they have a different primary occupation, then 10 % of that depends entirely on how much they spend on that!