Two teenage girls, one is smiling.
There are two girls and one is unhappy.
Although one is smiling it does not imply the other is unhappy.
exists e1 s1 x1 x2.(rel(e1,x2) & n_girl(x2) & a_teenage(s1) & Theme(s1,x2) & card_eq_2(x2) & Actor(e1,x1) & v_smile(e1) & n_thing(x1) & card_eq_1(x1))
exists p1 x1 s1 x2 x3 x4 x5.((x1 = x2) & subset_of(x4,x2) & Theme(s1,x5) & a_unhappy(s1) & (x4 = x5) & n_thing(x4) & card_eq_1(x4) & subset_of(x3,x2) & n_girl(x3) & card_eq_2(x3))