<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mo., 11. Nov. 2019 um 11:55 Uhr schrieb Mateusz Konieczny <<a href="mailto:matkoniecz@tutanota.com">matkoniecz@tutanota.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
<div>Again, is there some difference<br></div><div>in use by general population of mappers?</div><div><br></div><div>I am not looking for differences in use<br></div><div>wanted by specific mappers active here.<br></div><div><br></div><div>I am not looking for how <br></div><div>"place selling ice cream" may be split into<br></div><div>smaller groups.<br></div><div><br></div><div>I am not looking<br></div><div>for purely theoretical implications<br></div><div>of keys shop and amenity.<br></div><div> <br></div><div>I am not  looking for what would be desirable</div><div>difference in use.<br></div><div><br></div><div>Is there some consistent difference how<br></div><div>this two tags are actually used?<br></div><div><br></div></div></blockquote></div><div><br></div><div><br></div><div>I have not found non-shops tagged as shop=ice_cream, have you? How many of these would we have to provide in order to be sure it aren't exceptional "errors" but standard way of tagging? You can find mistagged objects for any kind of object. <br></div><div><br></div><div>FWIW, if we always redefine our tag definitions to the smallest common meaning of the "general population of mappers", then discover that we have tags that now mean the "exact same thing", we will wipe out all the details. Looking at the key definitions to find out that a certain object doesn't fit into the general scheme, is not something we should dismiss. highway=ice_cream for ice cream vendors along a road isn't a good idea. Similarly, shop=* for something that isn't a shop isn't a good idea either.</div><div><br></div><div>Cheers</div><div>Martin<br></div></div>