A stoplight is yellow next to a pedestrian crossing sign.
There is no stoplight next to the pedestrian crossing sign.
If there is no spotlight in yellow then there is no spotlight in yellow.
exists e1 s1 x1 x2 x3.(to(s1,x2) & n_sign(x2) & Actor(e1,x2) & v_cross(e1) & of(x2,x3) & n_pedestrian(x3) & r_next(s1) & Theme(s1,x1) & a_yellow(s1) & n_stoplight(x1))
exists e1 p1 x1 x4 x5.(n_sign(x4) & Actor(e1,x4) & v_cross(e1) & of(x4,x5) & n_pedestrian(x5) & -exists x2 x3.((x1 = x2) & to(x3,x4) & next(x2,x3) & n_thing(x3) & n_stoplight(x2)))