TSPC 23_a_beeton

23_a_beeton_1861
the butler should make it his business to understand the proper treatment of the different wines under his charge, which he can easily do from the wine-merchant, and faithfully attend to it;

arc(r_0023_0003__should, r_0023_0030__and, scope).
arc(r_0023_0004__make, r_0023_0001__the_r_0023_0002__butler, arg0).
arc(r_0023_0004__make, r_0023_0007__business, prd).
arc(r_0023_0004__make, r_0023_0008__to_r_0023_0009__understand, arg1).
arc(r_0023_0007__business, r_0023_0001__the_r_0023_0002__butler, gen).
arc(r_0023_0008__to_r_0023_0009__understand, r_0023_0010__the_r_0023_0012__treatment, arg1).
arc(r_0023_0008__to_r_0023_0009__understand, z_000_23_a_beeton_1861_14, arg0).
arc(r_0023_0008__to_r_0023_0009__understand, z_000_23_a_beeton_1861_58, nim58).
arc(r_0023_0010__the_r_0023_0012__treatment, r_0023_0011__proper, attrib31).
arc(r_0023_0010__the_r_0023_0012__treatment, r_0023_0014__the_r_0023_0016__wines, r_0023_0013__of).
arc(r_0023_0014__the_r_0023_0016__wines, r_0023_0015__different, attrib42).
arc(r_0023_0014__the_r_0023_0016__wines, r_0023_0019__charge, r_0023_0017__under).
arc(r_0023_0019__charge, r_0023_0001__the_r_0023_0002__butler, gen).
arc(r_0023_0023__can, r_0023_0025__do, scope).
arc(r_0023_0025__do, r_0023_0001__the_r_0023_0002__butler, arg0).
arc(r_0023_0025__do, r_0023_0024__easily, nim71).
arc(r_0023_0025__do, r_0023_0027__the_r_0023_0028__wine__hyphen__merchant, r_0023_0026__from_nim79).
arc(r_0023_0025__do, z_000_23_a_beeton_1861_58, arg1).
arc(r_0023_0030__and, r_0023_0004__make, conj1).
arc(r_0023_0030__and, r_0023_0032__attend, conj2).
arc(r_0023_0032__attend, r_0023_0001__the_r_0023_0002__butler, arg0).
arc(r_0023_0032__attend, r_0023_0008__to_r_0023_0009__understand, r_0023_0033__to_clr98).
arc(r_0023_0032__attend, r_0023_0031__faithfully, nim90).

fof(formula,axiom,
    ? [R_0023_0001__THE_R_0023_0002__BUTLER,R_0023_0024__EASILY,R_0023_0027__THE_R_0023_0028__WINE__HYPHEN__MERCHANT,Z_000_23_A_BEETON_1861_58,R_0023_0023__CAN_R_0023_0025__DO,R_0023_0007__BUSINESS,R_0023_0011__PROPER,R_0023_0015__DIFFERENT,R_0023_0019__CHARGE,R_0023_0014__THE_R_0023_0016__WINES,R_0023_0010__THE_R_0023_0012__TREATMENT,Z_000_23_A_BEETON_1861_14,R_0023_0008__TO_R_0023_0009__UNDERSTAND,R_0023_0004__MAKE,R_0023_0031__FAITHFULLY,R_0023_0032__ATTEND,R_0023_0030__AND,R_0023_0003__SHOULD] :
      ( r_0023_0001__the_r_0023_0002__butler(R_0023_0001__THE_R_0023_0002__BUTLER)
      & r_0023_0011__proper(R_0023_0011__PROPER)
      & r_0023_0015__different(R_0023_0015__DIFFERENT)
      & r_0023_0024__easily(R_0023_0024__EASILY)
      & r_0023_0027__the_r_0023_0028__wine__hyphen__merchant(R_0023_0027__THE_R_0023_0028__WINE__HYPHEN__MERCHANT)
      & r_0023_0031__faithfully(R_0023_0031__FAITHFULLY)
      & z_000_23_a_beeton_1861_14(Z_000_23_A_BEETON_1861_14)
      & z_000_23_a_beeton_1861_58(Z_000_23_A_BEETON_1861_58)
      & r_0023_0003__should(R_0023_0003__SHOULD)
      & has_keep_scope(R_0023_0003__SHOULD,R_0023_0030__AND)
      & r_0023_0030__and(R_0023_0030__AND)
      & has_conj2(R_0023_0030__AND,R_0023_0032__ATTEND)
      & r_0023_0032__attend(R_0023_0032__ATTEND)
      & has_nim90(R_0023_0032__ATTEND,R_0023_0031__FAITHFULLY)
      & has_r_0023_0033__to_clr98(R_0023_0032__ATTEND,R_0023_0008__TO_R_0023_0009__UNDERSTAND)
      & r_0023_0008__to_r_0023_0009__understand(R_0023_0008__TO_R_0023_0009__UNDERSTAND)
      & has_nim58(R_0023_0008__TO_R_0023_0009__UNDERSTAND,Z_000_23_A_BEETON_1861_58)
      & has_arg0(R_0023_0008__TO_R_0023_0009__UNDERSTAND,Z_000_23_A_BEETON_1861_14)
      & has_arg1(R_0023_0008__TO_R_0023_0009__UNDERSTAND,R_0023_0010__THE_R_0023_0012__TREATMENT)
      & r_0023_0010__the_r_0023_0012__treatment(R_0023_0010__THE_R_0023_0012__TREATMENT)
      & has_r_0023_0013__of(R_0023_0010__THE_R_0023_0012__TREATMENT,R_0023_0014__THE_R_0023_0016__WINES)
      & r_0023_0014__the_r_0023_0016__wines(R_0023_0014__THE_R_0023_0016__WINES)
      & has_r_0023_0017__under(R_0023_0014__THE_R_0023_0016__WINES,R_0023_0019__CHARGE)
      & r_0023_0019__charge(R_0023_0019__CHARGE)
      & has_gen(R_0023_0019__CHARGE,R_0023_0001__THE_R_0023_0002__BUTLER)
      & has_attrib42(R_0023_0014__THE_R_0023_0016__WINES,R_0023_0015__DIFFERENT)
      & has_attrib31(R_0023_0010__THE_R_0023_0012__TREATMENT,R_0023_0011__PROPER)
      & has_arg0(R_0023_0032__ATTEND,R_0023_0001__THE_R_0023_0002__BUTLER)
      & has_conj1(R_0023_0030__AND,R_0023_0004__MAKE)
      & r_0023_0004__make(R_0023_0004__MAKE)
      & has_arg1(R_0023_0004__MAKE,R_0023_0008__TO_R_0023_0009__UNDERSTAND)
      & has_prd(R_0023_0004__MAKE,R_0023_0007__BUSINESS)
      & r_0023_0007__business(R_0023_0007__BUSINESS)
      & has_gen(R_0023_0007__BUSINESS,R_0023_0001__THE_R_0023_0002__BUTLER)
      & has_arg0(R_0023_0004__MAKE,R_0023_0001__THE_R_0023_0002__BUTLER)
      & r_0023_0023__can_r_0023_0025__do(R_0023_0023__CAN_R_0023_0025__DO)
      & has_arg1(R_0023_0023__CAN_R_0023_0025__DO,Z_000_23_A_BEETON_1861_58)
      & has_r_0023_0026__from_nim79(R_0023_0023__CAN_R_0023_0025__DO,R_0023_0027__THE_R_0023_0028__WINE__HYPHEN__MERCHANT)
      & has_nim71(R_0023_0023__CAN_R_0023_0025__DO,R_0023_0024__EASILY)
      & has_arg0(R_0023_0023__CAN_R_0023_0025__DO,R_0023_0001__THE_R_0023_0002__BUTLER) ) ).

( (IP-MAT (NP-SBJ;{BUTLER} (D the;{the})
                           (N butler;{butler}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (ILYR (ILYR (VB;__ make;{make})
                                  (NP-OB1 (PRO;_provisional_ it;{it}))
                                  (NP-PRD (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                          (N business;{business}))
                                  (IP-INF-NOB1;{UNDERSTAND} (TO to;{to})
                                                            (VB;__ understand;{understand})
                                                            (NP-OB1 (D the;{the})
                                                                    (ADJP (ADJ proper;{proper}))
                                                                    (N treatment;{treatment})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (D the;{the})
                                                                            (ADJP (ADJ different;{different}))
                                                                            (NS wines;{wine})
                                                                            (PP (P-ROLE under;{under})
                                                                                (NP (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                                                                    (N charge;{charge}))))))
                                                            (PUNC ,)
                                                            (NP-NIM (IP-REL (NP-121 (RPRO which;{which}))
                                                                            (NP-SBJ;{BUTLER} (PRO he;{he}))
                                                                            (MD;_cat_Vi_ can;{can})
                                                                            (IP-INF-CAT (NP-OB1 *ICH*-121)
                                                                                        (ADVP-NIM (ADV easily;{easily}))
                                                                                        (DO;_Tn_ do;{do})
                                                                                        (PP-NIM (P-ROLE from;{from})
                                                                                                (NP (D the;{the})
                                                                                                    (N wine_<hyphen>_merchant;{wine_merchant}))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV faithfully;{faithfully}))
                                         (VB;__ attend;{attend})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP;{UNDERSTAND} (PRO it;{it})))))))
          (PUNC ;))
  (ID 23_a_beeton_1861;2164-1))