A student reclines while lecturers lecture.
The lecture hall has couches for the students
the student reclining during lecture does not imply the lecture hall has couches
exists e1 p1 x1.(exists e2 x2.(Actor(e2,x2) & v_lecture(e2) & n_lecturer(x2)) & while(e1,p1) & Actor(e1,x1) & v_recline(e1) & n_student(x1))
exists e1 x1 x2 x3 x4.(n_student(x4) & n_hall(x1) & of(x1,x2) & n_lecture(x2) & Theme(e1,x3) & Actor(e1,x1) & v_have(e1) & for(x3,x4) & n_couch(x3))