arc(r_0049_0002__would, r_0049_0004__choose, scope).
arc(r_0049_0004__choose, r_0049_0001__I, arg0).
arc(r_0049_0004__choose, r_0049_0003__always, nim10).
arc(r_0049_0004__choose, r_0049_0005__to_r_0049_0006__live, arg1).
arc(r_0049_0005__to_r_0049_0006__live, r_0049_0001__I, arg0).
arc(r_0049_0005__to_r_0049_0006__live, r_0049_0008__water, r_0049_0007__near_clr23).
arc(r_0049_0010__but, r_0049_0002__would, conj1).
arc(r_0049_0010__but, r_0049_0012__can, conj2).
arc(r_0049_0012__can, r_0049_0013__have, scope).
arc(r_0049_0013__have, r_0049_0011__one, arg0).
arc(r_0049_0013__have, z_000_49_a_alresford_40, arg1).
arc(r_0049_0015__much, r_0049_0014__too, qual42).
arc(z_000_49_a_alresford_40, r_0049_0008__water, r_0049_0016__of).
arc(z_000_49_a_alresford_40, r_0049_0015__much, attrib41).

fof(formula,axiom,
    ? [R_0049_0001__I,R_0049_0003__ALWAYS,R_0049_0008__WATER,R_0049_0005__TO_R_0049_0006__LIVE,R_0049_0002__WOULD_R_0049_0004__CHOOSE,R_0049_0011__ONE,R_0049_0014__TOO,R_0049_0015__MUCH,Z_000_49_A_ALRESFORD_40,R_0049_0012__CAN_R_0049_0013__HAVE,R_0049_0010__BUT] :
      ( r_0049_0001__I(R_0049_0001__I)
      & r_0049_0003__always(R_0049_0003__ALWAYS)
      & r_0049_0008__water(R_0049_0008__WATER)
      & r_0049_0011__one(R_0049_0011__ONE)
      & r_0049_0014__too(R_0049_0014__TOO)
      & r_0049_0010__but(R_0049_0010__BUT)
      & has_conj2(R_0049_0010__BUT,R_0049_0012__CAN_R_0049_0013__HAVE)
      & r_0049_0012__can_r_0049_0013__have(R_0049_0012__CAN_R_0049_0013__HAVE)
      & has_arg1(R_0049_0012__CAN_R_0049_0013__HAVE,Z_000_49_A_ALRESFORD_40)
      & z_000_49_a_alresford_40(Z_000_49_A_ALRESFORD_40)
      & has_attrib41(Z_000_49_A_ALRESFORD_40,R_0049_0015__MUCH)
      & r_0049_0015__much(R_0049_0015__MUCH)
      & has_qual42(R_0049_0015__MUCH,R_0049_0014__TOO)
      & has_r_0049_0016__of(Z_000_49_A_ALRESFORD_40,R_0049_0008__WATER)
      & has_arg0(R_0049_0012__CAN_R_0049_0013__HAVE,R_0049_0011__ONE)
      & has_conj1(R_0049_0010__BUT,R_0049_0002__WOULD_R_0049_0004__CHOOSE)
      & r_0049_0002__would_r_0049_0004__choose(R_0049_0002__WOULD_R_0049_0004__CHOOSE)
      & has_arg1(R_0049_0002__WOULD_R_0049_0004__CHOOSE,R_0049_0005__TO_R_0049_0006__LIVE)
      & r_0049_0005__to_r_0049_0006__live(R_0049_0005__TO_R_0049_0006__LIVE)
      & has_r_0049_0007__near_clr23(R_0049_0005__TO_R_0049_0006__LIVE,R_0049_0008__WATER)
      & has_arg0(R_0049_0005__TO_R_0049_0006__LIVE,R_0049_0001__I)
      & has_nim10(R_0049_0002__WOULD_R_0049_0004__CHOOSE,R_0049_0003__ALWAYS)
      & has_arg0(R_0049_0002__WOULD_R_0049_0004__CHOOSE,R_0049_0001__I) ) ).

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