official residence — A house provided by the government or public institutions for public servants or workers to live in during their term of office.