<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt; font-family: Verdana,Geneva,sans-serif'>
<p>On 2018-08-07 15:43, marc marc wrote:</p>
<blockquote type="cite" style="padding: 0 0.4em; border-left: #1010ff 2px solid; margin: 0">
<div class="pre" style="margin: 0; padding: 0; font-family: monospace">I think there's too much redundancy in using is_in:continent.<br /> it is useless, for example, to say that a street + the municipality<br /> + the region + the country is all in the same continent.<br /> it is enough to tag the largest polygon with is_in:continent and erase <br /> those that provide the same information redundantly on objects included <br /> in that polygon.<br /> this would limit the number of is_in:continent to one per country or a <br /> few per country for countries with very scattered territories (e.g. <br /> overseas territories for France)</div>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>
</blockquote>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace">There are several countries that span multiple continents... Russia, Turkey, Spain and indeed France for example.</div>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace">This possibly demonstrates at least two sorts of continent: "political" and "geographic." Other continent types are available.</div>
<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>
</body></html>