( (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))

arc(r_0005_0001__Continue,z_0005_5002,arg0).
arc(r_0005_0002__until,r_0005_0001__Continue,scope).
arc(r_0005_0002__until,r_0005_0004__cross_r_0005_0005__over,restriction).
arc(r_0005_0004__cross_r_0005_0005__over,r_0005_0003__you,arg0).
arc(r_0005_0004__cross_r_0005_0005__over,r_0005_0006__the_r_0005_0007__Burfell_r_0005_0008__road,arg1).
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,nim).
arc(r_0005_0011__take,r_0005_0012__the_r_0005_0013__track,arg1).
arc(r_0005_0011__take,z_0005_5002,arg0).
arc(r_0005_0015__leads_r_0005_0016__up_into,r_0005_0012__the_r_0005_0013__track,inv_arg0).
arc(r_0005_0015__leads_r_0005_0016__up_into,r_0005_0017__the_r_0005_0018__wood,arg1).

fof(formula,axiom,
    ? [Z_0005_5002,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_0005__OVER,R_0005_0002__UNTIL,R_0005_0010__THEN,R_0005_0017__THE_R_0005_0018__WOOD,R_0005_0015__LEADS_R_0005_0016__UP_INTO,R_0005_0012__THE_R_0005_0013__TRACK,R_0005_0011__TAKE,R_0005_0009__AND] :
      ( 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_0017__the_r_0005_0018__wood(R_0005_0017__THE_R_0005_0018__WOOD)
      & z_0005_5002(Z_0005_5002)
      & 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_0005_5002)
      & has_arg1(R_0005_0011__TAKE,R_0005_0012__THE_R_0005_0013__TRACK)
      & r_0005_0012__the_r_0005_0013__track(R_0005_0012__THE_R_0005_0013__TRACK)
      & has_inv_arg0(R_0005_0012__THE_R_0005_0013__TRACK,R_0005_0015__LEADS_R_0005_0016__UP_INTO)
      & r_0005_0015__leads_r_0005_0016__up_into(R_0005_0015__LEADS_R_0005_0016__UP_INTO)
      & has_arg1(R_0005_0015__LEADS_R_0005_0016__UP_INTO,R_0005_0017__THE_R_0005_0018__WOOD)
      & has_nim(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_0005__OVER)
      & r_0005_0004__cross_r_0005_0005__over(R_0005_0004__CROSS_R_0005_0005__OVER)
      & has_arg1(R_0005_0004__CROSS_R_0005_0005__OVER,R_0005_0006__THE_R_0005_0007__BURFELL_R_0005_0008__ROAD)
      & has_arg0(R_0005_0004__CROSS_R_0005_0005__OVER,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_0005_5002) ) ).