Two women and one young girl are together in a crowded area.
Two men and a boy in an empty room.
It is either two women and one girl or two men and one boy since it cannot be both at the same time.
exists s1 s2 s3 x1 x2 x3 x4.(in(s2,x4) & n_area(x4) & a_crowded(s3) & Theme(s3,x4) & Theme(s2,x1) & a_together(s2) & n_girl(x3) & a_young(s1) & Theme(s1,x3) & card_eq_1(x3) & n_woman(x2) & card_eq_2(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists s1 s2 x1 x2 x3.(a_topic(s1) & subset_of(x2,s1) & in(x2,x3) & n_room(x3) & a_empty(s2) & Theme(s2,x3) & n_boy(x2) & subset_of(x1,s1) & n_man(x1) & card_eq_2(x1))