Four people are playing Twister and one person is watching.
Four people eat hot dogs.
The people cannot be playing Twister and eating hot dogs at the same time.
exists e1 e2 x1 x2 x3.(ne_geo_twister(x2) & Actor(e2,x3) & v_watch(e2) & n_person(x3) & card_eq_1(x3) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_people(x1) & card_eq_4(x1))
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_dog(x2) & a_hot(s1) & Theme(s1,x2) & n_people(x1) & card_eq_4(x1))