"verkstedsarbeider" er et 17-bokstavers substantiv som brukes som synonym for "industrifunksjonær". industrifunksjonær betyr: En person som arbeider i en verkstedindustri