A man is flipping another person while the other guy is trying to lift the other person.
All the people are women.
The people cannot be women and men simultaneously.
exists e1 p1 x1 x2 x3 x4.(-(x2 = x2) & n_person(x2) & n_person(x2) & -(x4 = x4) & n_guy(x4) & exists e2 p2.(Topic(e2,p2) & Actor(e2,x4) & v_try(e2) & exists e3.(Theme(e3,x2) & Actor(e3,x4) & v_lift(e3))) & while(e1,p1) & Theme(e1,x3) & Actor(e1,x1) & v_flip(e1) & n_person(x3) & -(x3 = x2) & n_man(x1))
exists x2.(n_people(x2) & all x1.((x1 = x2) -> exists p1 x3.((x1 = x3) & n_woman(x3))))