Soccer players are shaking each others hands on the soccer field.
Football players are playing the championship game today.
They are either soccer players, or football players. They are either shaking each others hands, or playing the championship game.
exists x2 x6 x7.(n_field(x6) & of(x6,x7) & n_soccer(x7) & n_person(x2) & all x1.((-(x1 = x2) & n_person(x1)) -> exists e1 x3 x4 x5.(on(e1,x6) & Time(e1,x1) & Theme(e1,x5) & Actor(e1,x3) & v_shake(e1) & n_hand(x5) & n_player(x3) & (x3 = x4) & ne_nam_soccer(x4))))
exists e1 x1 x2 x3 x4 x5.(n_game(x3) & of(x3,x4) & n_championship(x4) & Time(e1,x5) & n_today(x5) & Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_player(x1) & of(x1,x2) & n_football(x2))