A guy surfing the web eating pizza.
The guy is eating food while online.
eating pizza and surfing the web is the same as eating while online
exists e1 s1 x1 x2 x3 x4.(n_pizza(x3) & of(x3,x4) & n_eating(x4) & a_web(s1) & Theme(s1,x3) & a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_surf(e1) & (x1 = x2) & n_guy(x1))
exists p1 x1 x2.(n_guy(x1) & while(p1,x2) & n_online(x2) & exists s1 x3.((x1 = x3) & n_food(x3) & a_eating(s1) & Theme(s1,x3)))