Trade$($A$,$ x$,$ B$,$ y$)$

Owns$($A$,$ x$)$

TradingPartner$($B$)$

Money$($x$)$

Value$($x$)$

$$

Happens$($e$,$ t$1,$ t$2)$

Initiates$($e$,$ f$,$ t$)$

Terminates$($e$,$ f$,$ t$)$

$$

Describe the effect of the event of $$A trade x with B for y Trade$($A$,$ x$,$ B$,$ y$)$ as following:

after the event happened, A stops own x but start own y$,$ and the same for B conversely.

Group of answer choices

E $=$ Trade$($A$,$ x$,$ B$,$ y$)$Happens$($E$,$ t$1,$ t$2)$ Initiates$($E$,$ Owns$($A$,$ y$),$ t$2)$ Initiates$($E$,($Owns$($B$,$ x$),$ t$2)$ Terminates$($E$,$ Owns$($A$,$ x$),$ t$2)$ Terminates$($E$,$ Owns$($B$,$ y$),$t$2)$

E $=$ Trade$($A$,$ x$,$ B$,$ y$)$Happens$($E$,$ t$1,$ t$2)$ Initiates$($E$,$ Owns$($A$,$ y$),$ t$2)$ Initiates$($E$,($Owns$($B$,$ y$),$ t$2)$ Terminates$($E$,$ Owns$($A$,$ x$),$ t$2)$ Terminates$($E$,$ Owns$($B$,$ x$),$t$2)$