( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (ADVP-NIM (ADV always;{always}))
                                  (VB;_Tt_ choose;{choose})
                                  (IP-INF-OB1 (TO to;{to})
                                              (VB;_Ipr_ live;{live[near]})
                                              (PP-CLR (P-ROLE near;{near})
                                                      (NP;{WATER} (N water;{water}))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO one;{one}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (HV;_Tn_ have;{have})
                                         (NP-OB1 (ADJP (ADVP (ADV too;{too}))
                                                       (ADJ much;{much}))
                                                 (PP (P-ROLE of;{of})
                                                     (NP;{WATER} (PRO it;{it}))))))))
          (PUNC .))
  (ID 48_a_alresford))

arc(r_0048_0002__would,r_0048_0004__choose,scope).
arc(r_0048_0004__choose,r_0048_0001__I,arg0).
arc(r_0048_0004__choose,r_0048_0003__always,nim).
arc(r_0048_0004__choose,r_0048_0006__live_r_0048_0007__near,arg1).
arc(r_0048_0006__live_r_0048_0007__near,r_0048_0001__I,arg0).
arc(r_0048_0006__live_r_0048_0007__near,r_0048_0008__water,arg1).
arc(r_0048_0010__but,r_0048_0002__would,conj1).
arc(r_0048_0010__but,r_0048_0012__can,conj2).
arc(r_0048_0012__can,r_0048_0013__have,scope).
arc(r_0048_0013__have,r_0048_0011__one,arg0).
arc(r_0048_0013__have,z_0048_5013,arg1).
arc(r_0048_0015__much,r_0048_0014__too,qual).
arc(z_0048_5013,r_0048_0008__water,r_0048_0016__of).
arc(z_0048_5013,r_0048_0015__much,attrib).

fof(formula,axiom,
    ? [R_0048_0001__I,R_0048_0003__ALWAYS,R_0048_0008__WATER,R_0048_0006__LIVE_R_0048_0007__NEAR,R_0048_0002__WOULD_R_0048_0004__CHOOSE,R_0048_0011__ONE,R_0048_0014__TOO,R_0048_0015__MUCH,Z_0048_5013,R_0048_0012__CAN_R_0048_0013__HAVE,R_0048_0010__BUT] :
      ( r_0048_0001__I(R_0048_0001__I)
      & r_0048_0003__always(R_0048_0003__ALWAYS)
      & r_0048_0008__water(R_0048_0008__WATER)
      & r_0048_0011__one(R_0048_0011__ONE)
      & r_0048_0014__too(R_0048_0014__TOO)
      & r_0048_0010__but(R_0048_0010__BUT)
      & has_conj2(R_0048_0010__BUT,R_0048_0012__CAN_R_0048_0013__HAVE)
      & r_0048_0012__can_r_0048_0013__have(R_0048_0012__CAN_R_0048_0013__HAVE)
      & has_arg1(R_0048_0012__CAN_R_0048_0013__HAVE,Z_0048_5013)
      & z_0048_5013(Z_0048_5013)
      & has_attrib(Z_0048_5013,R_0048_0015__MUCH)
      & r_0048_0015__much(R_0048_0015__MUCH)
      & has_qual(R_0048_0015__MUCH,R_0048_0014__TOO)
      & has_r_0048_0016__of(Z_0048_5013,R_0048_0008__WATER)
      & has_arg0(R_0048_0012__CAN_R_0048_0013__HAVE,R_0048_0011__ONE)
      & has_conj1(R_0048_0010__BUT,R_0048_0002__WOULD_R_0048_0004__CHOOSE)
      & r_0048_0002__would_r_0048_0004__choose(R_0048_0002__WOULD_R_0048_0004__CHOOSE)
      & has_arg1(R_0048_0002__WOULD_R_0048_0004__CHOOSE,R_0048_0006__LIVE_R_0048_0007__NEAR)
      & r_0048_0006__live_r_0048_0007__near(R_0048_0006__LIVE_R_0048_0007__NEAR)
      & has_arg1(R_0048_0006__LIVE_R_0048_0007__NEAR,R_0048_0008__WATER)
      & has_arg0(R_0048_0006__LIVE_R_0048_0007__NEAR,R_0048_0001__I)
      & has_nim(R_0048_0002__WOULD_R_0048_0004__CHOOSE,R_0048_0003__ALWAYS)
      & has_arg0(R_0048_0002__WOULD_R_0048_0004__CHOOSE,R_0048_0001__I) ) ).