A lady with a yellow blouse and glasses at a desk with a laptop computer.
A lady with a yellow blouse and glasses at a desk with a desktop computer.
A laptop computer is not the same as a desktop computer.
exists s1 s2 x1 x2 x3 x4 x5 x6.(a_topic(x1) & at(x1,x5) & with(x5,x6) & n_computer(x6) & a_laptop(s2) & Theme(s2,x6) & n_desk(x5) & with(x1,x2) & subset_of(x4,x2) & n_glass(x4) & subset_of(x3,x2) & n_blouse(x3) & a_yellow(s1) & Theme(s1,x3) & n_lady(x1))
exists s1 s2 x1 x2 x3 x4 x5 x6.(a_topic(x1) & at(x1,x5) & with(x5,x6) & n_computer(x6) & a_desktop(s2) & Theme(s2,x6) & n_desk(x5) & with(x1,x2) & subset_of(x4,x2) & n_glass(x4) & subset_of(x3,x2) & n_blouse(x3) & a_yellow(s1) & Theme(s1,x3) & n_lady(x1))