This man is surfing.
A man is wakeboarding.
He can't be surfing and wakeboarding at the same time.
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_surf(e1))
exists e1 x1.(Actor(e1,x1) & v_wakeboard(e1) & n_man(x1))