A man sitting and has taken off his shoes.
An man has taken off his tennis shoes.
The man that has taken off his shoes, is not imply that his shoes are tennis shoes.
exists e1 e2 s1 x1 x2 x3 x4 x5.(a_topic(x3) & a_off(s1) & Manner(e2,s1) & Theme(e2,x5) & Actor(e2,x4) & v_take(e2) & n_shoe(x5) & of(x5,x1) & n_male(x1) & (x3 = x4) & n_man(x3) & a_topic(x1) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_man(x1))
exists e1 s1 x1 x2 x3.(a_off(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_take(e1) & n_shoe(x2) & of(x2,x3) & n_tennis(x3) & of(x2,x1) & n_male(x1) & n_man(x1))