disjoint, etc), but it's silly to
&gt; spend a lot of effort writing axioms for high-level terms, since the rules
&gt; will almost always have consequences that no one cares about, and even if
&gt; they might in some cases, it's not as if you'll know what this value will be
&gt; beforehand, and be able to pre-empt the process by making your terms and
&gt; rules &quot;up front.&quot;  Also the terms themselves will tend to change as
different
&gt; inference requirements change.  Even if you can define a bu