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_17_10_WHERE,R_17_14_IS_KEPT,Z_17_A_BEETON_1861_40,R_17_12_ONE_FOOTMAN,R_17_11_ONLY,R_17_17_WILL_BE_REQUIRED,Z_17_A_BEETON_1861_52,R_17_34_AND,R_17_20_TO_PERFORM,R_17_22_SOME,R_17_24_THE_DUTIES,R_17_27_THE_VALET,R_17_30_TO_PAY,R_17_32_BILLS,R_17_35_SUPERINTEND,R_17_36_THE_SERVANTS,R_17_37_OTHER,R_17_7_THE_BUTLER,R_17_2_ADDITION,R_17_4_THESE_DUTIES] :
      ( only(R_17_11_ONLY)
      & the_valet(R_17_27_THE_VALET)
      & bills(R_17_32_BILLS)
      & other(R_17_37_OTHER)
      & the_butler(R_17_7_THE_BUTLER)
      & these_duties(R_17_4_THESE_DUTIES)
      & where(R_17_10_WHERE)
      & conj1(R_17_10_WHERE,R_17_14_IS_KEPT)
      & is_kept(R_17_14_IS_KEPT,Z_17_A_BEETON_1861_40,R_17_12_ONE_FOOTMAN)
      & one_footman(R_17_12_ONE_FOOTMAN)
      & qual30(R_17_12_ONE_FOOTMAN,R_17_11_ONLY)
      & conj2(R_17_10_WHERE,R_17_17_WILL_BE_REQUIRED)
      & will_be_required(R_17_17_WILL_BE_REQUIRED,Z_17_A_BEETON_1861_52,R_17_34_AND,R_17_7_THE_BUTLER)
      & and(R_17_34_AND)
      & conj1(R_17_34_AND,R_17_20_TO_PERFORM)
      & to_perform(R_17_20_TO_PERFORM,R_17_7_THE_BUTLER,R_17_22_SOME)
      & some(R_17_22_SOME)
      & of(R_17_22_SOME,R_17_24_THE_DUTIES)
      & the_duties(R_17_24_THE_DUTIES)
      & of(R_17_24_THE_DUTIES,R_17_27_THE_VALET)
      & conj2(R_17_34_AND,R_17_30_TO_PAY)
      & to_pay(R_17_30_TO_PAY,R_17_7_THE_BUTLER,R_17_32_BILLS)
      & conj3(R_17_34_AND,R_17_35_SUPERINTEND)
      & superintend(R_17_35_SUPERINTEND,R_17_7_THE_BUTLER,R_17_36_THE_SERVANTS)
      & the_servants(R_17_36_THE_SERVANTS)
      & attrib104(R_17_36_THE_SERVANTS,R_17_37_OTHER)
      & in_nim5(R_17_17_WILL_BE_REQUIRED,R_17_2_ADDITION)
      & addition(R_17_2_ADDITION)
      & to(R_17_2_ADDITION,R_17_4_THESE_DUTIES) ) ).

( (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))