A man kite surfing creates a wave.
A man is at home watching television
A man cannot be surfing and watching television at once.
exists e1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x1) & v_create(e1) & n_wave(x4) & n_surfing(x1) & of(x1,x3) & n_kite(x3) & of(x1,x2) & n_man(x2))
exists p1 x1 x2 x3.(at(p1,x2) & n_watching(x2) & of(x2,x3) & n_home(x3) & exists x4.((x1 = x4) & n_television(x4)) & n_man(x1))