[Tagging] Adding leisure=sports_hall to leisure=sports_centre page

[Hufkratzer]

On 08.09.2019 11:41, Warin wrote:
 > On 07/09/19 19:08, Martin Koppenhoefer wrote:
 >>
 >> sent from a phone
 >>> On 7. Sep 2019, at 09:28, Joseph Eisenberg 
<joseph.eisenberg at gmail.com> wrote:
 >>>
 >>> Per taginfo, building=yes is used 7500 times with leisure=pitch, and
 >>> covered=yes is used 1017 times, so I suppose it's more common to match
 >>> the pitch with the same outline as the building rather than using
 >>> covered=yes and a separate building outline.
 >>> https://taginfo.openstreetmap.org/tags/leisure=pitch#combinations
 >>
 >> for German sports halls in schools, tagging a single covered pitch 
would not usually be a nice representation, because these places are 
optimized for versatility: you can do a lot of different sports, and you 
will usually find several overlapping pitches (marked in different 
colors). There will also be equipment for gymnastics (high bar, parallel 
bars, mattresses, ropes, ...) and whatever is taught.
 >
 > [...]
 >
 > Some outside pitches have a roof over them for sun/rain, so I'd think 
that is where the tag for covered=yes comes from.

How would you tag this covered riding arena? :
https://www.youtube.com/watch?v=BjVCeE-4Ht0

leisure=sports_hall + building=sports_hall ?
leisure=sports_hall + building=roof ?
leisure=pitch + building=roof ?
leisure=pitch + covered=yes ? (pitch is covered by what?)
leisure=pitch + covered=yes + building=roof ? (pitch is covered by roof, 
but that's obvious because of building=roof)

How would you tag the covered horse walker (middle one) on this page? :
https://wiki.openstreetmap.org/wiki/Tag:animal=horse_walker

...=horse_wakler + building=roof ?
...=horse_wakler + covered=yes ? (horse_wakler is covered by what?)
...=horse_wakler + covered=yes + building=roof ? (horse_wakler is 
covered by roof, but that's obvious because of building=roof)