A lady in black dress with a beige blazer checks the contents of her glass.
A woman in a pink dress and a black blazer pours out the contents of her glass.
A lady cannot be wearing both a pink dress and a black dress, also she cannot be wearing just a black and beige blazer. Also, if she checks the contents of her glass does not mean that she pours out the contents of her glass.
exists s1 s2 x1 x2 x3 x4 x5 x6.(a_topic(x1) & with(x1,x3) & of(x3,x6) & n_glass(x6) & of(x6,x1) & n_female(x1) & n_contents(x5) & (x3 = x5) & n_check(x3) & of(x3,x4) & n_blazer(x4) & a_beige(s2) & Theme(s2,x3) & in(x1,x2) & n_dress(x2) & a_black(s1) & Theme(s1,x2) & n_lady(x1))
exists s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_glass(x7) & of(x7,x6) & n_female(x6) & n_contents(x6) & a_topic(x1) & out(x1,x6) & of(x6,x7) & in(x1,x2) & subset_of(x4,x2) & n_pour(x4) & of(x4,x5) & n_blazer(x5) & a_black(s2) & Theme(s2,x4) & subset_of(x3,x2) & n_dress(x3) & a_pink(s1) & Theme(s1,x3) & n_woman(x1))