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

[Chris Hill]

The school, in the UK, that I went to over 40 years ago, had a sports 
hall then and still does today. It's a sports hall I think because it is 
marked out for various indoor sports,e.g. badminton, volley ball, 
5-a-side football etc, with curtains or nets to separate courts when 
needed. Next door was a swimming pool (now sadly no longer there - I 
walked for hundreds of sponsored miles to help build that pool which the 
Academy decided 35 years later was too expensive to maintain).

The school also had a gym when I attended. It was much smaller and much 
older than the sports hall. It had wall bars, ropes and other gym 
equipment of the day. The gym was used as an exam hall at some times of 
year. The gym is no more.

So I think there is a place for both, but as always, local knowledge 
helps in building accurate map data.

-- 
cheers
Chris Hill (chillly)


On 05/09/2019 16:21, Philip Barnes wrote:
> In terms of schools, we call them gyms in the UK too.
>
> Certainly not sports halls.
>
> Phil (trigpoint)
>
> On Thursday, 5 September 2019, Joseph Eisenberg wrote:
>> What is a sports hall?
>>
>> Is it what we call a "gym" in America?
>>
>> The dictionary definition I found just said it was "a building used
>> for sports", and the wiki page only says it's a building or part of a
>> building "used as a sports hall", which doesn't do anything to clarify
>> the situation.
>>
>> I don't see how that is different than the definition of
>> sports_centre: "a distinct facility where sports take place within an
>> enclosed area" - which then specifically mentions "it can be a
>> building".
>>
>> I'll admit that we don't use the term "sports centre" in the USA
>> either, but at least the wiki definition is clearly vague: it's any
>> enclosed area (including buildings) where sports take place.
>>
>> On 9/5/19, Tom Pfeifer <t.pfeifer at computer.org> wrote:
>>> 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
>>>