Two men and a woman sit at a bar table drinking glasses of beer.
the people are standing
People can either be standing or they can sit not both at the same time.
exists e1 x1 x2 x3 x4 x5 x6 x7 x8.(at(e1,x4) & of(x4,x8) & n_beer(x8) & n_glass(x4) & of(x4,x7) & n_drinking(x7) & of(x4,x6) & n_table(x6) & of(x4,x5) & n_bar(x5) & Actor(e1,x1) & v_sit(e1) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2) & card_eq_2(x2))
exists e1 x1.(n_people(x1) & Actor(e1,x1) & v_stand(e1))