arc(r_0005_0001__Continue, z_000_5_a_maptext_1, arg0).
arc(r_0005_0002__until, r_0005_0001__Continue, scope).
arc(r_0005_0002__until, r_0005_0004__cross, restriction).
arc(r_0005_0004__cross, r_0005_0003__you, arg0).
arc(r_0005_0004__cross, r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road, r_0005_0005__over_clr18).
arc(r_0005_0009__and, r_0005_0002__until, conj1).
arc(r_0005_0009__and, r_0005_0011__take, conj2).
arc(r_0005_0011__take, r_0005_0010__then, nim29).
arc(r_0005_0011__take, r_0005_0012__the_r_0005_0013__track, arg1).
arc(r_0005_0011__take, z_000_5_a_maptext_1, arg0).
arc(r_0005_0014__that_r_0005_0015__leads, r_0005_0012__the_r_0005_0013__track, arg0).
arc(r_0005_0014__that_r_0005_0015__leads, r_0005_0017__the_r_0005_0018__wood, r_0005_0016__up_into_clr49).

fof(formula,axiom,
    ? [Z_000_5_A_MAPTEXT_1,R_0005_0001__CONTINUE,R_0005_0003__YOU,R_0005_0006__THE_R_0005_0007__BURFELL_R_0005_0008__ROAD,R_0005_0004__CROSS,R_0005_0002__UNTIL,R_0005_0010__THEN,R_0005_0012__THE_R_0005_0013__TRACK,R_0005_0011__TAKE,R_0005_0009__AND,R_0005_0017__THE_R_0005_0018__WOOD,R_0005_0014__THAT_R_0005_0015__LEADS] :
      ( r_0005_0003__you(R_0005_0003__YOU)
      & r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road(R_0005_0006__THE_R_0005_0007__BURFELL_R_0005_0008__ROAD)
      & r_0005_0010__then(R_0005_0010__THEN)
      & r_0005_0012__the_r_0005_0013__track(R_0005_0012__THE_R_0005_0013__TRACK)
      & r_0005_0017__the_r_0005_0018__wood(R_0005_0017__THE_R_0005_0018__WOOD)
      & z_000_5_a_maptext_1(Z_000_5_A_MAPTEXT_1)
      & r_0005_0014__that_r_0005_0015__leads(R_0005_0014__THAT_R_0005_0015__LEADS)
      & has_r_0005_0016__up_into_clr49(R_0005_0014__THAT_R_0005_0015__LEADS,R_0005_0017__THE_R_0005_0018__WOOD)
      & has_arg0(R_0005_0014__THAT_R_0005_0015__LEADS,R_0005_0012__THE_R_0005_0013__TRACK)
      & r_0005_0009__and(R_0005_0009__AND)
      & has_conj2(R_0005_0009__AND,R_0005_0011__TAKE)
      & r_0005_0011__take(R_0005_0011__TAKE)
      & has_arg0(R_0005_0011__TAKE,Z_000_5_A_MAPTEXT_1)
      & has_arg1(R_0005_0011__TAKE,R_0005_0012__THE_R_0005_0013__TRACK)
      & has_nim29(R_0005_0011__TAKE,R_0005_0010__THEN)
      & has_conj1(R_0005_0009__AND,R_0005_0002__UNTIL)
      & r_0005_0002__until(R_0005_0002__UNTIL)
      & has_conj1(R_0005_0002__UNTIL,R_0005_0004__CROSS)
      & r_0005_0004__cross(R_0005_0004__CROSS)
      & has_r_0005_0005__over_clr18(R_0005_0004__CROSS,R_0005_0006__THE_R_0005_0007__BURFELL_R_0005_0008__ROAD)
      & has_arg0(R_0005_0004__CROSS,R_0005_0003__YOU)
      & has_conj2(R_0005_0002__UNTIL,R_0005_0001__CONTINUE)
      & r_0005_0001__Continue(R_0005_0001__CONTINUE)
      & has_arg0(R_0005_0001__CONTINUE,Z_000_5_A_MAPTEXT_1) ) ).

( (IP-IMP (ILYR (ILYR (VB;_I_ Continue;{continue})
                      (PP-SCON (P-CONN until;{until})
                               (IP-ADV (NP-SBJ (PRO you;{you}))
                                       (VBP;_Ipr_ cross;{cross[over]})
                                       (PP-CLR (P-ROLE over;{over})
                                               (NP (D the;{the})
                                                   (NPR Burfell;{Burfell})
                                                   (N road;{road}))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VB;_Tn_ take;{take})
                             (NP-OB1 (D the;{the})
                                     (N track;{track})
                                     (IP-REL (C that;{that})
                                             (NP-SBJ *T*)
                                             (VBP;_Ipr_ leads;{lead[up_into]})
                                             (PP-CLR (P-ROLE up_into;{up_into})
                                                     (NP;{WOOD} (D the;{the})
                                                                (N wood;{wood}))))))))
          (PUNC .))
  (ID 5_a_maptext))