This man studies the controls while working with heavy machinery.
This man is eating icecream
The man cannot simultaneously be eating and working with machinery
exists e1 e2 s1 x1 x2 x3.(n_control(x2) & n_man(x1) & while(e1,e2) & with(e2,x3) & n_machinery(x3) & a_heavy(s1) & Theme(s1,x3) & Actor(e2,x1) & v_work(e2) & Theme(e1,x2) & Actor(e1,x1) & v_study(e1))
exists p1 x1.(n_man(x1) & exists s1 x2.((x1 = x2) & n_icecream(x2) & a_eating(s1) & Theme(s1,x2)))