A hospital, a capitol building, a public or private school, a college or university, a city hall or the residence of any state official elected by the state at large, and the grounds adjacent to each such building. The term also includes that portion of any other building occupied by an agency of the state or a municipal corporation, other than a court facility