t, particularly since the 'piecemeal' analysis
&gt; &gt; &gt; &gt; that would need to be done would presumably establish
&gt; &gt; &gt; &gt; *some*  kind of connection between the EVENT-TYPE in
&gt; &gt; &gt; &gt; question and the original REL.  If we utilise the
&gt; &gt; &gt; &gt; syntactic freedom of revised KIF we could write
&gt; &gt; &gt; &gt; both of these in the form ((MAPPING REL) ?e) and
&gt; &gt; &gt; &gt; then just have a side theory about MAPPING, which
&gt; &gt; &gt; &gt; could be as piecemeal