ホールは都市機能の一部である．