TSPC 10_a_beeton

10_a_beeton_1861
Where the old-fashioned practice of having the dessert on the polished table, without any cloth, is still adhered to, the butler should rub off any marks made by the hot dishes before arranging the dessert.

( (IP-MAT (PP-SCON (P-CONN Where;{where})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (ADJP (ADJ old_<hyphen>_fashioned;{old_fashioned}))
                                   (N practice;{practice})
                                   (PP (P-ROLE of;{of})
                                       (IP-PPL3 (HAG;_Tn_ having;{have})
                                                (NP-OB1 (D the;{the})
                                                        (N dessert;{dessert}))
                                                (PP-NIM (P-ROLE on;{on})
                                                        (NP (D the;{the})
                                                            (IP-PPL (NP-LGS *)
                                                                    (VVN;_Tn_ polished;{polish}))
                                                            (N table;{table})))
                                                (PUNC ,)
                                                (PP-NIM (P-ROLE without;{without})
                                                        (NP (D any;{any})
                                                            (N cloth;{cloth}))))))
                           (PUNC ,)
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (ADVP-NIM (ADV still;{still}))
                                       (VVN;_Ipr_ adhered;{adhere[to]})
                                       (PP-CLR (P-ROLE to;{to})))))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (D the;{the})
                           (N butler;{butler}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (VB;_phr_Vn<=>p_ rub;{rub[off]})
                      (RP off;{off})
                      (NP-OB1 (D any;{any})
                              (NS marks;{mark})
                              (IP-PPL (VVN;_Tn_ made;{make})
                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ hot;{hot}))
                                                  (NS dishes;{dish}))))))
          (PP-SCON (P-CONN before;{before})
                   (IP-PPL2 (VAG;_Tn_ arranging;{arrange})
                            (NP-OB1 (D the;{the})
                                    (N dessert;{dessert}))))
          (PUNC .))
  (ID 10_a_beeton_1861;2159-2))

arc(r_0010_0001__Where,r_0010_0018__is,restriction).
arc(r_0010_0001__Where,r_0010_0035__before,scope).
arc(r_0010_0002__the_r_0010_0004__practice,r_0010_0003__old__hyphen__fashioned,attrib).
arc(r_0010_0002__the_r_0010_0004__practice,r_0010_0006__having,r_0010_0005__of).
arc(r_0010_0006__having,r_0010_0007__the_r_0010_0008__dessert,arg1).
arc(r_0010_0006__having,r_0010_0010__the_r_0010_0012__table,r_0010_0009__on__nim).
arc(r_0010_0006__having,r_0010_0015__any_r_0010_0016__cloth,r_0010_0014__without__nim).
arc(r_0010_0006__having,z_0010_5006,arg0).
arc(r_0010_0011__polished,r_0010_0010__the_r_0010_0012__table,inv_arg1).
arc(r_0010_0011__polished,z_0010_5010___star_,arg0).
arc(r_0010_0018__is,r_0010_0020__adhered_r_0010_0021__to,scope).
arc(r_0010_0020__adhered_r_0010_0021__to,r_0010_0002__the_r_0010_0004__practice,arg1).
arc(r_0010_0020__adhered_r_0010_0021__to,r_0010_0019__still,nim).
arc(r_0010_0020__adhered_r_0010_0021__to,z_0010_5015___star_,arg0).
arc(r_0010_0025__should,r_0010_0026__rub_r_0010_0027__off,scope).
arc(r_0010_0026__rub_r_0010_0027__off,r_0010_0023__the_r_0010_0024__butler,arg0).
arc(r_0010_0026__rub_r_0010_0027__off,r_0010_0028__any_r_0010_0029__marks,arg1).
arc(r_0010_0030__made,r_0010_0028__any_r_0010_0029__marks,inv_arg1).
arc(r_0010_0030__made,r_0010_0032__the_r_0010_0034__dishes,r_0010_0031__by_arg0).
arc(r_0010_0032__the_r_0010_0034__dishes,r_0010_0033__hot,attrib).
arc(r_0010_0035__before,r_0010_0025__should,scope).
arc(r_0010_0035__before,r_0010_0036__arranging,restriction).
arc(r_0010_0036__arranging,r_0010_0023__the_r_0010_0024__butler,arg0).
arc(r_0010_0036__arranging,r_0010_0037__the_r_0010_0038__dessert,arg1).

fof(formula,axiom,
    ? [R_0010_0003__OLD__HYPHEN__FASHIONED,R_0010_0007__THE_R_0010_0008__DESSERT,Z_0010_5010___STAR_,R_0010_0011__POLISHED,R_0010_0010__THE_R_0010_0012__TABLE,R_0010_0015__ANY_R_0010_0016__CLOTH,Z_0010_5006,R_0010_0006__HAVING,R_0010_0002__THE_R_0010_0004__PRACTICE,R_0010_0019__STILL,Z_0010_5015___STAR_,R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO,R_0010_0023__THE_R_0010_0024__BUTLER,R_0010_0033__HOT,R_0010_0032__THE_R_0010_0034__DISHES,R_0010_0030__MADE,R_0010_0028__ANY_R_0010_0029__MARKS,R_0010_0025__SHOULD_R_0010_0026__RUB_R_0010_0027__OFF,R_0010_0037__THE_R_0010_0038__DESSERT,R_0010_0036__ARRANGING,R_0010_0035__BEFORE,R_0010_0001__WHERE] :
      ( r_0010_0003__old__hyphen__fashioned(R_0010_0003__OLD__HYPHEN__FASHIONED)
      & r_0010_0007__the_r_0010_0008__dessert(R_0010_0007__THE_R_0010_0008__DESSERT)
      & r_0010_0015__any_r_0010_0016__cloth(R_0010_0015__ANY_R_0010_0016__CLOTH)
      & r_0010_0019__still(R_0010_0019__STILL)
      & r_0010_0023__the_r_0010_0024__butler(R_0010_0023__THE_R_0010_0024__BUTLER)
      & r_0010_0033__hot(R_0010_0033__HOT)
      & r_0010_0037__the_r_0010_0038__dessert(R_0010_0037__THE_R_0010_0038__DESSERT)
      & z_0010_5006(Z_0010_5006)
      & z_0010_5010___star_(Z_0010_5010___STAR_)
      & z_0010_5015___star_(Z_0010_5015___STAR_)
      & r_0010_0001__Where(R_0010_0001__WHERE)
      & has_conj2(R_0010_0001__WHERE,R_0010_0035__BEFORE)
      & r_0010_0035__before(R_0010_0035__BEFORE)
      & has_conj1(R_0010_0035__BEFORE,R_0010_0036__ARRANGING)
      & r_0010_0036__arranging(R_0010_0036__ARRANGING)
      & has_arg1(R_0010_0036__ARRANGING,R_0010_0037__THE_R_0010_0038__DESSERT)
      & has_arg0(R_0010_0036__ARRANGING,R_0010_0023__THE_R_0010_0024__BUTLER)
      & has_conj2(R_0010_0035__BEFORE,R_0010_0025__SHOULD_R_0010_0026__RUB_R_0010_0027__OFF)
      & r_0010_0025__should_r_0010_0026__rub_r_0010_0027__off(R_0010_0025__SHOULD_R_0010_0026__RUB_R_0010_0027__OFF)
      & has_arg1(R_0010_0025__SHOULD_R_0010_0026__RUB_R_0010_0027__OFF,R_0010_0028__ANY_R_0010_0029__MARKS)
      & r_0010_0028__any_r_0010_0029__marks(R_0010_0028__ANY_R_0010_0029__MARKS)
      & has_inv_arg1(R_0010_0028__ANY_R_0010_0029__MARKS,R_0010_0030__MADE)
      & r_0010_0030__made(R_0010_0030__MADE)
      & has_r_0010_0031__by_arg0(R_0010_0030__MADE,R_0010_0032__THE_R_0010_0034__DISHES)
      & r_0010_0032__the_r_0010_0034__dishes(R_0010_0032__THE_R_0010_0034__DISHES)
      & has_attrib(R_0010_0032__THE_R_0010_0034__DISHES,R_0010_0033__HOT)
      & has_arg0(R_0010_0025__SHOULD_R_0010_0026__RUB_R_0010_0027__OFF,R_0010_0023__THE_R_0010_0024__BUTLER)
      & has_conj1(R_0010_0001__WHERE,R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO)
      & r_0010_0018__is_r_0010_0020__adhered_r_0010_0021__to(R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO)
      & has_arg0(R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO,Z_0010_5015___STAR_)
      & has_nim(R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO,R_0010_0019__STILL)
      & has_arg1(R_0010_0018__IS_R_0010_0020__ADHERED_R_0010_0021__TO,R_0010_0002__THE_R_0010_0004__PRACTICE)
      & r_0010_0002__the_r_0010_0004__practice(R_0010_0002__THE_R_0010_0004__PRACTICE)
      & has_r_0010_0005__of(R_0010_0002__THE_R_0010_0004__PRACTICE,R_0010_0006__HAVING)
      & r_0010_0006__having(R_0010_0006__HAVING)
      & has_arg0(R_0010_0006__HAVING,Z_0010_5006)
      & has_r_0010_0014__without__nim(R_0010_0006__HAVING,R_0010_0015__ANY_R_0010_0016__CLOTH)
      & has_r_0010_0009__on__nim(R_0010_0006__HAVING,R_0010_0010__THE_R_0010_0012__TABLE)
      & r_0010_0010__the_r_0010_0012__table(R_0010_0010__THE_R_0010_0012__TABLE)
      & has_inv_arg1(R_0010_0010__THE_R_0010_0012__TABLE,R_0010_0011__POLISHED)
      & r_0010_0011__polished(R_0010_0011__POLISHED)
      & has_arg0(R_0010_0011__POLISHED,Z_0010_5010___STAR_)
      & has_arg1(R_0010_0006__HAVING,R_0010_0007__THE_R_0010_0008__DESSERT)
      & has_attrib(R_0010_0002__THE_R_0010_0004__PRACTICE,R_0010_0003__OLD__HYPHEN__FASHIONED) ) ).