 explicit, but are inconsistent with other author's implicit 
&gt; answers. 
    Here I strongly agree.  We need to work top-down to create the
defining vocabulary for the most basic concepts, and use those to 
create more complex concepts, and so on.  The temptation is to try the 
more interesting middle-level concepts first, which has the risk you
point out.

&gt; 
&gt; Guarino's mereology isnt compatible with Simon's, and neither of them 
&gt; are compatible with Tarski (last time I looked), so y'all had