A guy is siting on a bench, on the beach, tying his shoe.
A man ties his running shoe.
Not all shoes are running shoes. A man tying his shoe does not mean he is tying a running shoe.
exists e1 e2 x1 x2 x3 x4.(n_shoe(x4) & of(x4,x3) & n_male(x3) & n_beach(x3) & for(e1,e2) & Theme(e2,x4) & Actor(e2,x1) & v_tie(e2) & on(e1,x3) & on(e1,x2) & n_bench(x2) & Actor(e1,x1) & v_site(e1) & n_guy(x1))
exists e1 e2 x1 x2.(n_thing(e2) & Theme(e2,x2) & Actor(e2,x1) & v_tie(e2) & n_shoe(x2) & Actor(e1,x2) & v_run(e1) & of(x2,x1) & n_male(x1) & n_man(x1))