A woman in a red shirt is sleeping on a tan couch.
The woman is sitting on the couch eating popcorn.
One woman is sleeping and the other woman is eating, therefore, the two women are not the same.
exists e1 s1 s2 x1 x2 x3.(on(e1,x3) & n_couch(x3) & a_tan(s2) & Theme(s2,x3) & Actor(e1,x1) & v_sleep(e1) & in(x1,x2) & n_shirt(x2) & a_red(s1) & Theme(s1,x2) & n_woman(x1))
exists e1 x1 x2 x3 x4.(n_popcorn(x2) & of(x2,x4) & n_eating(x4) & of(x2,x3) & n_couch(x3) & n_woman(x1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))