government facility

“Government facility” means property owned or substantially controlled by the Government and the services of any civilian and military personnel of the Government; and

the term “government facility” means any permanent or temporary facility or conveyance that is used or occupied by representatives of a state, members of a government, the legislature, or the judiciary, or by officials or employees of a state or any other public authority or entity or by employees or officials of an intergovernmental organization in connection with their official duties;