arc(r_0013_0002__will, r_0013_0003__be, scope).
arc(r_0013_0003__be, r_0013_0001__You, arg0).
arc(r_0013_0003__be, r_0013_0004__able, prd).
arc(r_0013_0004__able, r_0013_0005__to_r_0013_0006__see, emb13).
arc(r_0013_0005__to_r_0013_0006__see, r_0013_0007__Garside_r_0013_0008__Fell, arg1).
arc(r_0013_0005__to_r_0013_0006__see, r_0013_0010__the_r_0013_0012__distance, r_0013_0009__in_nim26).
arc(r_0013_0005__to_r_0013_0006__see, z_000_13_a_maptext_13, arg0).
arc(r_0013_0010__the_r_0013_0012__distance, r_0013_0011__far, attrib29).

fof(formula,axiom,
    ? [R_0013_0001__YOU,R_0013_0007__GARSIDE_R_0013_0008__FELL,R_0013_0011__FAR,R_0013_0010__THE_R_0013_0012__DISTANCE,Z_000_13_A_MAPTEXT_13,R_0013_0005__TO_R_0013_0006__SEE,R_0013_0004__ABLE,R_0013_0002__WILL_R_0013_0003__BE] :
      ( r_0013_0001__You(R_0013_0001__YOU)
      & r_0013_0007__Garside_r_0013_0008__Fell(R_0013_0007__GARSIDE_R_0013_0008__FELL)
      & r_0013_0011__far(R_0013_0011__FAR)
      & z_000_13_a_maptext_13(Z_000_13_A_MAPTEXT_13)
      & r_0013_0002__will_r_0013_0003__be(R_0013_0002__WILL_R_0013_0003__BE)
      & has_prd(R_0013_0002__WILL_R_0013_0003__BE,R_0013_0004__ABLE)
      & r_0013_0004__able(R_0013_0004__ABLE)
      & has_emb13(R_0013_0004__ABLE,R_0013_0005__TO_R_0013_0006__SEE)
      & r_0013_0005__to_r_0013_0006__see(R_0013_0005__TO_R_0013_0006__SEE)
      & has_arg0(R_0013_0005__TO_R_0013_0006__SEE,Z_000_13_A_MAPTEXT_13)
      & has_r_0013_0009__in_nim26(R_0013_0005__TO_R_0013_0006__SEE,R_0013_0010__THE_R_0013_0012__DISTANCE)
      & r_0013_0010__the_r_0013_0012__distance(R_0013_0010__THE_R_0013_0012__DISTANCE)
      & has_attrib29(R_0013_0010__THE_R_0013_0012__DISTANCE,R_0013_0011__FAR)
      & has_arg1(R_0013_0005__TO_R_0013_0006__SEE,R_0013_0007__GARSIDE_R_0013_0008__FELL)
      & has_arg0(R_0013_0002__WILL_R_0013_0003__BE,R_0013_0001__YOU) ) ).

( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ;_cat_ able;{able})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn_ see;{see})
                                        (NP-OB1 (NPR Garside;{Garside})
                                                (NPR Fell;{Fell}))
                                        (PP-NIM (P-ROLE in;{in})
                                                (NP (D the;{the})
                                                    (ADJP (ADJ far;{far}))
                                                    (N distance;{distance}))))))
          (PUNC .))
  (ID 13_a_maptext))