Vendors sit at a street market with jars of goods that are red and green.
There are jars of red and green goods at the street market.
there are jars of goods at the street market on both
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(with(e1,x4) & of(x4,x5) & Theme(s2,x7) & a_green(s2) & (x5 = x7) & Theme(s1,x6) & a_red(s1) & (x5 = x6) & n_goods(x5) & n_jar(x4) & at(e1,x2) & n_market(x2) & of(x2,x3) & n_street(x3) & Actor(e1,x1) & v_sit(e1) & n_vendor(x1))
exists p1 x1 x2 x3.(n_market(x2) & of(x2,x3) & n_street(x3) & at(p1,x2) & exists s1 s2 x4 x5.((x1 = x4) & of(x4,x5) & n_goods(x5) & a_green(s2) & Theme(s2,x5) & a_red(s1) & Theme(s1,x5) & n_jar(x4)))