( (IP-IMP (PP-SCON (IP-PPL (VAG;_Tn_ Leaving;{leave})
                           (NP-OB1;{PICNIC_SITE} (D the;{the})
                                                 (N picnic;{picnic})
                                                 (N site;{site}))))
          (VB;_Tn_ take;{take})
          (NP-OB1 (D the;{the})
                  (N path;{path})
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBP;_Ip_ climbs;{climb[up]})
                          (ADVP-CLR (ADV up;{up}))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn.pr_ keeping;{keep})
                            (NP-OB1 (NPR Brooks;{Brooks})
                                    (NPR Farm;{Farm}))
                            (PP-NIM (P-ROLE on;{on})
                                    (NP (NP-GEN (PRO;_genm_ your;{your}))
                                        (N left;{left})))))
          (PUNC .))
  (ID 11_a_maptext))

arc(r_0011_0001__Leaving,r_0011_0002__the_r_0011_0003__picnic_r_0011_0004__site,arg1).
arc(r_0011_0001__Leaving,r_0011_0006__the_r_0011_0007__path,arg0).
arc(r_0011_0005__take,r_0011_0006__the_r_0011_0007__path,arg1).
arc(r_0011_0005__take,z_0011_5002,arg0).
arc(r_0011_0009__climbs_r_0011_0010__up,r_0011_0006__the_r_0011_0007__path,arg0).
arc(r_0011_0012__keeping,r_0011_0013__Brooks_r_0011_0014__Farm,arg1).
arc(r_0011_0012__keeping,r_0011_0017__left,r_0011_0015__on__nim).
arc(r_0011_0012__keeping,z_0011_5002,arg0).
arc(r_0011_0017__left,r_0011_0016__your,gen).
arc(z_0011_5005,r_0011_0012__keeping,restriction).
arc(z_0011_5005,z_0011_5009,scope).
arc(z_0011_5009,r_0011_0001__Leaving,restriction).
arc(z_0011_5009,r_0011_0005__take,scope).

fof(formula,axiom,
    ? [R_0011_0006__THE_R_0011_0007__PATH,R_0011_0009__CLIMBS_R_0011_0010__UP,R_0011_0013__BROOKS_R_0011_0014__FARM,R_0011_0016__YOUR,R_0011_0017__LEFT,Z_0011_5002,R_0011_0012__KEEPING,R_0011_0002__THE_R_0011_0003__PICNIC_R_0011_0004__SITE,R_0011_0001__LEAVING,R_0011_0005__TAKE,Z_0011_5009,Z_0011_5005] :
      ( r_0011_0002__the_r_0011_0003__picnic_r_0011_0004__site(R_0011_0002__THE_R_0011_0003__PICNIC_R_0011_0004__SITE)
      & r_0011_0006__the_r_0011_0007__path(R_0011_0006__THE_R_0011_0007__PATH)
      & r_0011_0013__Brooks_r_0011_0014__Farm(R_0011_0013__BROOKS_R_0011_0014__FARM)
      & r_0011_0016__your(R_0011_0016__YOUR)
      & z_0011_5002(Z_0011_5002)
      & z_0011_5005(Z_0011_5005)
      & has_conj2(Z_0011_5005,Z_0011_5009)
      & z_0011_5009(Z_0011_5009)
      & has_conj2(Z_0011_5009,R_0011_0005__TAKE)
      & r_0011_0005__take(R_0011_0005__TAKE)
      & has_arg0(R_0011_0005__TAKE,Z_0011_5002)
      & has_arg1(R_0011_0005__TAKE,R_0011_0006__THE_R_0011_0007__PATH)
      & has_conj1(Z_0011_5009,R_0011_0001__LEAVING)
      & r_0011_0001__Leaving(R_0011_0001__LEAVING)
      & has_arg0(R_0011_0001__LEAVING,R_0011_0006__THE_R_0011_0007__PATH)
      & has_arg1(R_0011_0001__LEAVING,R_0011_0002__THE_R_0011_0003__PICNIC_R_0011_0004__SITE)
      & has_conj1(Z_0011_5005,R_0011_0012__KEEPING)
      & r_0011_0012__keeping(R_0011_0012__KEEPING)
      & has_arg0(R_0011_0012__KEEPING,Z_0011_5002)
      & has_r_0011_0015__on__nim(R_0011_0012__KEEPING,R_0011_0017__LEFT)
      & r_0011_0017__left(R_0011_0017__LEFT)
      & has_gen(R_0011_0017__LEFT,R_0011_0016__YOUR)
      & has_arg1(R_0011_0012__KEEPING,R_0011_0013__BROOKS_R_0011_0014__FARM)
      & r_0011_0009__climbs_r_0011_0010__up(R_0011_0009__CLIMBS_R_0011_0010__UP)
      & has_arg0(R_0011_0009__CLIMBS_R_0011_0010__UP,R_0011_0006__THE_R_0011_0007__PATH) ) ).