ホールは学校の一部である．