A crowd of students pass each other in a dark hall, as they walk to class.
students passing each other
Students passing each other is a crowd of students.
exists x1 x2.(all x3.(n_other(x3) -> exists e1 p1 s1 x4.(exists e2 x5.(to(e2,x5) & n_class(x5) & Actor(e2,x1) & v_walk(e2)) & as(e1,p1) & in(e1,x4) & n_hall(x4) & a_dark(s1) & Theme(s1,x4) & Theme(e1,x3) & Actor(e1,x1) & v_pass(e1))) & n_thing(x1) & of(x1,x2) & n_student(x2) & n_crowd(x1))
exists x1 x2.(a_topic(x1) & all x3.(n_other(x3) -> exists e1.(Theme(e1,x3) & Actor(e1,x2) & v_pass(e1))) & (x1 = x2) & n_student(x1))