TSPC 17_a_beeton

17_a_beeton_1861
In addition to these duties, the butler, where only one footman is kept, will be required to perform some of the duties of the valet, to pay bills, and superintend the other servants.

arc(r_0017_0002__addition, r_0017_0004__these_r_0017_0005__duties, r_0017_0003__to).
arc(r_0017_0010__where, r_0017_0014__is, restriction).
arc(r_0017_0010__where, r_0017_0017__will, scope).
arc(r_0017_0012__one_r_0017_0013__footman, r_0017_0011__only, qual30).
arc(r_0017_0014__is, r_0017_0015__kept, scope).
arc(r_0017_0015__kept, r_0017_0012__one_r_0017_0013__footman, arg1).
arc(r_0017_0015__kept, z_000_17_a_beeton_1861_40, arg0).
arc(r_0017_0017__will, r_0017_0002__addition, r_0017_0001__In_nim5).
arc(r_0017_0017__will, r_0017_0018__be, scope).
arc(r_0017_0018__be, r_0017_0019__required, scope).
arc(r_0017_0019__required, r_0017_0007__the_r_0017_0008__butler, arg2).
arc(r_0017_0019__required, r_0017_0034__and, arg1).
arc(r_0017_0019__required, z_000_17_a_beeton_1861_52, arg0).
arc(r_0017_0020__to_r_0017_0021__perform, r_0017_0007__the_r_0017_0008__butler, arg0).
arc(r_0017_0020__to_r_0017_0021__perform, r_0017_0022__some, arg1).
arc(r_0017_0022__some, r_0017_0024__the_r_0017_0025__duties, r_0017_0023__of).
arc(r_0017_0024__the_r_0017_0025__duties, r_0017_0027__the_r_0017_0028__valet, r_0017_0026__of).
arc(r_0017_0030__to_r_0017_0031__pay, r_0017_0007__the_r_0017_0008__butler, arg0).
arc(r_0017_0030__to_r_0017_0031__pay, r_0017_0032__bills, arg1).
arc(r_0017_0034__and, r_0017_0020__to_r_0017_0021__perform, conj1).
arc(r_0017_0034__and, r_0017_0030__to_r_0017_0031__pay, conj2).
arc(r_0017_0034__and, r_0017_0035__superintend, conj3).
arc(r_0017_0035__superintend, r_0017_0007__the_r_0017_0008__butler, arg0).
arc(r_0017_0035__superintend, r_0017_0036__the_r_0017_0038__servants, arg1).
arc(r_0017_0036__the_r_0017_0038__servants, r_0017_0037__other, attrib104).

fof(formula,axiom,
    ? [R_0017_0011__ONLY,R_0017_0012__ONE_R_0017_0013__FOOTMAN,Z_000_17_A_BEETON_1861_40,R_0017_0014__IS_R_0017_0015__KEPT,R_0017_0004__THESE_R_0017_0005__DUTIES,R_0017_0002__ADDITION,R_0017_0007__THE_R_0017_0008__BUTLER,R_0017_0027__THE_R_0017_0028__VALET,R_0017_0024__THE_R_0017_0025__DUTIES,R_0017_0022__SOME,R_0017_0020__TO_R_0017_0021__PERFORM,R_0017_0032__BILLS,R_0017_0030__TO_R_0017_0031__PAY,R_0017_0037__OTHER,R_0017_0036__THE_R_0017_0038__SERVANTS,R_0017_0035__SUPERINTEND,R_0017_0034__AND,Z_000_17_A_BEETON_1861_52,R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED,R_0017_0010__WHERE] :
      ( r_0017_0004__these_r_0017_0005__duties(R_0017_0004__THESE_R_0017_0005__DUTIES)
      & r_0017_0007__the_r_0017_0008__butler(R_0017_0007__THE_R_0017_0008__BUTLER)
      & r_0017_0011__only(R_0017_0011__ONLY)
      & r_0017_0027__the_r_0017_0028__valet(R_0017_0027__THE_R_0017_0028__VALET)
      & r_0017_0032__bills(R_0017_0032__BILLS)
      & r_0017_0037__other(R_0017_0037__OTHER)
      & z_000_17_a_beeton_1861_40(Z_000_17_A_BEETON_1861_40)
      & z_000_17_a_beeton_1861_52(Z_000_17_A_BEETON_1861_52)
      & r_0017_0010__where(R_0017_0010__WHERE)
      & has_conj2(R_0017_0010__WHERE,R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED)
      & r_0017_0017__will_r_0017_0018__be_r_0017_0019__required(R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED)
      & has_arg0(R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED,Z_000_17_A_BEETON_1861_52)
      & has_arg1(R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED,R_0017_0034__AND)
      & r_0017_0034__and(R_0017_0034__AND)
      & has_conj3(R_0017_0034__AND,R_0017_0035__SUPERINTEND)
      & r_0017_0035__superintend(R_0017_0035__SUPERINTEND)
      & has_arg1(R_0017_0035__SUPERINTEND,R_0017_0036__THE_R_0017_0038__SERVANTS)
      & r_0017_0036__the_r_0017_0038__servants(R_0017_0036__THE_R_0017_0038__SERVANTS)
      & has_attrib104(R_0017_0036__THE_R_0017_0038__SERVANTS,R_0017_0037__OTHER)
      & has_arg0(R_0017_0035__SUPERINTEND,R_0017_0007__THE_R_0017_0008__BUTLER)
      & has_conj2(R_0017_0034__AND,R_0017_0030__TO_R_0017_0031__PAY)
      & r_0017_0030__to_r_0017_0031__pay(R_0017_0030__TO_R_0017_0031__PAY)
      & has_arg1(R_0017_0030__TO_R_0017_0031__PAY,R_0017_0032__BILLS)
      & has_arg0(R_0017_0030__TO_R_0017_0031__PAY,R_0017_0007__THE_R_0017_0008__BUTLER)
      & has_conj1(R_0017_0034__AND,R_0017_0020__TO_R_0017_0021__PERFORM)
      & r_0017_0020__to_r_0017_0021__perform(R_0017_0020__TO_R_0017_0021__PERFORM)
      & has_arg1(R_0017_0020__TO_R_0017_0021__PERFORM,R_0017_0022__SOME)
      & r_0017_0022__some(R_0017_0022__SOME)
      & has_r_0017_0023__of(R_0017_0022__SOME,R_0017_0024__THE_R_0017_0025__DUTIES)
      & r_0017_0024__the_r_0017_0025__duties(R_0017_0024__THE_R_0017_0025__DUTIES)
      & has_r_0017_0026__of(R_0017_0024__THE_R_0017_0025__DUTIES,R_0017_0027__THE_R_0017_0028__VALET)
      & has_arg0(R_0017_0020__TO_R_0017_0021__PERFORM,R_0017_0007__THE_R_0017_0008__BUTLER)
      & has_arg2(R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED,R_0017_0007__THE_R_0017_0008__BUTLER)
      & has_r_0017_0001__In_nim5(R_0017_0017__WILL_R_0017_0018__BE_R_0017_0019__REQUIRED,R_0017_0002__ADDITION)
      & r_0017_0002__addition(R_0017_0002__ADDITION)
      & has_r_0017_0003__to(R_0017_0002__ADDITION,R_0017_0004__THESE_R_0017_0005__DUTIES)
      & has_conj1(R_0017_0010__WHERE,R_0017_0014__IS_R_0017_0015__KEPT)
      & r_0017_0014__is_r_0017_0015__kept(R_0017_0014__IS_R_0017_0015__KEPT)
      & has_arg0(R_0017_0014__IS_R_0017_0015__KEPT,Z_000_17_A_BEETON_1861_40)
      & has_arg1(R_0017_0014__IS_R_0017_0015__KEPT,R_0017_0012__ONE_R_0017_0013__FOOTMAN)
      & r_0017_0012__one_r_0017_0013__footman(R_0017_0012__ONE_R_0017_0013__FOOTMAN)
      & has_qual30(R_0017_0012__ONE_R_0017_0013__FOOTMAN,R_0017_0011__ONLY) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N addition;{addition})
                      (PP (P-ROLE to;{to})
                          (NP (D these;{these})
                              (NS duties;{duty})))))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (D the;{the})
                           (N butler;{butler}))
          (PUNC ,)
          (PP-SCON (P-CONN where;{where})
                   (IP-ADV (NP-SBJ (ADVP (ADV only;{only}))
                                   (NUM one;{one})
                                   (N footman;{footman}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ kept;{keep}))))
          (PUNC ,)
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tt_ required;{require})
                                  (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                          (VB;_Tn_ perform;{perform})
                                                          (NP-OB1 (D;_nphd_ some;{some})
                                                                  (PP (P-ROLE of;{of})
                                                                      (NP (D the;{the})
                                                                          (NS duties;{duty})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (D the;{the})
                                                                                  (N valet;{valet})))))))
                                                    (PUNC ,)
                                                    (CONJP (ILYR (TO to;{to})
                                                                 (VB;_Tn_ pay;{pay})
                                                                 (NP-OB1 (NS bills;{bill}))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (VB;_Tn_ superintend;{superintend})
                                                                 (NP-OB1 (D the;{the})
                                                                         (ADJP (ADJ other;{other}))
                                                                         (NS servants;{servant}))))))))
          (PUNC .))
  (ID 17_a_beeton_1861;2163-1))