 can be iterated; so for example if the ontology called
&gt; arithmetic at <A  HREF="http://www.frob.org/2000/arithmetic">http://www.frob.org/2000/arithmetic</A> contains an
&gt; importing expression  '(imports it
&gt; <A  HREF="http://www.frob.org/2000/iterations">http://www.frob.org/2000/iterations</A>)'
&gt; and the relation name 'succ' is used in the 'iterations'ontology,
&gt; then this relation may be referred to by the name 'it#succ' in
&gt; arithmetic, and by the name 'ar#it#succ' in any ontology whi