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

[Martin Koppenhoefer]

sent from a phone

> On 10 Jun 2021, at 11:47, Hufkratzer <hufkratzer at gmail.com> wrote:
> 
> What does "imply the building with [...] covered=yes" mean? Does it mean just to map one object with leisure=pitch + covered=yes?


yes
you could then add another object with building=roof on top, if you like 


> 
> If I understand page key:covered correctly, covered=yes means that an object (the pitch) is covereed by some *other* object (the roof or perhaps a bridge); it does not mean that one object (the pitch) has a roof included in itself


I don’t see a problem. What do you mean by “has a roof included in itself”?

Cheers Martin