A middle-aged casually dressed man props his feet on his desk.
The man has no clothes.
The man can not be dressed and has no clothes at the same time.
exists e2 e1 s1 x1 x2 x3.(Theme(e2,x2) & Actor(e2,x1) & v_prop(e2) & on(x2,x3) & n_desk(x3) & of(x3,x1) & n_male(x1) & n_male(x1) & n_foot(x2) & of(x2,x1) & n_man(x1) & Theme(e1,x1) & v_dress(e1) & r_casually(x1) & a_middle-aged(s1) & Theme(s1,x1))
exists x1.(n_man(x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_clothes(x2)))