TSPC 17_a_beeton

17_a_beeton_1861
But the real duties of the butler are in the wine-cellar; there he should be competent to advise his master as to the price and quality of the wine to be laid in; “fine,” bottle, cork, and seal it, and place it in the binns.

( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ real;{real}))
                  (NS duties;{duty})
                  (PP (P-ROLE of;{of})
                      (NP;{BUTLER} (D the;{the})
                                   (N butler;{butler}))))
          (BEP;_Ipr_ are;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N wine_<hyphen>_cellar;{wine_cellar})))
          (PUNC ;)
          (PRN (IP-MAT (ADVP-NIM (ADV there;{there}))
                       (NP-SBJ;{BUTLER} (PRO he;{he}))
                       (MD;_cat_Vi_ should;{shall})
                       (IP-INF-CAT (BE;_La_ be;{be})
                                   (ADJP-PRD (ADJ competent;{competent})
                                             (IP-INF (TO to;{to})
                                                     (ILYR (ILYR (VB;_Tn.pr_ advise;{advise[as_to]})
                                                                 (NP-OB1 (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                                                         (N master;{master}))
                                                                 (PP-CLR (P-ROLE as_to;{as_to})
                                                                         (NP (D the;{the})
                                                                             (NLYR (NLYR (N price;{price}))
                                                                                   (CONJP (CONJ and;{and})
                                                                                          (NLYR (N quality;{quality}))))
                                                                             (PP (P-ROLE of;{of})
                                                                                 (NP;{WINE} (D the;{the})
                                                                                            (N wine;{wine})
                                                                                            (IP-INF-REL (NP-SBJ *T*)
                                                                                                        (TO to;{to})
                                                                                                        (BE;_cat_VePASS_ be;{be})
                                                                                                        (IP-PPL-CAT (NP-LGS *)
                                                                                                                    (VVN;_phr_Vn<=>p_ laid;{lay[in]})
                                                                                                                    (RP in;{in}))))))))
                                                           (PUNC ;)
                                                           (CONJP (ILYR (ILYR (PULQ <ldquo>)
                                                                              (ILYR (VB;_Tn_ fine;{fine}))
                                                                              (PUNC ,)
                                                                              (PURQ <rdquo>)
                                                                              (CONJP (ILYR (VB;_Tn_ bottle;{bottle})))
                                                                              (PUNC ,)
                                                                              (CONJP (ILYR (VB;_Tn_ cork;{cork})))
                                                                              (PUNC ,)
                                                                              (CONJP (CONJ and;{and})
                                                                                     (ILYR (VB;_Tn_ seal;{seal}))))
                                                                        (NP-OB1;{WINE} (PRO it;{it}))))
                                                           (PUNC ,)
                                                           (CONJP (CONJ and;{and})
                                                                  (ILYR (VB;_Tn.pr_ place;{place[in]})
                                                                        (NP-OB1;{WINE} (PRO it;{it}))
                                                                        (PP-CLR (P-ROLE in;{in})
                                                                                (NP (D the;{the})
                                                                                    (NS binns;{binns})))))))))))
          (PUNC .))
  (ID 17_a_beeton_1861;2163-3))

arc(r_0017_0002__the_r_0017_0004__duties,r_0017_0003__real,attrib).
arc(r_0017_0002__the_r_0017_0004__duties,r_0017_0006__the_r_0017_0007__butler,r_0017_0005__of).
arc(r_0017_0008__are_r_0017_0009__in,r_0017_0002__the_r_0017_0004__duties,arg0).
arc(r_0017_0008__are_r_0017_0009__in,r_0017_0010__the_r_0017_0011__wine__hyphen__cellar,arg1).
arc(r_0017_0008__are_r_0017_0009__in,r_0017_0015__should,prn).
arc(r_0017_0015__should,r_0017_0013__there,nim).
arc(r_0017_0015__should,r_0017_0016__be,scope).
arc(r_0017_0016__be,r_0017_0006__the_r_0017_0007__butler,arg0).
arc(r_0017_0016__be,r_0017_0017__competent,prd).
arc(r_0017_0017__competent,r_0017_0047__and,emb).
arc(r_0017_0019__advise_r_0017_0022__as_to,r_0017_0021__master,arg1).
arc(r_0017_0019__advise_r_0017_0022__as_to,r_0017_0023__the_r_0017_0024__price_r_0017_0025__and_r_0017_0026__quality,arg2).
arc(r_0017_0019__advise_r_0017_0022__as_to,z_0017_5012,arg0).
arc(r_0017_0021__master,r_0017_0006__the_r_0017_0007__butler,gen).
arc(r_0017_0023__the_r_0017_0024__price_r_0017_0025__and_r_0017_0026__quality,r_0017_0028__the_r_0017_0029__wine,r_0017_0027__of).
arc(r_0017_0031__be,r_0017_0032__laid_r_0017_0033__in,scope).
arc(r_0017_0032__laid_r_0017_0033__in,r_0017_0028__the_r_0017_0029__wine,inv_arg1).
arc(r_0017_0032__laid_r_0017_0033__in,z_0017_5020___star_,arg0).
arc(r_0017_0036__fine,r_0017_0028__the_r_0017_0029__wine,arg1).
arc(r_0017_0036__fine,z_0017_5012,arg0).
arc(r_0017_0039__bottle,r_0017_0028__the_r_0017_0029__wine,arg1).
arc(r_0017_0039__bottle,z_0017_5012,arg0).
arc(r_0017_0041__cork,r_0017_0028__the_r_0017_0029__wine,arg1).
arc(r_0017_0041__cork,z_0017_5012,arg0).
arc(r_0017_0043__and,r_0017_0036__fine,conj1).
arc(r_0017_0043__and,r_0017_0039__bottle,conj2).
arc(r_0017_0043__and,r_0017_0041__cork,conj3).
arc(r_0017_0043__and,r_0017_0044__seal,conj4).
arc(r_0017_0044__seal,r_0017_0028__the_r_0017_0029__wine,arg1).
arc(r_0017_0044__seal,z_0017_5012,arg0).
arc(r_0017_0047__and,r_0017_0019__advise_r_0017_0022__as_to,conj1).
arc(r_0017_0047__and,r_0017_0043__and,conj2).
arc(r_0017_0047__and,r_0017_0048__place_r_0017_0050__in,conj3).
arc(r_0017_0048__place_r_0017_0050__in,r_0017_0028__the_r_0017_0029__wine,arg1).
arc(r_0017_0048__place_r_0017_0050__in,r_0017_0051__the_r_0017_0052__binns,arg2).
arc(r_0017_0048__place_r_0017_0050__in,z_0017_5012,arg0).

fof(formula,axiom,
    ? [R_0017_0003__REAL,R_0017_0006__THE_R_0017_0007__BUTLER,R_0017_0002__THE_R_0017_0004__DUTIES,R_0017_0010__THE_R_0017_0011__WINE__HYPHEN__CELLAR,R_0017_0013__THERE,R_0017_0021__MASTER,Z_0017_5020___STAR_,R_0017_0031__BE_R_0017_0032__LAID_R_0017_0033__IN,R_0017_0028__THE_R_0017_0029__WINE,R_0017_0023__THE_R_0017_0024__PRICE_R_0017_0025__AND_R_0017_0026__QUALITY,Z_0017_5012,R_0017_0019__ADVISE_R_0017_0022__AS_TO,R_0017_0036__FINE,R_0017_0039__BOTTLE,R_0017_0041__CORK,R_0017_0044__SEAL,R_0017_0043__AND,R_0017_0051__THE_R_0017_0052__BINNS,R_0017_0048__PLACE_R_0017_0050__IN,R_0017_0047__AND,R_0017_0017__COMPETENT,R_0017_0015__SHOULD_R_0017_0016__BE,R_0017_0008__ARE_R_0017_0009__IN] :
      ( r_0017_0003__real(R_0017_0003__REAL)
      & r_0017_0006__the_r_0017_0007__butler(R_0017_0006__THE_R_0017_0007__BUTLER)
      & r_0017_0010__the_r_0017_0011__wine__hyphen__cellar(R_0017_0010__THE_R_0017_0011__WINE__HYPHEN__CELLAR)
      & r_0017_0013__there(R_0017_0013__THERE)
      & r_0017_0051__the_r_0017_0052__binns(R_0017_0051__THE_R_0017_0052__BINNS)
      & z_0017_5012(Z_0017_5012)
      & z_0017_5020___star_(Z_0017_5020___STAR_)
      & r_0017_0008__are_r_0017_0009__in(R_0017_0008__ARE_R_0017_0009__IN)
      & has_prn(R_0017_0008__ARE_R_0017_0009__IN,R_0017_0015__SHOULD_R_0017_0016__BE)
      & r_0017_0015__should_r_0017_0016__be(R_0017_0015__SHOULD_R_0017_0016__BE)
      & has_prd(R_0017_0015__SHOULD_R_0017_0016__BE,R_0017_0017__COMPETENT)
      & r_0017_0017__competent(R_0017_0017__COMPETENT)
      & has_emb(R_0017_0017__COMPETENT,R_0017_0047__AND)
      & r_0017_0047__and(R_0017_0047__AND)
      & has_conj3(R_0017_0047__AND,R_0017_0048__PLACE_R_0017_0050__IN)
      & r_0017_0048__place_r_0017_0050__in(R_0017_0048__PLACE_R_0017_0050__IN)
      & has_arg0(R_0017_0048__PLACE_R_0017_0050__IN,Z_0017_5012)
      & has_arg2(R_0017_0048__PLACE_R_0017_0050__IN,R_0017_0051__THE_R_0017_0052__BINNS)
      & has_arg1(R_0017_0048__PLACE_R_0017_0050__IN,R_0017_0028__THE_R_0017_0029__WINE)
      & r_0017_0028__the_r_0017_0029__wine(R_0017_0028__THE_R_0017_0029__WINE)
      & has_inv_arg1(R_0017_0028__THE_R_0017_0029__WINE,R_0017_0031__BE_R_0017_0032__LAID_R_0017_0033__IN)
      & r_0017_0031__be_r_0017_0032__laid_r_0017_0033__in(R_0017_0031__BE_R_0017_0032__LAID_R_0017_0033__IN)
      & has_arg0(R_0017_0031__BE_R_0017_0032__LAID_R_0017_0033__IN,Z_0017_5020___STAR_)
      & has_conj2(R_0017_0047__AND,R_0017_0043__AND)
      & r_0017_0043__and(R_0017_0043__AND)
      & has_conj4(R_0017_0043__AND,R_0017_0044__SEAL)
      & r_0017_0044__seal(R_0017_0044__SEAL)
      & has_arg0(R_0017_0044__SEAL,Z_0017_5012)
      & has_arg1(R_0017_0044__SEAL,R_0017_0028__THE_R_0017_0029__WINE)
      & has_conj3(R_0017_0043__AND,R_0017_0041__CORK)
      & r_0017_0041__cork(R_0017_0041__CORK)
      & has_arg0(R_0017_0041__CORK,Z_0017_5012)
      & has_arg1(R_0017_0041__CORK,R_0017_0028__THE_R_0017_0029__WINE)
      & has_conj2(R_0017_0043__AND,R_0017_0039__BOTTLE)
      & r_0017_0039__bottle(R_0017_0039__BOTTLE)
      & has_arg0(R_0017_0039__BOTTLE,Z_0017_5012)
      & has_arg1(R_0017_0039__BOTTLE,R_0017_0028__THE_R_0017_0029__WINE)
      & has_conj1(R_0017_0043__AND,R_0017_0036__FINE)
      & r_0017_0036__fine(R_0017_0036__FINE)
      & has_arg0(R_0017_0036__FINE,Z_0017_5012)
      & has_arg1(R_0017_0036__FINE,R_0017_0028__THE_R_0017_0029__WINE)
      & has_conj1(R_0017_0047__AND,R_0017_0019__ADVISE_R_0017_0022__AS_TO)
      & r_0017_0019__advise_r_0017_0022__as_to(R_0017_0019__ADVISE_R_0017_0022__AS_TO)
      & has_arg0(R_0017_0019__ADVISE_R_0017_0022__AS_TO,Z_0017_5012)
      & has_arg2(R_0017_0019__ADVISE_R_0017_0022__AS_TO,R_0017_0023__THE_R_0017_0024__PRICE_R_0017_0025__AND_R_0017_0026__QUALITY)
      & r_0017_0023__the_r_0017_0024__price_r_0017_0025__and_r_0017_0026__quality(R_0017_0023__THE_R_0017_0024__PRICE_R_0017_0025__AND_R_0017_0026__QUALITY)
      & has_r_0017_0027__of(R_0017_0023__THE_R_0017_0024__PRICE_R_0017_0025__AND_R_0017_0026__QUALITY,R_0017_0028__THE_R_0017_0029__WINE)
      & has_arg1(R_0017_0019__ADVISE_R_0017_0022__AS_TO,R_0017_0021__MASTER)
      & r_0017_0021__master(R_0017_0021__MASTER)
      & has_gen(R_0017_0021__MASTER,R_0017_0006__THE_R_0017_0007__BUTLER)
      & has_arg0(R_0017_0015__SHOULD_R_0017_0016__BE,R_0017_0006__THE_R_0017_0007__BUTLER)
      & has_nim(R_0017_0015__SHOULD_R_0017_0016__BE,R_0017_0013__THERE)
      & has_arg1(R_0017_0008__ARE_R_0017_0009__IN,R_0017_0010__THE_R_0017_0011__WINE__HYPHEN__CELLAR)
      & has_arg0(R_0017_0008__ARE_R_0017_0009__IN,R_0017_0002__THE_R_0017_0004__DUTIES)
      & r_0017_0002__the_r_0017_0004__duties(R_0017_0002__THE_R_0017_0004__DUTIES)
      & has_r_0017_0005__of(R_0017_0002__THE_R_0017_0004__DUTIES,R_0017_0006__THE_R_0017_0007__BUTLER)
      & has_attrib(R_0017_0002__THE_R_0017_0004__DUTIES,R_0017_0003__REAL) ) ).