<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>