The English term "workman" matches the Indonesian term "pekerja"