The three friends were enjoying refreshments outside their car.
There are four enemies.
There can either be three people or four people it cannot be both.
exists e1 x1 x2 x3.(n_car(x3) & of(x3,x1) & n_thing(x1) & n_friend(x1) & card_eq_3(x1) & outside(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_refreshment(x2))
exists p1 x1 x2.((x1 = x2) & n_enemy(x2) & card_eq_4(x2))