Three women outside all dress the same and talking to one another.
Three men inside naked and ignoring each other.
There are either men or women, are inside or outside, are dressed or naked, and are either talking or ignoring each other.
exists x1 x4.(n_same(x4) & all x2.(n_thing(x2) -> exists e1 e2 s1 x3 x5 x6.(Theme(e2,x3) & Actor(e2,x1) & v_dress(e2) & subset_of(e1,x3) & to(e1,x6) & n_thing(x6) & card_eq_1(x6) & a_another(s1) & Theme(s1,x6) & Actor(e1,x5) & v_talk(e1) & n_thing(x5) & subset_of(x4,x3) & outside(x1,x2))) & n_woman(x1) & card_eq_3(x1))
exists x1 x2 x3 x4.(a_topic(x3) & all x5.(n_other(x5) -> exists e1.(Theme(e1,x5) & Actor(e1,x4) & v_ignore(e1))) & (x3 = x4) & n_man(x3) & card_eq_3(x3) & a_topic(x1) & inside(x1,x2) & n_naked(x2) & n_man(x1) & card_eq_3(x1))