On 05.09.2019 15:48, Joseph Eisenberg wrote:
Another user would like the proposed tag (used 329 times)

346 if you count all tags. Look at taghistory and see it has grown from 22 in early 2018, thus about 15 times.

It was a result of discussion in some communities that time.

leisure=sports_hall to be added to leisure=sports_centre.

No. You cannot add the value to the same key.

The intention of leisure=sports_hall is to describe facilities better that were incorrectly tagged leisure=sports_centre, an example are simple school sport halls, which certainly are not 'centres'.


However, I believe that rarely used, proposed tags should be approved
through the proposal process or should become commonly used
organically, before being added to the pages of common tags and keys.

If you look at the history, it is being growing organically.
A hint to consider a more suitable tag on the centre page tagging cannot hurt.

So, this can be a synonym for a sports_centre, or a tag for a building
found in a sports_centre?

More precisely, leisure=sports_hall is for facilities that are not centres.
Surely a centre can hold, among other facilities to form a centre, one or more 
halls.

Why not just use building=sports_hall and sports_centre for the whole area?

Because building=* describes the building typology, not the usage. leisure=* 
describes the usage.
Thus, a purpose-built sports hall is leisure=sports_hall+building=sports_hall, while a converted church that is now used for sports is leisure=sports_hall+building=church.

tom

_______________________________________________
Tagging mailing list
Tagging@openstreetmap.org
https://lists.openstreetmap.org/listinfo/tagging

Reply via email to