<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_extra">2016-01-05 12:44 GMT+01:00 Tom Pfeifer <span dir="ltr"><<a href="mailto:t.pfeifer@computer.org" target="_blank">t.pfeifer@computer.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1fl" class="a3s" style="overflow:hidden">Martin, the purpose of my discussion is not to nit-pick on the illustrative extra tags,<br>
but to discuss<br>
<br>
leisure=ducking<br>
<br>
vs.<br>
<br>
leisure=sports_centre<br>
sports_centre=ducking<br></div></blockquote><div><br><br></div><div>my opinion on this is that swimming is so different from other sports that I'd use a different main tag for the structure. The same would apply to ice skating or skiing by the way.<br><br></div><div>What is your stance on <br></div><div>leisure=pitch<br></div><div>sport=diving/swimming ? <br><br></div><div>(I'm not proposing this, it is just a question to understand your proposal).<br></div><div><br></div><div> <br></div><div>Cheers,<br></div><div>Martin<br></div><br></div></div></div>