[Tagging] building typology vs usage / Re: Adding leisure=sports_hall to leisure=sports_centre page

[Tom Pfeifer]

On 07.09.2019 09:16, Joseph Eisenberg wrote:
> To me it seems redundant to tag leisure=sports_hall on buildings
> inside of a leisure=sports_center, like tagging
> "healthcare=hospital_ward" on each building inside of a large medical
> center which is already mapped as amenity=hospital. The standard
> tagging that is building=hospital, like building=school inside of an
> amenity=school area.
> 
> While in theory building=school could be reused as a hotel/pub (See
> https://www.mcmenamins.com/kennedy-school) in that case the building
> will be inside of a tourism=hotel polygon so it's clear that it's no
> longer a school.

Please understand that the building typology is orthogonal to the usage of the building.
Thus having both a building=X and leisure/amenity=X on the same polygon is not redundant.

If the usage changes to Y, and the building structure remains as X, it will be tagged building=X and 
amenity=Y.

This approach works in both cases, the tagging on the identical polygon, or the tagging being on the 
surrounding campus polygon and the building inside.

tom