A man wearing a green shirt and a dark colored vest is sitting at a table with a glass of water in front of him.
The man is thirsty.
One cannot assume that the man with water in front of him is thirsty.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9.(in(e2,x9) & of(x9,x1) & n_male(x1) & n_front(x9) & with(e2,x7) & of(x7,x8) & n_water(x8) & n_glass(x7) & at(e2,x6) & n_table(x6) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & subset_of(x5,x3) & n_vest(x5) & a_colored(s3) & Theme(s3,x5) & a_dark(s2) & Theme(s2,x5) & subset_of(x4,x3) & n_shirt(x4) & a_green(s1) & Theme(s1,x4) & (x1 = x2) & n_man(x1))
exists s1 x1.(n_man(x1) & Theme(s1,x1) & a_thirsty(s1))