People are walking on the street, and cars are standing on the intersection for the red light.
People are floating on the street and cars are hovering at the red light.
Walking is not floating, and standing is not hovering.
exists e2 e1 s1 x1 x2 x3 x4 x5.(n_light(x5) & a_red(s1) & Theme(s1,x5) & n_intersection(x4) & n_street(x2) & for(e2,x5) & on(e2,x4) & Actor(e2,x3) & v_stand(e2) & n_car(x3) & on(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1))
exists e2 e1 s1 x1 x2 x3 x4.(n_light(x4) & a_red(s1) & Theme(s1,x4) & n_street(x2) & at(e2,x4) & Actor(e2,x3) & v_hover(e2) & n_car(x3) & on(e1,x2) & Actor(e1,x1) & v_float(e1) & n_people(x1))