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

[Hufkratzer]

On 06.06.2021 22:57, Robin Burek wrote:
> Hey,
>
> Sounds coherent on many points. Feel free to write a proposal to make
> the sports_hall / sports_centre approved:
> https://wiki.openstreetmap.org/wiki/Proposal_process
>
>> 3. My current opinion:
>>
>> 3.1. I think, if leisure=sports_hall can be used for tennis halls and
>> for swimming halls, then there is no reason why it could not also be
>> used for riding halls and other halls used for sports. Not only that,
>> but in the case of riding halls tagged with building=riding_hall it
>> makes much more sense than to use leisure=pitch. I remind you that in
>> 2018 I was asking here
>> (https://lists.openstreetmap.org/pipermail/tagging/2018-February/035064.html) 
>>
>> if it is ok to tag sports halls with leisure=pitch + sport=* +
>> building=* and I was told that it is preferable to use
>> leisure=sports_hall instead. Why should that be different for riding
>> halls?
>> Just because in American English a riding hall is called "indoor
>> arena" is not a sufficient reason to use the same leisure tag
>> (leisure=pitch) like for an "outdoor arena". In German we don't call a
>> "Reithalle" an "Indoor-Reitplatz".
>> I would reserve the tagging combinaation leisure=pitch +
>> sport=equestrian + building=* for cases where building=riding_hall is
>> perhaps not appropriate, e.g. building=tent
>> (https://wiki.openstreetmap.org/wiki/File:Equitent_textile_Reithalle.jpg) 
>>
>> or building=roof (https://www.youtube.com/watch?v=BjVCeE-4Ht0).
>
> building=tent is also a sports_hall.
> {...]

And if the tent is only there in the winter? Can you propose something 
better that what I have written here:
https://wiki.openstreetmap.org/wiki/Talk:Key:covered#Use_for_covered_sport_pitches.3F