Two women are having drinks and talking happily.
There are two woman in this picture.
If there are two women having drinks and talking, then there are two women in the picture
exists e1 e2 s1 x1 x2 x3.(a_happily(s1) & Manner(e2,s1) & Actor(e2,x3) & v_talk(e2) & n_woman(x3) & card_eq_2(x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_drink(x2) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x2.(n_picture(x2) & in(p1,x2) & exists x3.((x1 = x3) & n_woman(x3) & card_eq_2(x3)))