Two dogs are running through the surf.
a pair of dogs are playing poker
Dogs cannot be playing poker. Also, the dogs cannot be at the beach (suggested by the surf) and playing poker at the same time
exists e1 x1 x2.(n_surf(x2) & through(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_poker(x3) & of(x1,x2) & n_dog(x2) & n_pair(x1))