 or as uniform as one wanted
&gt; &gt; &gt; &gt; it to be able to get.  Some RELs might satisfy
&gt; &gt; &gt; &gt; (EVENT-PROPERTY (MAPPING REL)) where (forall (?x ?y)
&gt; &gt; &gt; &gt; (=&gt; (and (EVENT-PROPERTY ?x)(?x ?y)) (EVENT-TYPE ?y)))
&gt; &gt; &gt; &gt; while others might not.  But the mapping that Matthew
&gt; &gt; &gt; &gt; wanted would work smoothly either way:  the ontological
&gt; &gt; &gt; &gt; status of the value of MAPPING would be an issue which
&gt; &gt; &gt; &gt; could be discussed s