ons to unary
&gt; &gt; &gt; &gt; &gt; and binary relations is obvious and trivial -- but about
&gt; &gt; &gt; &gt; &gt; whether, when, and how a certain class of entity might
&gt; &gt; &gt; &gt; &gt; serve some useful ontological purpose.  Ok?
&gt; &gt; &gt; &gt;
&gt; &gt; &gt; &gt; OK, OK.  But don't you see a rather close parallel
&gt; &gt; &gt; &gt; here?  The difference between writing (EVENT-TYPE ?e)
&gt; &gt; &gt; &gt; and (R' ?e) doesnt seem to me to be worth making much
&gt; &gt; &gt; &gt; fuss abou