Three ladies near a table scattered with books, busy writing notes from their reference books.
Three ladies are proof reading books
Not all books are proof read and ladies with scattered books need not be for proof reading.
exists e2 e1 p1 x1 x2 x3 x4 x5 x7.(a_topic(x1) & near(x1,x2) & with(e1,x4) & exists e3 x6.(Theme(e3,x6) & Actor(e3,x5) & v_write(e3) & from(x6,x4) & n_note(x6)) & n_book(x4) & n_book(x4) & of(x4,x7) & n_reference(x7) & of(x4,x1) & n_thing(x1) & Topic(e2,p1) & Actor(e2,x5) & v_busy(e2) & (x4 = x5) & Theme(e1,x3) & v_scatter(e1) & (x2 = x3) & n_table(x2) & n_lady(x1) & card_eq_3(x1))
exists p1 x1.(exists x2 x3 x4.((x1 = x2) & n_book(x2) & of(x2,x4) & n_reading(x4) & of(x2,x3) & n_proof(x3)) & n_lady(x1) & card_eq_3(x1))