Three african american women are dressed in bright orange and brown dresses and headscarves.
The three women are naked.
You cannot be both dressed and naked.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4 x5.(in(e1,x2) & n_headscarve(x5) & n_dress(x4) & subset_of(x5,x2) & subset_of(x4,x2) & a_brown(s4) & Theme(s4,x2) & of(x2,x3) & n_orange(x3) & a_bright(s3) & Theme(s3,x2) & Theme(e1,x1) & v_dress(e1) & n_woman(x1) & a_american(s2) & Theme(s2,x1) & a_african(s1) & Theme(s1,x1) & card_eq_3(x1))
exists s1 x1.(n_woman(x1) & card_eq_3(x1) & Theme(s1,x1) & a_naked(s1))