# the workmen of that occupation

An occupation is a profession or job. AT: "others who did that kind of work"