# the workmen of that occupation
An occupation is a profession or job. Alternate translation: "others who did that kind of work"