<div dir="ltr"><div dir="ltr"><div>So to go back to my original question, the dojo wiki says:</div><div>"
a <span class="gmail-plainlinks" title="w:en:dojo"><a rel="nofollow" class="external gmail-text" href="https://en.wikipedia.org/wiki/en:dojo"><span style="white-space:nowrap"><span style="padding:0px 1px"><img alt="" src="https://wiki.openstreetmap.org/w/images/2/24/Wikipedia-16px.png" title="w:en:dojo" width="16" height="16"></span> <span style="white-space:normal">dojo</span></span></a></span>
 is a Japanese term which ... can refer to a formal training place for 
any of the Japanese do arts but typically it is considered the formal 
gathering place for students of any Japanese martial arts style"</div><div><br></div><div>So it should be used for only Japanese martial arts, & all others would be mapped as <br></div><div>leisure=sports_centre + sport=martial_arts + martial_arts=*?</div><div><br>

</div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr">Thanks<div><br></div><div>Graeme</div></div></div></div></div></div><br></div></div><br><div class="gmail_quote"><br></div></div>