<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 10/12/19 05:09, Paul Allen wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAPy1dOJbfQPOi+02RzroJUXibNXKD+8JOAWEpni11gEynL4Gkg@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<div dir="ltr">
<div dir="ltr">On Mon, 9 Dec 2019 at 17:31, Tom Pfeifer <<a
href="mailto:t.pfeifer@computer.org" moz-do-not-send="true">t.pfeifer@computer.org</a>>
wrote:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex"><br>
I'd prefer to keep it leisure=pitch, avoiding top-level tag
fragmentation. Refinements about the <br>
sport definition can appear in the sport=* subtagging.<br>
</blockquote>
<div><br>
</div>
<div>I can understand that viewpoint. I'm not sure that there
is any technical merit, in terms of db</div>
<div>queries, to it, other than making life easier for
somebody who wants to find all types of sporting</div>
<div>activity in a given area. Where it does cause problems
is for people using the query tool (or</div>
<div>equivalent in things like <a href="http://maps.me"
moz-do-not-send="true">maps.me</a>) being confused by
tennis pitches, shooting pitches, and</div>
<div>the like. It's far from the only tagging infelicity we
have, and we'll never be able to fix it because</div>
<div>of existing usage, but I see no reason to extend the
confusion.<br>
</div>
<div><br>
</div>
</div>
</div>
</blockquote>
<br>
leisure=pitch has never sat well with many sports;<br>
table tennis .. a pitch?<br>
chess .. a pitch?<br>
cricket.. the pitch is the bit in the middle .. not the playing area
which is a 'field'... <br>
<br>
leisure=sports_field might be better than pitch? <br>
<br>
As for searching for sports .. some sports are leisure=track, some
highway=raceway, some landuse=recreation_ground ... best top search
on sport=*? <br>
<br>
<br>
</body>
</html>