A crowd of Asians look up, while several are recording the event with personal cameras.
Everyone's cameras are being left unused.
Cameras cannot be recording the event and left unused at the same time.
exists e1 p1 s1 x1 x2 x4.(n_event(x4) & ne_nam_asians(x2) & exists e2 s2 x3 x5.(Theme(e2,x4) & Actor(e2,x3) & v_record(e2) & with(x4,x5) & n_camera(x5) & a_personal(s2) & Theme(s2,x5) & n_several(x3)) & while(e1,p1) & a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_look(e1) & of(x1,x2) & n_crowd(x1))
all x1.(n_person(x1) -> exists p1 e1 p2 x2 x3.((x1 = x2) & exists s1.(Theme(s1,x3) & a_unused(s1)) & Recipient(e1,p2) & Topic(e1,x3) & v_leave(e1) & (x2 = x3) & n_camera(x2)))