Four men are sitting outside a building, one man is playing the bongos, while another man is playing the guitar.
The men are picking up a six pack from the liquor store.
The men cannot be sitting outside playing instruments while also picking up a six pack from an indoor liquor store.
exists e1 e2 p1 x1 x2 x3 x4 x6.(n_guitar(x6) & n_bongo(x4) & exists e3 x5.(Theme(e3,x6) & Actor(e3,x5) & v_play(e3) & n_man(x5) & -(x5 = x1)) & n_man(x1) & n_man(x1) & while(e2,p1) & Theme(e2,x4) & Actor(e2,x3) & v_play(e2) & n_man(x3) & card_eq_1(x3) & outside(e1,x2) & n_building(x2) & Actor(e1,x1) & v_sit(e1) & card_eq_4(x1))
exists e1 s1 x1 x2 x3 x4.(n_store(x3) & of(x3,x4) & n_liquor(x4) & n_man(x1) & from(e1,x3) & a_up(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_pick(e1) & n_pack(x2) & card_eq_6(x2))