A group of people hanging out on the street as a woman looks at her phone.
Some people are walking in the crosswalk, while a woman on her phone hasn't noticed the light has changed.
That the woman is looking at her phone does not mean she didn't notice the light has changed.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(n_phone(x6) & of(x6,x4) & n_female(x4) & n_street(x4) & at(e2,x6) & Actor(e2,x1) & v_look(e2) & of(x1,x2) & as(e1,x5) & n_woman(x5) & a_out(s1) & Manner(e1,s1) & on(e1,x4) & Actor(e1,x3) & v_hang(e1) & (x2 = x3) & n_people(x2) & n_group(x1))
exists e1 p1 x1 x2 x4 x6.(n_light(x6) & n_phone(x4) & of(x4,x2) & n_female(x2) & n_crosswalk(x2) & exists e2 x3 x5.(Actor(e2,x3) & v_change(e2) & on(x3,x4) & -exists e3.(Theme(e3,x6) & Actor(e3,x5) & v_notice(e3)) & (x4 = x5) & n_woman(x3)) & while(e1,p1) & in(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1))