<div class="gmail_quote">2013/1/23 Peter Wendorff <span dir="ltr"><<a href="mailto:wendorff@uni-paderborn.de" target="_blank">wendorff@uni-paderborn.de</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Do we need that?<br>
Are there examples, where we need building:use?<br></blockquote><div><br>I agree, building:use=* is redundant.<br><br>As I understand it, building=xxx means the building is built, and looks like a xxx. It says nothing about it's use.<br>

<br>Janko Mihelić<br></div></div>