Students are sitting in a classroom listening to six people who are teaching.
Kids are bored at school.
Not all students are kids. They are not necessarily bored, nor are they necessarily at school.
exists e2 e1 x1 x2 x3 x4 x5.(to(e1,x4) & Actor(e2,x5) & v_teach(e2) & (x4 = x5) & n_people(x4) & card_eq_6(x4) & in(e1,x2) & n_listening(x2) & of(x2,x3) & n_classroom(x3) & Actor(e1,x1) & v_sit(e1) & n_student(x1))
exists e1 x1 x2.(at(e1,x2) & n_school(x2) & Theme(e1,x1) & v_bore(e1) & n_kid(x1))