Message-End-->
<!--X-Head-Body-Sep-Begin-->
<hr>
<!--X-Head-Body-Sep-End-->
<!--X-Body-of-Message-->
<PRE>

Pat,

Two points.

1. There seem to be two uses of the '#' notation.
    (i) Use of the '#' notation for "namespace prefixing", for example
'arithmetic#plus', is like tagging in the disjoint union operation.
    (ii) Use of the '#' notation for "referencing a part" of another
ontology, for example '(imports seq
<A  HREF="http://www.frob.org/2000/iterations#sequences">http://www.frob.org/2000/iteration