Two men are sitting working on their computers.
The men are doing computer work.
The men are working on their computers so they must be doing computer work.
exists e2 e1 x1 x2.(for(e1,e2) & on(e2,x2) & n_computer(x2) & of(x2,x1) & n_thing(x1) & Actor(e2,x1) & v_work(e2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_work(x2) & of(x2,x3) & n_computer(x3))