Four people are in a group hug near a soda machine.
The group prepares to attack the vending machine.
One cannot have a group hug, and prepare to attack at the same time.
exists p1 x1.(exists x2 x3 x4 x5.(in(x1,x2) & near(x2,x4) & n_machine(x4) & of(x4,x5) & n_soda(x5) & n_hug(x2) & of(x2,x3) & n_group(x3)) & n_people(x1) & card_eq_4(x1))
exists e2 e1 p1 x1 x2.(n_machine(x2) & Actor(e2,x2) & v_vend(e2) & n_group(x1) & Topic(e1,p1) & Actor(e1,x1) & v_prepare(e1) & exists e3.(Theme(e3,x2) & Actor(e3,x1) & v_attack(e3)))