A green sign lists the directions, names, and distance of two different towns.  
The red sign lists information about the lake.
The sign is either green or red. It can hold information about two towns, or about the lake.
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 s1 x1 x2 x3.(n_lake(x3) & n_sign(x1) & a_red(s1) & Theme(s1,x1) & about(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_list(e1) & n_information(x2))