Two women are drinking from yellow cups and laughing.
Two women are laughing from the jokes they are telling each other.
The fact two women are laughing doesn't imply that they are laughing from the jokes they are telling
exists e1 s1 x1 x2 x3 x4.(from(e1,x2) & n_laughing(x4) & n_cup(x3) & subset_of(x4,x2) & subset_of(x3,x2) & a_yellow(s1) & Theme(s1,x2) & Actor(e1,x1) & v_drink(e1) & n_woman(x1) & card_eq_2(x1))
exists e1 p1 x1 x2.(n_thing(x2) & n_joke(x2) & from(e1,x2) & all x3.(n_other(x3) -> exists e2.(Theme(e2,x3) & Actor(e2,x2) & v_tell(e2))) & that(x2,p1) & Actor(e1,x1) & v_laugh(e1) & n_woman(x1) & card_eq_2(x1))