man eating while on a computer.
Humans eating food.
man is a human and eating food can be infered by saying eating
(x)
exists s1 s2 x1 x2.(n_food(x1) & a_.(s2) & Theme(s2,x1) & a_eating(s1) & Theme(s1,x1) & (x1 = x2) & ne_nam_humans(x2) & a_topic(x1))