A man is hiking on a path, surrounded by trees, wearing a hat and carrying a water bottle.
The man is in nature.
In nature can be considered to be surrounded by trees
exists e3 e1 e4 e2 x1 x2 x3 x4 x5 x6 x7 x8 x9.(Theme(e4,x8) & Actor(e4,x7) & v_carry(e4) & n_bottle(x8) & of(x8,x9) & n_water(x9) & n_man(x7) & Theme(e3,x6) & Actor(e3,x5) & v_wear(e3) & n_hat(x6) & n_man(x5) & on(e1,x2) & Actor(e2,x4) & n_tree(x4) & Theme(e2,x3) & v_surround(e2) & (x2 = x3) & n_path(x2) & Actor(e1,x1) & v_hike(e1) & n_man(x1))
exists p1 x1.(n_man(x1) & exists x2.(in(x1,x2) & n_nature(x2)))