<div dir="ltr"><div>Hmmm.</div><div>Most lakes around here are probably former quarries, but it is not always obvous.<br></div><div>What could be of practical interest is, what kind of activity is lecit on a like: none, swimming, boating, fishing, ecc.<br></div><div>The origin of the lake is of less importance in my view.</div><div><br></div><div>Volker<br></div></div><div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2"><br>
<table style="border-top:1px solid #d3d4de">
<tr>
<td style="width:55px;padding-top:13px"><a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank"><img src="https://ipmcdn.avast.com/images/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46px; height: 29px;"></a></td>
<td style="width:470px;padding-top:12px;color:#41424e;font-size:13px;font-family:Arial,Helvetica,sans-serif;line-height:18px">Virus-free. <a href="https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail" target="_blank" style="color:#4453ea">www.avast.com</a>
</td>
</tr>
</table><a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"></a></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 24 Dec 2020 at 18:24, Brian M. Sperlongano <<a href="mailto:zelonewolf@gmail.com">zelonewolf@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">A commenter on the reservoir proposal[1] pointed out the existence of quarry lakes[2], which is a lake that is formed after a quarry has been dug after a mining operation. It was suggested that such bodies of water should be tagged separately from other lakes with a tag such as water=quarry.<br><br>Should quarry lakes be tagged under a separate value from water=lake?<br><br>Should quarry lakes be tagged as a subset of lake, something like water=lake + lake=quarry?<br><br>If there is consensus that quarry lakes should be excluded from water=lake, obviously that impacts how water=lake is defined.<br><br>Existing usages:<br>water=quarry_lake: 37<br>water=quarry: 27<br>water=Quarry: 18<br>lake=quarry: 1<br><br>[1] <a href="https://wiki.openstreetmap.org/wiki/Proposed_features/Reservoir" target="_blank">https://wiki.openstreetmap.org/wiki/Proposed_features/Reservoir</a><br>[2] <a href="https://en.wikipedia.org/wiki/Quarry_lake" target="_blank">https://en.wikipedia.org/wiki/Quarry_lake</a><br></div>
_______________________________________________<br>
Tagging mailing list<br>
<a href="mailto:Tagging@openstreetmap.org" target="_blank">Tagging@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/tagging" rel="noreferrer" target="_blank">https://lists.openstreetmap.org/listinfo/tagging</a><br>
</blockquote></div>