A man grips onto his walking stick as he hikes the rough terrain.
A man with empty hands is hiking.
One who grips onto his walking stick cannot be one with empty hands at the same time.
exists e1 p1 s1 x1 x2 x3 x4.(n_terrain(x4) & a_rough(s1) & Theme(s1,x4) & exists e2.(Theme(e2,x4) & Actor(e2,x1) & v_hike(e2)) & n_male(x1) & n_male(x1) & as(e1,p1) & onto(e1,x2) & n_stick(x2) & of(x2,x3) & n_walking(x3) & of(x2,x1) & Actor(e1,x1) & v_grip(e1) & n_man(x1))
exists e1 s1 x1 x2.(Actor(e1,x1) & v_hike(e1) & with(x1,x2) & n_hand(x2) & a_empty(s1) & Theme(s1,x2) & n_man(x1))