A line of blue, green, and white booths line the side of a street outside a store with one man sitting in a booth.
A group of booths are all the same color and are deserted.
The booths can't be blue, green, and white and the same color at the same time.  The booths cannot be deserted and have one man sitting in a booth at the same time.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9.(a_topic(x1) & of(x1,x2) & with(x2,x7) & in(e1,x9) & n_booth(x9) & Actor(e1,x8) & v_sit(e1) & (x7 = x8) & n_man(x7) & card_eq_1(x7) & outside(x2,x6) & n_store(x6) & of(x2,x5) & n_street(x5) & n_side(x4) & (x2 = x4) & n_line(x2) & of(x2,x3) & n_booth(x3) & a_white(s5) & Theme(s5,x2) & a_,(s4) & Theme(s4,x2) & a_green(s3) & Theme(s3,x2) & a_,(s2) & Theme(s2,x2) & a_blue(s1) & Theme(s1,x2) & n_line(x1))
exists e1 p1 s1 x1 x2 x3 x4 x6.(n_color(x6) & a_same(s1) & Theme(s1,x6) & Theme(e1,x3) & v_desert(e1) & of(x3,x4) & n_booth(x4) & n_group(x3) & all x5.((x5 = x6) -> (x1 = x5)) & of(x1,x2) & n_booth(x2) & n_group(x1))