Two women are laughing with cups in their hands.
the two women are holding cups of hot chocolate
Cups held by women are not necessarily cups of hot chocolate.
exists e1 x1 x2 x3.(with(e1,x2) & in(x2,x3) & n_hand(x3) & of(x3,x1) & n_thing(x1) & n_cup(x2) & Actor(e1,x1) & v_laugh(e1) & n_woman(x1) & card_eq_2(x1))
exists e1 s1 x1 x2 x3.(n_woman(x1) & card_eq_2(x1) & Theme(e1,x2) & Actor(e1,x1) & v_hold(e1) & of(x2,x3) & n_chocolate(x3) & a_hot(s1) & Theme(s1,x3) & n_cup(x2))