A man rests on the side of the road with his camel.
A man is on the road traveling to his home.
Not all men on the side of the road are traveling and not all are traveling home.
exists e1 x1 x2 x3 x4.(n_road(x4) & n_side(x2) & n_camel(x3) & of(x3,x2) & n_male(x2) & on(e1,x2) & of(x2,x4) & with(e1,x3) & Actor(e1,x1) & v_rest(e1) & n_man(x1))
exists p1 x1 x2 x4.(n_home(x4) & of(x4,x2) & n_male(x2) & n_road(x2) & exists e1 x3.(on(x1,x2) & to(e1,x4) & Actor(e1,x3) & v_travel(e1) & (x2 = x3)) & n_man(x1))