y,
I've
&gt; added and revised many of the docu-strings in the ontology, formulated
many
&gt; new axioms, and tried to achieve a tighter integration of all of the
content
&gt; in the ontology.  One area that still needs further integration is
&gt; mereotopology.  Currently, definitions and axioms are scattered in three
&gt; different sections of the ontology:  the mereotopology proper, the section
&gt; on holes based on Varzi and Casati's work, and the section on Positions
&gt; (everything in this section i