( (IP-IMP (VB;_Tn_ Follow;{follow})
          (NP-OB1 (D the;{the})
                  (N ridge;{ridge}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (ADVP (ADV about;{about}))
                      (NUM two;{two})
                      (NS miles;{mile})))
          (PUNC .))
  (ID 12_a_maptext))

arc(r_0012_0001__Follow,r_0012_0002__the_r_0012_0003__ridge,arg1).
arc(r_0012_0001__Follow,r_0012_0006__two_r_0012_0007__miles,r_0012_0004__for__nim).
arc(r_0012_0001__Follow,z_0012_5002,arg0).
arc(r_0012_0006__two_r_0012_0007__miles,r_0012_0005__about,qual).

fof(formula,axiom,
    ? [R_0012_0002__THE_R_0012_0003__RIDGE,R_0012_0005__ABOUT,R_0012_0006__TWO_R_0012_0007__MILES,Z_0012_5002,R_0012_0001__FOLLOW] :
      ( r_0012_0002__the_r_0012_0003__ridge(R_0012_0002__THE_R_0012_0003__RIDGE)
      & r_0012_0005__about(R_0012_0005__ABOUT)
      & z_0012_5002(Z_0012_5002)
      & r_0012_0001__Follow(R_0012_0001__FOLLOW)
      & has_arg0(R_0012_0001__FOLLOW,Z_0012_5002)
      & has_r_0012_0004__for__nim(R_0012_0001__FOLLOW,R_0012_0006__TWO_R_0012_0007__MILES)
      & r_0012_0006__two_r_0012_0007__miles(R_0012_0006__TWO_R_0012_0007__MILES)
      & has_qual(R_0012_0006__TWO_R_0012_0007__MILES,R_0012_0005__ABOUT)
      & has_arg1(R_0012_0001__FOLLOW,R_0012_0002__THE_R_0012_0003__RIDGE) ) ).