<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">https://wiki.openstreetmap.org/wiki/Proposed_features/Reservoir</a><br>[2] <a href="https://en.wikipedia.org/wiki/Quarry_lake">https://en.wikipedia.org/wiki/Quarry_lake</a><br></div>