ertain syntactic abbreviations that
&gt; &gt; ;; can be both heuristically useful and computationally advantageous.
&gt; &gt; ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;  "nth-domain"  ;;
&gt; &gt; ;;;;;;;;;;;;;;;;;;;;
&gt; &gt; ;;
&gt; &gt; ;; The "nth-domain" provides a computationally and heuristically
&gt; &gt; ;; convenient mechanism for declaring the intended types of the
&gt; &gt; ;; argument places of a given relation.  It cannot be considered a
&gt; &gt; ;; genuine predicate in a standard first-