Riding hall

building (often part of an equestrian facility) that is specially designed for indoor horse riding