A young boy in red swim trunks is jumping into a pool.
A boy in blue trunks is swimming.
The trunks can't be both red and blue. And he is either swimming or jumping into the pool.
exists e1 s1 s2 x1 x2 x3 x4.(into(e1,x4) & n_pool(x4) & Actor(e1,x1) & v_jump(e1) & in(x1,x2) & n_trunk(x2) & of(x2,x3) & n_swim(x3) & a_red(s2) & Theme(s2,x2) & n_boy(x1) & a_young(s1) & Theme(s1,x1))
exists p1 s1 x1 x2.(exists x3.((x1 = x3) & n_swimming(x3)) & in(x1,x2) & n_trunk(x2) & a_blue(s1) & Theme(s1,x2) & n_boy(x1))