<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>I'm pretty sure that's the case in UK, but are you willing to bet
on all drains (<i>e.g. industrial</i>) of the world being lined?</p>
<div class="moz-cite-prefix">On 2019-02-01 23:22, Paul Allen wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAPy1dOJGGbm6uBVtTSh07CdT01aKBGmcOs5zujYzmHVZKJWfSQ@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">
<div dir="ltr">On Fri, 1 Feb 2019 at 22:09, Sergio Manzi <<a
href="mailto:smz@smz.it" moz-do-not-send="true">smz@smz.it</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">
<div bgcolor="#FFFFFF">
<p>If you think it is important to differentiate between
lined vs. unlined minor waterways (<i>and I'm not
objecting to that</i>), I guess the best option would
be to use a specific tag (lined=* ?)</p>
</div>
</blockquote>
<div>As I understand it, Ordnance Survey maps in the UK make a
distinction between ditches</div>
<div>and drains. Of course, printed maps don't have the
luxury of sub-tags, so we don't have</div>
<div>to use ditch and drain just because OS does. However,
ditch and drain are already</div>
<div>established.</div>
<div><br>
</div>
<div>-- <br>
</div>
<div>Paul</div>
</div>
</div>
</blockquote>
</body>
</html>