Three ladies near a table scattered with books, busy writing notes from their reference books.
Three women study for their class.
Ladies with scattered books and notes need not study for their class.
exists e1 e2 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 x1 x2 x3.(a_topic(x1) & for(x1,x3) & n_class(x3) & of(x3,x1) & n_thing(x1) & n_study(x1) & of(x1,x2) & n_woman(x2) & card_eq_3(x1))