<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Dec 8, 2014 at 9:14 AM, Warin <span dir="ltr"><<a href="mailto:61sundowner@gmail.com" target="_blank">61sundowner@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br></blockquote>
<br>
And tags for other mine entrance types?<br>
<br>
Would it not be better to have<br>
<br>
man_made=mine_entrance<br>
type=adit etc<div class="HOEnZb"><div class="h5"></div></div></blockquote></div><br></div><div class="gmail_extra">I'm a native speaker of English and I only came across the word "adit" relatively recently. To me it seems obscure and technical - but I understand that in other parts of the world it's common.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Would man_made=mine_entrance be offensive to people who do use the word 'adit'?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Steve</div></div>