The traffic light could be dangerous the way it is hung.
The traffic light is working
It cannot be said for certain if the light is working.
exists e1 p1 x1 x2 x3.(n_thing(x3) & n_way(x3) & n_light(x1) & of(x1,x2) & n_traffic(x2) & exists p2 s1.(for(p2,s1) & Theme(s1,x1) & a_dangerous(s1) & exists p3.((x1 = x3) & exists e2.(Theme(e2,x3) & v_hang(e2)) & that(x3,p3))) & Topic(e1,p1) & Actor(e1,x1) & v_could(e1))
exists e1 x1 x2.(n_light(x1) & of(x1,x2) & n_traffic(x2) & Actor(e1,x1) & v_work(e1))