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

arc(r_0013_0002__will,r_0013_0003__be,scope).
arc(r_0013_0003__be,r_0013_0004__able,scope).
arc(r_0013_0004__able,r_0013_0006__see,scope).
arc(r_0013_0006__see,r_0013_0001__You,arg0).
arc(r_0013_0006__see,r_0013_0007__Garside_r_0013_0008__Fell,arg1).
arc(r_0013_0006__see,r_0013_0010__the_r_0013_0012__distance,r_0013_0009__in__nim).
arc(r_0013_0010__the_r_0013_0012__distance,r_0013_0011__far,attrib).

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,R_0013_0002__WILL_R_0013_0003__BE_R_0013_0004__ABLE_R_0013_0006__SEE] :
      ( 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)
      & r_0013_0002__will_r_0013_0003__be_r_0013_0004__able_r_0013_0006__see(R_0013_0002__WILL_R_0013_0003__BE_R_0013_0004__ABLE_R_0013_0006__SEE)
      & has_r_0013_0009__in__nim(R_0013_0002__WILL_R_0013_0003__BE_R_0013_0004__ABLE_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_attrib(R_0013_0010__THE_R_0013_0012__DISTANCE,R_0013_0011__FAR)
      & has_arg1(R_0013_0002__WILL_R_0013_0003__BE_R_0013_0004__ABLE_R_0013_0006__SEE,R_0013_0007__GARSIDE_R_0013_0008__FELL)
      & has_arg0(R_0013_0002__WILL_R_0013_0003__BE_R_0013_0004__ABLE_R_0013_0006__SEE,R_0013_0001__YOU) ) ).