# the workmen of that occupation

"others who did that kind of work"