... manner.

This wasteful manner takes advantage of the fact that $collided'(a,b)$ would have the same extension as $collided'(b,a)$ . It is shown in the computation of $\llbracket John \: and \: Mary \: collided\rrbracket$ below.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.