Two women in library the librarian assist the other women to help in her research.
Woman are helping each other use the dooey decimal system.
There are many ways that one could help the woman with her research, not just helping her use the dewey decimal system.
exists e1 p1 x1 x2 x3 x4 x5.(-(x4 = x1) & n_woman(x4) & Theme(e1,x4) & Actor(e1,x1) & v_assist(e1) & Topic(x4,p1) & exists e2.(in(e2,x5) & Actor(e2,x4) & v_help(e2)) & n_research(x5) & of(x5,x2) & n_female(x2) & n_woman(x1) & n_woman(x1) & in(x1,x2) & n_librarian(x3) & (x2 = x3) & n_library(x2) & card_eq_2(x1))
exists s1 x2 x3 x4 x5.(n_system(x4) & a_decimal(s1) & Theme(s1,x4) & of(x4,x5) & n_dooey(x5) & ne_nam_woman(x3) & n_use(x2) & all x1.((-(x1 = x2) & n_use(x1)) -> exists e1.(Time(e1,x1) & Theme(e1,x4) & Actor(e1,x3) & v_help(e1))))