gt;
&gt; &gt; &gt; &gt; &gt; &gt; I protest:  this IS a general algorithm, if properly
&gt; &gt; &gt; &gt; &gt; &gt; &gt; stated.  The key is not to predicate 'event-type'
&gt; &gt; &gt; &gt; &gt; &gt; &gt; of the ?e in question, but to connect it to the
&gt; &gt; &gt; &gt; &gt; &gt; &gt; original predication of REL, by mapping REL from
&gt; &gt; &gt; &gt; &gt; &gt; &gt; an n-ary to a unary relation REL': ...
&gt; &gt; &gt; &gt; &gt;
&gt; &gt; &gt; &gt; &gt; Pat, you misunderstand, and please do not place
&