hɔːl hɔl a large building for meetings or entertainment