A gathering of people around two long tables set with different colored bowls and plates.
There are men and women at this gathering.
Just because there are people gathered doesn't mean there are men and women.
exists e3 e1 e2 s1 x1 x2 x3 x4 x5 x6 x7.(n_bowl(x6) & Theme(e3,x6) & v_color(e3) & with(e1,x4) & subset_of(x7,x4) & n_plate(x7) & subset_of(x5,x4) & -(x5 = x6) & n_bowl(x5) & Theme(e2,x5) & v_color(e2) & Theme(e1,x1) & v_set(e1) & of(x1,x2) & around(x2,x3) & n_table(x3) & a_long(s1) & Theme(s1,x3) & card_eq_2(x3) & n_people(x2) & n_gathering(x1))
exists p1 x1 x2.(n_gathering(x2) & at(p1,x2) & exists x3 x4 x5.((x1 = x3) & n_woman(x5) & n_man(x4) & subset_of(x5,x3) & subset_of(x4,x3)))