Three traffic lights hang over Wilson Street.
there are no lights on that street to direct traffic
The pieces of information that contradict each other is the mention of no lights on the street when three traffic lights hang over Wilson street.
exists x1 x2 x3 x4 x5.(ne_per_street(x4) & (x4 = x5) & ne_per_wilson(x5) & a_topic(x1) & over(x1,x4) & n_hang(x1) & of(x1,x3) & n_light(x3) & of(x1,x2) & n_traffic(x2) & card_eq_3(x1))
exists p1 x1 x3.(n_street(x3) & -exists s1 x2 x4.((x1 = x2) & to(x2,x4) & n_traffic(x4) & a_direct(s1) & Theme(s1,x4) & on(x2,x3) & n_light(x2)))