Three people are smiling while having food and drinks.
The three people know each other.
It is not necessarily true that they know each other.
exists e1 e2 x1 x2 x3 x4.(while(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & subset_of(x4,x2) & n_drink(x4) & subset_of(x3,x2) & n_food(x3) & Actor(e1,x1) & v_smile(e1) & n_people(x1) & card_eq_3(x1))
exists x1.(n_people(x1) & card_eq_3(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_know(e1))))