<div dir="ltr">On Thu, 24 Dec 2020 at 17:24, Brian M. Sperlongano <<a href="mailto:zelonewolf@gmail.com">zelonewolf@gmail.com</a>> wrote:<br><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"><div dir="ltr"><br>Should quarry lakes be tagged under a separate value from water=lake?<br></div></blockquote><div><br></div><div>If they should, then you have to consider that some of them may be ponds. <br></div><br><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">If there is consensus that quarry lakes should be excluded from water=lake, obviously that impacts how water=lake is defined.<br></div></blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">It can be hard to know if a pond/lake is the result of quarrying or not.  it</div><div class="gmail_quote">depends upon knowing the history of an area.  For the distant past such</div><div class="gmail_quote">information may not be available.  So subtagging with lake=quarry</div><div class="gmail_quote">and pond=quarry may be the way to go - it can be added if known</div><div class="gmail_quote">or if such information arises later.  The Norfolk Broads were long</div><div class="gmail_quote">regarded as natural, until it was proven in the 1960s that they</div><div class="gmail_quote">were excavated in the Middle Ages and later flooded by rising</div><div class="gmail_quote">sea levels.<br></div><div class="gmail_quote"><br></div><div class="gmail_quote">The question arises as to whether or not peat workings qualify as</div><div class="gmail_quote">quarries.  The Norfolk Broads were peat workings that later</div><div class="gmail_quote">flooded.  <a href="https://en.wikipedia.org/wiki/The_Broads">https://en.wikipedia.org/wiki/The_Broads</a></div><div class="gmail_quote"><br></div><div class="gmail_quote">-- <br></div><div class="gmail_quote">Paul</div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div></div>