A young girl hangs by a rope while another person lays stairs.
A person is building stairs.
A person who is laying stairs is the same thing as a person building stairs.
exists e1 p1 s1 x1 x2 x3.(n_person(x3) & exists e2 x4 x5.(Theme(e2,x5) & Actor(e2,x4) & v_lay(e2) & n_stair(x5) & n_person(x4) & -(x4 = x3)) & while(e1,p1) & by(e1,x2) & n_rope(x2) & Actor(e1,x1) & v_hang(e1) & n_girl(x1) & a_young(s1) & Theme(s1,x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_build(e1) & n_stair(x2) & n_person(x1))