<div dir="ltr"><div>Perhaps instead of <span style="background-color:rgb(238,238,238)"><span style="font-family:courier new,monospace">amenity=*</span></span>, it should be added to <span style="background-color:rgb(238,238,238)"><span style="font-family:courier new,monospace">tourism=*</span></span>.<br>

</div><br>It seems that's where the discussion is going to.<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-02-24 19:23 GMT-03:00 Richard Welty <span dir="ltr"><<a href="mailto:rwelty@averillpark.net" target="_blank">rwelty@averillpark.net</a>></span>:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><div class="">
    On 2/24/14 5:17 PM, Colin Smale wrote:<br>
    <span style="white-space:pre-wrap">>  <br>
      ><br>
      > I would not call it an amenity, which is (to me, native UK
      English<br>
      > speaker) something for the benefit/enjoyment of society as a
      whole (or<br>
      > at least a large part of it). These days a planetarium is
      probably for<br>
      > enjoyment/entertainment (suggesting leisure=planetarium). <br>
    </span><br></div>
    on the other hand, in my experience Planetariums are usually<br>
    attached to museums of one kind or another, whether science<br>
    museums or children's museums.<span class="HOEnZb"><font color="#888888"><br>
    <br>
    richard<br>
    -- <br>
    <a href="mailto:rwelty@averillpark.net" target="_blank">rwelty@averillpark.net</a><br>
     Averill Park Networking - GIS & IT Consulting<br>
     OpenStreetMap - PostgreSQL - Linux<br>
     Java - Web Applications - Search<br>
    <br>
  </font></span></div>

<br>_______________________________________________<br>
Tagging mailing list<br>
<a href="mailto:Tagging@openstreetmap.org">Tagging@openstreetmap.org</a><br>
<a href="https://lists.openstreetmap.org/listinfo/tagging" target="_blank">https://lists.openstreetmap.org/listinfo/tagging</a><br>
<br></blockquote></div><br></div>