The city street with the red lights is busy.
The city street with the lights is busy.
the city street with lights is busy is only a rephrasing of the city with red lights is busy
exists s1 s2 x1 x2 x3.(n_light(x3) & a_red(s1) & Theme(s1,x3) & n_street(x1) & of(x1,x2) & n_city(x2) & Theme(s2,x1) & a_busy(s2) & with(x1,x3))
exists s1 x1 x2 x3.(n_light(x3) & n_street(x1) & of(x1,x2) & n_city(x2) & Theme(s1,x1) & a_busy(s1) & with(x1,x3))