[Tagging] Is tag leisure=sports_hall suitable for riding halls?

[Hufkratzer]

On 07.06.2021 11:10, Martin Koppenhoefer wrote:
> sent from a phone
>
>> On 7 Jun 2021, at 10:40, Robin Burek<robin.burek at gmx.de>  wrote:
>>
>> It is also about saying that "leisure=pitch + sport=equestrian + building=*" is deprecated.' and so on....
> this combination seems invalid rather than deprecated. A pitch cannot be a building, there might be a pitch in a building, but they cannot be tagged on the same object
>
> Cheers Martin

Then how would you map the examples that I mentioned initially where the 
building has nearly the same size as the riding arena:
1. building=tent 
(https://wiki.openstreetmap.org/wiki/File:Equitent_textile_Reithalle.jpg)
2. building=roof (https://www.youtube.com/watch?v=BjVCeE-4Ht0)
I assume one should not draw two areas of the same size one on top of 
the other. A node for the pitch although the dimensions are known?