A green sign lists the directions, names, and distance of two different towns.  
The two different towns are only 50 miles apart, and the road is an easy travel.
A sign that lists directions and distances does not imply that towns are 50 miles apart or that the road is an easy travel.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_town(x8) & n_distance(x6) & n_name(x5) & subset_of(x6,x4) & subset_of(x5,x4) & r_,(x4) & n_direction(x3) & subset_of(x4,x2) & subset_of(x3,x2) & Theme(e1,x2) & Actor(e1,x1) & v_list(e1) & of(x2,x7) & -(x7 = x8) & n_town(x7) & card_eq_2(x7) & n_sign(x1) & a_green(s1) & Theme(s1,x1))
exists e1 p1 x1 x2 x3 x4.(n_road(x4) & -(x1 = x2) & n_town(x2) & n_town(x1) & card_eq_2(x1) & exists s1 x5.((x4 = x5) & n_travel(x5) & a_easy(s1) & Theme(s1,x5)) & Theme(e1,x3) & Pivot(e1,x1) & r_more(e1) & v_apart(e1) & n_mile(x3) & card_eq_50(x3) & r_only(x3))