<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2018-02-08 13:42 GMT+01:00 Hufkratzer <span dir="ltr"><<a href="mailto:hufkratzer@gmail.com" target="_blank">hufkratzer@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We can suggest / allow both, but I if the building=* tag is mandatory for sports halls I still can't see the reason why the tag leisure=spots_hall should be mandatory too. If we have something tagged with building=sports_hall + sport=multi then we already know that it is a sports hall that is used for multiple sports.</blockquote><div><br><br></div><div>well, if you want to nitpick, sport is "used to identify one or more sports which can be played within or on some physical feature."<br></div><div>I.e. it is not a tag about what it is used for, but about what it can be used for. Subtle difference.<br><br></div><div>For a disused sports hall, I would probably add a "disused:leisure" tag, "disused:building" doesn't make sense, especially if it is a used building (used for something else, e.g. catastrophy victim shelter).<br></div><div><br></div><div>¬†</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> In this case the tag leisure=sports_hall only adds¬† the information that the hall is mainly used for leisure purposes, and in the case of a school hall this is not even accurate since school isn't leisure. </blockquote><div><br><br></div><div>would you ask for detailed statistics about the usage (associations vs. school) in order to be able to choose a tag? I would not read "leisure" like this. All sport facilities are tagged with the leisure tag (AFAIK).</div></div><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Martin<br></div></div>