A classroom includes students who observe their professor lecture on the marker board.
The students are bored by the professor's lecture.
We don't know for sure that the students are bored.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(n_board(x6) & of(x6,x7) & n_marker(x7) & Theme(e2,x2) & Actor(e2,x1) & v_include(e2) & Theme(e1,x4) & Actor(e1,x3) & v_observe(e1) & on(x4,x6) & n_lecture(x4) & of(x4,x5) & n_professor(x5) & of(x4,x1) & n_thing(x1) & (x2 = x3) & n_student(x2) & n_classroom(x1))
exists e1 x1 x2 x3.(n_lecture(x3) & of(x3,x2) & n_professor(x2) & n_student(x1) & Actor(e1,x3) & Theme(e1,x1) & v_bore(e1))