TSPC 29_a_beeton

29_a_beeton_1861
but where the wine is bottled in the house, he will find his account, not only in keeping them separate, but in rinsing them well, and even washing them with clean water as soon as they are empty.

arc(r_0029_0001__but_r_0029_0012__will, r_0029_0024__but, scope).
arc(r_0029_0002__where, r_0029_0001__but_r_0029_0012__will, scope).
arc(r_0029_0002__where, r_0029_0005__is, restriction).
arc(r_0029_0005__is, r_0029_0006__bottled, scope).
arc(r_0029_0006__bottled, r_0029_0003__the_r_0029_0004__wine, arg1).
arc(r_0029_0006__bottled, r_0029_0008__the_r_0029_0009__house, r_0029_0007__in_nim23).
arc(r_0029_0006__bottled, z_000_29_a_beeton_1861_16, arg0).
arc(r_0029_0013__find, r_0029_0011__he, arg0).
arc(r_0029_0013__find, r_0029_0015__account, arg1).
arc(r_0029_0013__find, r_0029_0020__keeping, r_0029_0017__not_r_0029_0018__only_r_0029_0019__in_nim55).
arc(r_0029_0015__account, r_0029_0011__he, gen).
arc(r_0029_0020__keeping, r_0029_0021__them, arg1).
arc(r_0029_0020__keeping, r_0029_0022__separate, prd).
arc(r_0029_0020__keeping, z_000_29_a_beeton_1861_55, arg0).
arc(r_0029_0024__but, r_0029_0013__find, conj1).
arc(r_0029_0024__but, z_000_29_a_beeton_1861_69, conj2).
arc(r_0029_0026__rinsing, r_0029_0027__them, arg1).
arc(r_0029_0026__rinsing, r_0029_0028__well, nim81).
arc(r_0029_0026__rinsing, z_000_29_a_beeton_1861_73, arg0).
arc(r_0029_0030__and, r_0029_0026__rinsing, conj1).
arc(r_0029_0030__and, r_0029_0037__as_soon_as, conj2).
arc(r_0029_0032__washing, r_0029_0031__even, nim90).
arc(r_0029_0032__washing, r_0029_0033__them, arg1).
arc(r_0029_0032__washing, r_0029_0036__water, r_0029_0034__with_nim101).
arc(r_0029_0032__washing, z_000_29_a_beeton_1861_73, arg0).
arc(r_0029_0036__water, r_0029_0035__clean, attrib102).
arc(r_0029_0037__as_soon_as, r_0029_0032__washing, scope).
arc(r_0029_0037__as_soon_as, r_0029_0039__are, restriction).
arc(r_0029_0039__are, r_0029_0038__they, arg0).
arc(r_0029_0039__are, r_0029_0040__empty, prd).
arc(z_000_29_a_beeton_1861_69, r_0029_0011__he, arg0).
arc(z_000_29_a_beeton_1861_69, r_0029_0030__and, r_0029_0025__in_nim73).

fof(formula,axiom,
    ? [R_0029_0011__HE,R_0029_0015__ACCOUNT,R_0029_0021__THEM,R_0029_0022__SEPARATE,Z_000_29_A_BEETON_1861_55,R_0029_0020__KEEPING,R_0029_0013__FIND,R_0029_0027__THEM,R_0029_0028__WELL,Z_000_29_A_BEETON_1861_73,R_0029_0026__RINSING,R_0029_0031__EVEN,R_0029_0033__THEM,R_0029_0035__CLEAN,R_0029_0036__WATER,R_0029_0032__WASHING,R_0029_0038__THEY,R_0029_0040__EMPTY,R_0029_0039__ARE,R_0029_0037__AS_SOON_AS,R_0029_0030__AND,Z_000_29_A_BEETON_1861_69,R_0029_0024__BUT,R_0029_0001__BUT_R_0029_0012__WILL,R_0029_0003__THE_R_0029_0004__WINE,R_0029_0008__THE_R_0029_0009__HOUSE,Z_000_29_A_BEETON_1861_16,R_0029_0005__IS_R_0029_0006__BOTTLED,R_0029_0002__WHERE] :
      ( r_0029_0003__the_r_0029_0004__wine(R_0029_0003__THE_R_0029_0004__WINE)
      & r_0029_0008__the_r_0029_0009__house(R_0029_0008__THE_R_0029_0009__HOUSE)
      & r_0029_0011__he(R_0029_0011__HE)
      & r_0029_0021__them(R_0029_0021__THEM)
      & r_0029_0022__separate(R_0029_0022__SEPARATE)
      & r_0029_0027__them(R_0029_0027__THEM)
      & r_0029_0028__well(R_0029_0028__WELL)
      & r_0029_0031__even(R_0029_0031__EVEN)
      & r_0029_0033__them(R_0029_0033__THEM)
      & r_0029_0035__clean(R_0029_0035__CLEAN)
      & r_0029_0038__they(R_0029_0038__THEY)
      & r_0029_0040__empty(R_0029_0040__EMPTY)
      & z_000_29_a_beeton_1861_16(Z_000_29_A_BEETON_1861_16)
      & z_000_29_a_beeton_1861_55(Z_000_29_A_BEETON_1861_55)
      & z_000_29_a_beeton_1861_73(Z_000_29_A_BEETON_1861_73)
      & r_0029_0002__where(R_0029_0002__WHERE)
      & has_conj1(R_0029_0002__WHERE,R_0029_0005__IS_R_0029_0006__BOTTLED)
      & r_0029_0005__is_r_0029_0006__bottled(R_0029_0005__IS_R_0029_0006__BOTTLED)
      & has_arg0(R_0029_0005__IS_R_0029_0006__BOTTLED,Z_000_29_A_BEETON_1861_16)
      & has_r_0029_0007__in_nim23(R_0029_0005__IS_R_0029_0006__BOTTLED,R_0029_0008__THE_R_0029_0009__HOUSE)
      & has_arg1(R_0029_0005__IS_R_0029_0006__BOTTLED,R_0029_0003__THE_R_0029_0004__WINE)
      & has_conj2(R_0029_0002__WHERE,R_0029_0001__BUT_R_0029_0012__WILL)
      & r_0029_0001__but_r_0029_0012__will(R_0029_0001__BUT_R_0029_0012__WILL)
      & has_keep_scope(R_0029_0001__BUT_R_0029_0012__WILL,R_0029_0024__BUT)
      & r_0029_0024__but(R_0029_0024__BUT)
      & has_conj2(R_0029_0024__BUT,Z_000_29_A_BEETON_1861_69)
      & z_000_29_a_beeton_1861_69(Z_000_29_A_BEETON_1861_69)
      & has_r_0029_0025__in_nim73(Z_000_29_A_BEETON_1861_69,R_0029_0030__AND)
      & r_0029_0030__and(R_0029_0030__AND)
      & has_conj2(R_0029_0030__AND,R_0029_0037__AS_SOON_AS)
      & r_0029_0037__as_soon_as(R_0029_0037__AS_SOON_AS)
      & has_conj1(R_0029_0037__AS_SOON_AS,R_0029_0039__ARE)
      & r_0029_0039__are(R_0029_0039__ARE)
      & has_prd(R_0029_0039__ARE,R_0029_0040__EMPTY)
      & has_arg0(R_0029_0039__ARE,R_0029_0038__THEY)
      & has_conj2(R_0029_0037__AS_SOON_AS,R_0029_0032__WASHING)
      & r_0029_0032__washing(R_0029_0032__WASHING)
      & has_arg0(R_0029_0032__WASHING,Z_000_29_A_BEETON_1861_73)
      & has_r_0029_0034__with_nim101(R_0029_0032__WASHING,R_0029_0036__WATER)
      & r_0029_0036__water(R_0029_0036__WATER)
      & has_attrib102(R_0029_0036__WATER,R_0029_0035__CLEAN)
      & has_arg1(R_0029_0032__WASHING,R_0029_0033__THEM)
      & has_nim90(R_0029_0032__WASHING,R_0029_0031__EVEN)
      & has_conj1(R_0029_0030__AND,R_0029_0026__RINSING)
      & r_0029_0026__rinsing(R_0029_0026__RINSING)
      & has_arg0(R_0029_0026__RINSING,Z_000_29_A_BEETON_1861_73)
      & has_nim81(R_0029_0026__RINSING,R_0029_0028__WELL)
      & has_arg1(R_0029_0026__RINSING,R_0029_0027__THEM)
      & has_arg0(Z_000_29_A_BEETON_1861_69,R_0029_0011__HE)
      & has_conj1(R_0029_0024__BUT,R_0029_0013__FIND)
      & r_0029_0013__find(R_0029_0013__FIND)
      & has_r_0029_0017__not_r_0029_0018__only_r_0029_0019__in_nim55(R_0029_0013__FIND,R_0029_0020__KEEPING)
      & r_0029_0020__keeping(R_0029_0020__KEEPING)
      & has_arg0(R_0029_0020__KEEPING,Z_000_29_A_BEETON_1861_55)
      & has_prd(R_0029_0020__KEEPING,R_0029_0022__SEPARATE)
      & has_arg1(R_0029_0020__KEEPING,R_0029_0021__THEM)
      & has_arg1(R_0029_0013__FIND,R_0029_0015__ACCOUNT)
      & r_0029_0015__account(R_0029_0015__ACCOUNT)
      & has_gen(R_0029_0015__ACCOUNT,R_0029_0011__HE)
      & has_arg0(R_0029_0013__FIND,R_0029_0011__HE) ) ).

( (IP-MAT (CONJ;_cl_ but;{but})
          (PP-SCON (P-CONN where;{where})
                   (IP-ADV (NP-SBJ;{WINE} (D the;{the})
                                          (N wine;{wine}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ bottled;{bottle})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D the;{the})
                                                   (N house;{house}))))))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (PRO he;{he}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ find;{find})
                                  (NP-OB1 (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                          (N account;{account}))
                                  (PUNC ,)
                                  (PP-NIM (NEG not;{not})
                                          (ADV only;{only})
                                          (P-ROLE in;{in})
                                          (IP-PPL3 (VAG;_Cn.a_ keeping;{keep})
                                                   (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                   (ADJP-PRD (ADJ separate;{separate})))))
                            (PUNC ,)
                            (CONJP (CONJ but;{but})
                                   (ILYR (PP-NIM (P-ROLE in;{in})
                                                 (IP-PPL3 (ILYR (ILYR (VAG;_Tn_ rinsing;{rinse})
                                                                      (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                                      (ADVP-NIM (ADV well;{well})))
                                                                (PUNC ,)
                                                                (CONJP (CONJ and;{and})
                                                                       (ILYR (ADVP-NIM (ADV even;{even}))
                                                                             (VAG;_Tn_ washing;{wash})
                                                                             (NP-OB1;{WINE_BOTTLES} (PRO them;{they}))
                                                                             (PP-NIM (P-ROLE with;{with})
                                                                                     (NP (ADJP (ADJ clean;{clean}))
                                                                                         (N water;{water})))
                                                                             (PP-SCON (P-CONN as_soon_as;{as_soon_as})
                                                                                      (IP-ADV (NP-SBJ;{WINE_BOTTLES} (PRO they;{they}))
                                                                                              (BEP;_La_ are;{be})
                                                                                              (ADJP-PRD (ADJ empty;{empty})))))))))))))
          (PUNC .))
  (ID 29_a_beeton_1861;2165-5))