osophical claims, and
&gt; &gt;they certainly have not been incorporated into the merged ontology.
&gt; 
&gt; Oh, they indeed have. The mereotopological axioms for example do not 
&gt; admit surfaces into the domain of quantification.

Well, this is really more a product of sloppiness on my part in merging the
various ontologies, rather than a philosophical claim that informs the
merged ontology.  I think we can resolve this matter simply by adding a
clause excluding surfaces to the antecedent of each mereo