Definition:

hall