The tennis player has her hair tied back
The man is tied to his bed
The tennis player and the man are two different people. One cannot infer that the man is tied to the bed by his hair.
exists e1 e2 s1 x1 x2 x3 x4.(n_hair(x3) & of(x3,x1) & n_female(x1) & n_player(x1) & of(x1,x2) & n_tennis(x2) & Theme(e2,x3) & Actor(e2,x1) & v_have(e2) & a_back(s1) & Manner(e1,s1) & Theme(e1,x4) & v_tie(e1) & (x3 = x4))
exists e1 x1 x2.(n_bed(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & to(e1,x2) & Theme(e1,x1) & v_tie(e1))