TSPC 25_a_beeton

25_a_beeton_1861
The butler, we have said, has charge of the contents of the cellars, and it is his duty to keep them in a proper condition, to fine down wine in wood, bottle it off, and store it away in places suited to the sorts.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{BUTLER} (D The;{the})
                                       (N butler;{butler}))
                      (PUNC ,)
                      (PRN (IP-MAT (NP-SBJ (PRO we;{we}))
                                   (HVP;_cat_Ve_ have;{have})
                                   (IP-PPL-CAT (VVN;_Tf_ said;{say}))))
                      (PUNC ,)
                      (HVP;_Tn_ has;{have})
                      (NP-OB1 (N charge;{charge})
                              (PP (P-ROLE of;{of})
                                  (NP;{CELLAR_CONTENTS} (D the;{the})
                                                        (NS contents;{content})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (D the;{the})
                                                                (NS cellars;{cellar})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (BEP;_Ln_ is;{be})
                             (NP-PRD (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                     (N duty;{duty}))
                             (IP-INF-NSBJ (ILYR (ILYR (TO to;{to})
                                                      (VB;__ keep;{keep})
                                                      (NP-OB1;{CELLAR_CONTENTS} (PRO them;{they}))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP (D a;{a})
                                                                  (ADJP (ADJ proper;{proper}))
                                                                  (N condition;{condition}))))
                                                (PUNC ,)
                                                (CONJP (ILYR (TO to;{to})
                                                             (VB;__ fine;{fine})
                                                             (RP down;{down})
                                                             (NP-OB1;{WINE} (N wine;{wine})
                                                                            (PP (P-ROLE in;{in})
                                                                                (NP (N wood;{wood}))))))
                                                (PUNC ,)
                                                (CONJP (ILYR (VB;__ bottle;{bottle})
                                                             (NP-OB1;{WINE} (PRO it;{it}))
                                                             (RP off;{off})))
                                                (PUNC ,)
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (VB;__ store;{store})
                                                             (NP-OB1;{WINE} (PRO it;{it}))
                                                             (ADVP-NIM (ADV away;{away}))
                                                             (PP-NIM (P-ROLE in;{in})
                                                                     (NP (NS places;{place})
                                                                         (IP-PPL (VVN;__ suited;{suit})
                                                                                 (PP-CLR (P-ROLE to;{to})
                                                                                         (NP (D the;{the})
                                                                                             (NS sorts;{sort})))))))))))))
          (PUNC .))
  (ID 25_a_beeton_1861;2165-2))

arc(r_0025_0005__have,r_0025_0006__said,scope).
arc(r_0025_0006__said,r_0025_0004__we,arg0).
arc(r_0025_0008__has,r_0025_0001__The_r_0025_0002__butler,arg0).
arc(r_0025_0008__has,r_0025_0005__have,prn).
arc(r_0025_0008__has,r_0025_0009__charge,arg1).
arc(r_0025_0009__charge,r_0025_0011__the_r_0025_0012__contents,r_0025_0010__of).
arc(r_0025_0011__the_r_0025_0012__contents,r_0025_0014__the_r_0025_0015__cellars,r_0025_0013__of).
arc(r_0025_0017__and,r_0025_0008__has,conj1).
arc(r_0025_0017__and,r_0025_0019__is,conj2).
arc(r_0025_0019__is,r_0025_0021__duty,prd).
arc(r_0025_0019__is,r_0025_0041__and,arg0).
arc(r_0025_0021__duty,r_0025_0001__The_r_0025_0002__butler,gen).
arc(r_0025_0023__keep,r_0025_0011__the_r_0025_0012__contents,arg1).
arc(r_0025_0023__keep,r_0025_0026__a_r_0025_0028__condition,r_0025_0025__in__nim).
arc(r_0025_0023__keep,z_0025_5010,arg0).
arc(r_0025_0026__a_r_0025_0028__condition,r_0025_0027__proper,attrib).
arc(r_0025_0031__fine_r_0025_0032__down,r_0025_0033__wine,arg1).
arc(r_0025_0031__fine_r_0025_0032__down,z_0025_5010,arg0).
arc(r_0025_0033__wine,r_0025_0035__wood,r_0025_0034__in).
arc(r_0025_0037__bottle_r_0025_0039__off,r_0025_0033__wine,arg1).
arc(r_0025_0037__bottle_r_0025_0039__off,z_0025_5010,arg0).
arc(r_0025_0041__and,r_0025_0023__keep,conj1).
arc(r_0025_0041__and,r_0025_0031__fine_r_0025_0032__down,conj2).
arc(r_0025_0041__and,r_0025_0037__bottle_r_0025_0039__off,conj3).
arc(r_0025_0041__and,r_0025_0042__store,conj4).
arc(r_0025_0042__store,r_0025_0033__wine,arg1).
arc(r_0025_0042__store,r_0025_0044__away,nim).
arc(r_0025_0042__store,r_0025_0046__places,r_0025_0045__in__nim).
arc(r_0025_0042__store,z_0025_5010,arg0).
arc(r_0025_0047__suited,r_0025_0046__places,inv_arg0).
arc(r_0025_0047__suited,r_0025_0049__the_r_0025_0050__sorts,r_0025_0048__to__clr).

fof(formula,axiom,
    ? [R_0025_0001__THE_R_0025_0002__BUTLER,R_0025_0004__WE,R_0025_0005__HAVE_R_0025_0006__SAID,R_0025_0014__THE_R_0025_0015__CELLARS,R_0025_0011__THE_R_0025_0012__CONTENTS,R_0025_0009__CHARGE,R_0025_0008__HAS,R_0025_0021__DUTY,R_0025_0027__PROPER,R_0025_0026__A_R_0025_0028__CONDITION,Z_0025_5010,R_0025_0023__KEEP,R_0025_0035__WOOD,R_0025_0033__WINE,R_0025_0031__FINE_R_0025_0032__DOWN,R_0025_0037__BOTTLE_R_0025_0039__OFF,R_0025_0044__AWAY,R_0025_0049__THE_R_0025_0050__SORTS,R_0025_0047__SUITED,R_0025_0046__PLACES,R_0025_0042__STORE,R_0025_0041__AND,R_0025_0019__IS,R_0025_0017__AND] :
      ( r_0025_0001__The_r_0025_0002__butler(R_0025_0001__THE_R_0025_0002__BUTLER)
      & r_0025_0004__we(R_0025_0004__WE)
      & r_0025_0014__the_r_0025_0015__cellars(R_0025_0014__THE_R_0025_0015__CELLARS)
      & r_0025_0027__proper(R_0025_0027__PROPER)
      & r_0025_0035__wood(R_0025_0035__WOOD)
      & r_0025_0044__away(R_0025_0044__AWAY)
      & r_0025_0049__the_r_0025_0050__sorts(R_0025_0049__THE_R_0025_0050__SORTS)
      & z_0025_5010(Z_0025_5010)
      & r_0025_0017__and(R_0025_0017__AND)
      & has_conj2(R_0025_0017__AND,R_0025_0019__IS)
      & r_0025_0019__is(R_0025_0019__IS)
      & has_arg0(R_0025_0019__IS,R_0025_0041__AND)
      & r_0025_0041__and(R_0025_0041__AND)
      & has_conj4(R_0025_0041__AND,R_0025_0042__STORE)
      & r_0025_0042__store(R_0025_0042__STORE)
      & has_arg0(R_0025_0042__STORE,Z_0025_5010)
      & has_r_0025_0045__in__nim(R_0025_0042__STORE,R_0025_0046__PLACES)
      & r_0025_0046__places(R_0025_0046__PLACES)
      & has_inv_arg0(R_0025_0046__PLACES,R_0025_0047__SUITED)
      & r_0025_0047__suited(R_0025_0047__SUITED)
      & has_r_0025_0048__to__clr(R_0025_0047__SUITED,R_0025_0049__THE_R_0025_0050__SORTS)
      & has_nim(R_0025_0042__STORE,R_0025_0044__AWAY)
      & has_arg1(R_0025_0042__STORE,R_0025_0033__WINE)
      & r_0025_0033__wine(R_0025_0033__WINE)
      & has_r_0025_0034__in(R_0025_0033__WINE,R_0025_0035__WOOD)
      & has_conj3(R_0025_0041__AND,R_0025_0037__BOTTLE_R_0025_0039__OFF)
      & r_0025_0037__bottle_r_0025_0039__off(R_0025_0037__BOTTLE_R_0025_0039__OFF)
      & has_arg0(R_0025_0037__BOTTLE_R_0025_0039__OFF,Z_0025_5010)
      & has_arg1(R_0025_0037__BOTTLE_R_0025_0039__OFF,R_0025_0033__WINE)
      & has_conj2(R_0025_0041__AND,R_0025_0031__FINE_R_0025_0032__DOWN)
      & r_0025_0031__fine_r_0025_0032__down(R_0025_0031__FINE_R_0025_0032__DOWN)
      & has_arg0(R_0025_0031__FINE_R_0025_0032__DOWN,Z_0025_5010)
      & has_arg1(R_0025_0031__FINE_R_0025_0032__DOWN,R_0025_0033__WINE)
      & has_conj1(R_0025_0041__AND,R_0025_0023__KEEP)
      & r_0025_0023__keep(R_0025_0023__KEEP)
      & has_arg0(R_0025_0023__KEEP,Z_0025_5010)
      & has_r_0025_0025__in__nim(R_0025_0023__KEEP,R_0025_0026__A_R_0025_0028__CONDITION)
      & r_0025_0026__a_r_0025_0028__condition(R_0025_0026__A_R_0025_0028__CONDITION)
      & has_attrib(R_0025_0026__A_R_0025_0028__CONDITION,R_0025_0027__PROPER)
      & has_arg1(R_0025_0023__KEEP,R_0025_0011__THE_R_0025_0012__CONTENTS)
      & r_0025_0011__the_r_0025_0012__contents(R_0025_0011__THE_R_0025_0012__CONTENTS)
      & has_r_0025_0013__of(R_0025_0011__THE_R_0025_0012__CONTENTS,R_0025_0014__THE_R_0025_0015__CELLARS)
      & has_prd(R_0025_0019__IS,R_0025_0021__DUTY)
      & r_0025_0021__duty(R_0025_0021__DUTY)
      & has_gen(R_0025_0021__DUTY,R_0025_0001__THE_R_0025_0002__BUTLER)
      & has_conj1(R_0025_0017__AND,R_0025_0008__HAS)
      & r_0025_0008__has(R_0025_0008__HAS)
      & has_arg1(R_0025_0008__HAS,R_0025_0009__CHARGE)
      & r_0025_0009__charge(R_0025_0009__CHARGE)
      & has_r_0025_0010__of(R_0025_0009__CHARGE,R_0025_0011__THE_R_0025_0012__CONTENTS)
      & has_prn(R_0025_0008__HAS,R_0025_0005__HAVE_R_0025_0006__SAID)
      & r_0025_0005__have_r_0025_0006__said(R_0025_0005__HAVE_R_0025_0006__SAID)
      & has_arg0(R_0025_0005__HAVE_R_0025_0006__SAID,R_0025_0004__WE)
      & has_arg0(R_0025_0008__HAS,R_0025_0001__THE_R_0025_0002__BUTLER) ) ).