A group of people walk down the street waving rainbow flags.
People are eating lunch.
If people are walking down the street waving flags they are not eating lunch.
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_street(x3) & down(e1,x3) & Theme(e2,x5) & Actor(e2,x4) & v_wave(e2) & n_flag(x5) & of(x5,x6) & n_rainbow(x6) & (x3 = x4) & Actor(e1,x1) & v_walk(e1) & of(x1,x2) & n_people(x2) & n_group(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_lunch(x2) & n_people(x1))