Three people are smiling while having food and drinks.
Three people are smiling while having lunch.
Three peoples are smiling that doesn't mean they're having lunch.
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 e2 e1 x1 x2.(while(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & n_lunch(x2) & Actor(e1,x1) & v_smile(e1) & n_people(x1) & card_eq_3(x1))