Question: Which employees have the role with code "HR"? Find their names.
SQL: SELECT employee_name FROM Employees WHERE role_code  =  "HR"