( (IP-IMP (ILYR (ILYR (VB;_Ipr_ Proceed;{proceed[along]})
                      (PP-CLR (P-ROLE along;{along})
                              (NP (D the;{the})
                                  (ADJP (ADJ main;{main}))
                                  (NLYR (NPR Swafford;{Swafford})
                                        (PP (P-ROLE to;{to})
                                            (NP (NPR Hardley;{Hardley}))))
                                  (N road;{road}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Ip_ turn;{turn[left]})
                             (ADVP-CLR (ADV left;{left}))
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (NPR Burfell;{Burfell})))
                             (PP-SCON (ADVP-NIM (ADV just;{just}))
                                      (P-CONN before;{before})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (VBP;_Tn_ reach;{reach})
                                              (NP-OB1 (NPR Hardley;{Hardley})))))))
          (PUNC .))
  (ID 2_a_maptext))

arc(r_0002_0001__Proceed_r_0002_0002__along,r_0002_0003__the_r_0002_0005__Swafford_r_0002_0006__to_r_0002_0007__Hardley_r_0002_0008__road,arg1).
arc(r_0002_0001__Proceed_r_0002_0002__along,z_0002_5002,arg0).
arc(r_0002_0003__the_r_0002_0005__Swafford_r_0002_0006__to_r_0002_0007__Hardley_r_0002_0008__road,r_0002_0004__main,attrib).
arc(r_0002_0009__and,r_0002_0001__Proceed_r_0002_0002__along,conj1).
arc(r_0002_0009__and,r_0002_0014__just_r_0002_0015__before,conj2).
arc(r_0002_0010__turn_r_0002_0011__left,r_0002_0013__Burfell,r_0002_0012__to__nim).
arc(r_0002_0010__turn_r_0002_0011__left,z_0002_5002,arg0).
arc(r_0002_0014__just_r_0002_0015__before,r_0002_0010__turn_r_0002_0011__left,scope).
arc(r_0002_0014__just_r_0002_0015__before,r_0002_0017__reach,restriction).
arc(r_0002_0017__reach,r_0002_0016__you,arg0).
arc(r_0002_0017__reach,r_0002_0018__Hardley,arg1).

fof(formula,axiom,
    ? [R_0002_0004__MAIN,R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0006__TO_R_0002_0007__HARDLEY_R_0002_0008__ROAD,Z_0002_5002,R_0002_0001__PROCEED_R_0002_0002__ALONG,R_0002_0013__BURFELL,R_0002_0010__TURN_R_0002_0011__LEFT,R_0002_0016__YOU,R_0002_0018__HARDLEY,R_0002_0017__REACH,R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0009__AND] :
      ( r_0002_0004__main(R_0002_0004__MAIN)
      & r_0002_0013__Burfell(R_0002_0013__BURFELL)
      & r_0002_0016__you(R_0002_0016__YOU)
      & r_0002_0018__Hardley(R_0002_0018__HARDLEY)
      & z_0002_5002(Z_0002_5002)
      & r_0002_0009__and(R_0002_0009__AND)
      & has_conj2(R_0002_0009__AND,R_0002_0014__JUST_R_0002_0015__BEFORE)
      & r_0002_0014__just_r_0002_0015__before(R_0002_0014__JUST_R_0002_0015__BEFORE)
      & has_conj1(R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0017__REACH)
      & r_0002_0017__reach(R_0002_0017__REACH)
      & has_arg1(R_0002_0017__REACH,R_0002_0018__HARDLEY)
      & has_arg0(R_0002_0017__REACH,R_0002_0016__YOU)
      & has_conj2(R_0002_0014__JUST_R_0002_0015__BEFORE,R_0002_0010__TURN_R_0002_0011__LEFT)
      & r_0002_0010__turn_r_0002_0011__left(R_0002_0010__TURN_R_0002_0011__LEFT)
      & has_arg0(R_0002_0010__TURN_R_0002_0011__LEFT,Z_0002_5002)
      & has_r_0002_0012__to__nim(R_0002_0010__TURN_R_0002_0011__LEFT,R_0002_0013__BURFELL)
      & has_conj1(R_0002_0009__AND,R_0002_0001__PROCEED_R_0002_0002__ALONG)
      & r_0002_0001__Proceed_r_0002_0002__along(R_0002_0001__PROCEED_R_0002_0002__ALONG)
      & has_arg0(R_0002_0001__PROCEED_R_0002_0002__ALONG,Z_0002_5002)
      & has_arg1(R_0002_0001__PROCEED_R_0002_0002__ALONG,R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0006__TO_R_0002_0007__HARDLEY_R_0002_0008__ROAD)
      & r_0002_0003__the_r_0002_0005__Swafford_r_0002_0006__to_r_0002_0007__Hardley_r_0002_0008__road(R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0006__TO_R_0002_0007__HARDLEY_R_0002_0008__ROAD)
      & has_attrib(R_0002_0003__THE_R_0002_0005__SWAFFORD_R_0002_0006__TO_R_0002_0007__HARDLEY_R_0002_0008__ROAD,R_0002_0004__MAIN) ) ).