Three men and one woman standing next to each other, all wearing aprons and pouring something into each others cups at the same time.
Four people are naked.
There can be either three men or four poeple
exists e1 e3 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_time(x12) & a_same(s2) & Theme(s2,x12) & n_person(x12) & at(e3,x12) & all x14.((-(x14 = x12) & n_person(x14)) -> exists x15.(into(e3,x14) & Time(x14,x15) & n_cup(x15))) & Theme(e3,x11) & Actor(e3,x8) & v_pour(e3) & n_thing(x11) & n_woman(x10) & card_eq_1(x10) & n_man(x9) & card_eq_3(x9) & subset_of(x10,x8) & subset_of(x9,x8) & a_all(s1) & Manner(e2,s1) & Theme(e2,x7) & Actor(e2,x4) & v_wear(e2) & n_apron(x7) & n_woman(x6) & card_eq_1(x6) & n_man(x5) & card_eq_3(x5) & subset_of(x6,x4) & subset_of(x5,x4) & all x13.(n_other(x13) -> to(e1,x13)) & r_next(e1) & Actor(e1,x1) & v_stand(e1) & n_woman(x3) & card_eq_1(x3) & n_man(x2) & card_eq_3(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists s1 x1.(Theme(s1,x1) & a_naked(s1) & n_people(x1) & card_eq_4(x1))