Three ladies near a table scattered with books, busy writing notes from their reference books.
There is nothing on the table.
If there is nothing on the table, it cannot be scattered with books.
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 x3.(n_table(x3) & -exists x2.((x1 = x2) & on(x2,x3) & n_thing(x2)))