Three people, smiling while playing cards.
Three people are playing Texas Hold Em Poker.
Not all card games are Texas Hold Em Poker.
exists e2 e1 x1 x2.(while(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_play(e2) & n_card(x2) & Actor(e1,x1) & v_smile(e1) & n_people(x1) & card_eq_3(x1))
exists e1 x1 x2 x3 x4 x5.(ne_org_poker(x2) & (x2 = x5) & ne_org_em(x5) & (x2 = x4) & ne_org_hold(x4) & (x2 = x3) & ne_org_texas(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_people(x1) & card_eq_3(x1))