e than one given
&gt; 3) The same giving does not have more than one receiver.

Well, sure, add all the details you want.  The point was to illustrate the
correct approach to capturing the idea that standing in the giving
relation is equivalent to playing a certain role in a certain unique
event.

That said, can't more than one person give more than one thing to more
than one person in a giving event?

&gt; (I'm not quite up to writing what I want in KIF, with certainty.
&gt; Perhaps someone will step in an