A well dressed man sleeps on the ledge of a storefront window.
The man in the window is poorly dressed.
You can only be either well dressed or poorly dressed, you cannot be both at the same time.
exists e1 x1 x2 x3 x4 x5.(n_ledge(x3) & a_topic(x1) & on(x1,x3) & of(x3,x4) & n_window(x4) & of(x4,x5) & n_storefront(x5) & n_sleep(x1) & of(x1,x2) & n_man(x2) & Theme(e1,x1) & v_dress(e1) & r_well(x1))
exists e1 s1 x1 x2.(n_window(x2) & n_man(x1) & a_poorly(s1) & Manner(e1,s1) & Theme(e1,x1) & v_dress(e1) & in(x1,x2))