TSPC 9_a_beeton

9_a_beeton_1861
At dessert, the slips being removed, the butler receives the dessert from the other servants, and arranges it on the table, with plates and glasses, and then takes his place behind his master's chair to hand the wines and ices, while the footman stands behind his mistress for the same purpose, the other attendants leaving the room.

arc(r_0009_0006__being, r_0009_0002__dessert, r_0009_0001__At_nim7).
arc(r_0009_0006__being, r_0009_0007__removed, scope).
arc(r_0009_0007__removed, r_0009_0004__the_r_0009_0005__slips, arg1).
arc(r_0009_0007__removed, z_000_9_a_beeton_1861_20, arg0).
arc(r_0009_0011__receives, r_0009_0009__the_r_0009_0010__butler, arg0).
arc(r_0009_0011__receives, r_0009_0012__the_r_0009_0013__dessert, arg1).
arc(r_0009_0011__receives, r_0009_0015__the_r_0009_0017__servants, r_0009_0014__from_clr45).
arc(r_0009_0015__the_r_0009_0017__servants, r_0009_0016__other, attrib48).
arc(r_0009_0019__and, r_0009_0011__receives, conj1).
arc(r_0009_0019__and, r_0009_0020__arranges, conj2).
arc(r_0009_0020__arranges, r_0009_0009__the_r_0009_0010__butler, arg0).
arc(r_0009_0020__arranges, r_0009_0012__the_r_0009_0013__dessert, arg1).
arc(r_0009_0020__arranges, r_0009_0023__the_r_0009_0024__table, r_0009_0022__on_clr67).
arc(r_0009_0020__arranges, r_0009_0028__and, r_0009_0026__with_nim77).
arc(r_0009_0028__and, r_0009_0027__plates, conj1).
arc(r_0009_0028__and, r_0009_0029__glasses, conj2).
arc(r_0009_0031__and, r_0009_0019__and, conj1).
arc(r_0009_0031__and, z_000_9_a_beeton_1861_119, conj2).
arc(r_0009_0033__takes, r_0009_0009__the_r_0009_0010__butler, arg0).
arc(r_0009_0033__takes, r_0009_0032__then, nim94).
arc(r_0009_0033__takes, r_0009_0035__place, arg1).
arc(r_0009_0033__takes, r_0009_0040__chair, r_0009_0036__behind_nim108).
arc(r_0009_0035__place, r_0009_0009__the_r_0009_0010__butler, gen).
arc(r_0009_0038__master_r_0009_0039___apos_s, r_0009_0009__the_r_0009_0010__butler, gen).
arc(r_0009_0040__chair, r_0009_0038__master_r_0009_0039___apos_s, gen).
arc(r_0009_0041__to_r_0009_0042__hand, r_0009_0009__the_r_0009_0010__butler, arg0).
arc(r_0009_0041__to_r_0009_0042__hand, r_0009_0045__and, arg1).
arc(r_0009_0041__to_r_0009_0042__hand, r_0009_1001____star__, arg2).
arc(r_0009_0045__and, r_0009_0044__wines, conj1).
arc(r_0009_0045__and, r_0009_0046__ices, conj2).
arc(r_0009_0048__while, r_0009_0041__to_r_0009_0042__hand, scope).
arc(r_0009_0048__while, z_000_9_a_beeton_1861_176, restriction).
arc(r_0009_0051__stands, r_0009_0049__the_r_0009_0050__footman, arg0).
arc(r_0009_0051__stands, r_0009_0054__mistress, r_0009_0052__behind_clr157).
arc(r_0009_0051__stands, r_0009_0056__the_r_0009_0058__purpose, r_0009_0055__for_nim166).
arc(r_0009_0054__mistress, r_0009_0049__the_r_0009_0050__footman, gen).
arc(r_0009_0056__the_r_0009_0058__purpose, r_0009_0057__same, attrib169).
arc(r_0009_0060__the_r_0009_0062__attendants, r_0009_0061__other, attrib181).
arc(r_0009_0063__leaving, r_0009_0060__the_r_0009_0062__attendants, arg0).
arc(r_0009_0063__leaving, r_0009_0064__the_r_0009_0065__room, arg1).
arc(z_000_9_a_beeton_1861_119, r_0009_0033__takes, scope).
arc(z_000_9_a_beeton_1861_119, r_0009_0048__while, restriction).
arc(z_000_9_a_beeton_1861_176, r_0009_0051__stands, scope).
arc(z_000_9_a_beeton_1861_176, r_0009_0063__leaving, restriction).
arc(z_000_9_a_beeton_1861_2, r_0009_0006__being, restriction).
arc(z_000_9_a_beeton_1861_2, r_0009_0031__and, scope).

fof(formula,axiom,
    ? [Z_9_A_BEETON_1861_2,R_9_6_BEING_REMOVED,Z_9_A_BEETON_1861_20,R_9_4_THE_SLIPS,R_9_2_DESSERT,R_9_31_AND,R_9_19_AND,R_9_11_RECEIVES,R_9_15_THE_SERVANTS,R_9_16_OTHER,R_9_20_ARRANGES,R_9_12_THE_DESSERT,R_9_23_THE_TABLE,R_9_28_AND,R_9_27_PLATES,R_9_29_GLASSES,Z_9_A_BEETON_1861_119,R_9_48_WHILE,Z_9_A_BEETON_1861_176,R_9_63_LEAVING,R_9_60_THE_ATTENDANTS,R_9_61_OTHER,R_9_64_THE_ROOM,R_9_51_STANDS,R_9_54_MISTRESS,R_9_49_THE_FOOTMAN,R_9_56_THE_PURPOSE,R_9_57_SAME,R_9_41_TO_HAND,R_9_45_AND,R_9_44_WINES,R_9_46_ICES,R_9_1001__STAR_,R_9_33_TAKES,R_9_35_PLACE,R_9_32_THEN,R_9_40_CHAIR,R_9_38_MASTER_APOS_S,R_9_9_THE_BUTLER] :
      ( the_slips(R_9_4_THE_SLIPS)
      & dessert(R_9_2_DESSERT)
      & other(R_9_16_OTHER)
      & the_dessert(R_9_12_THE_DESSERT)
      & the_table(R_9_23_THE_TABLE)
      & plates(R_9_27_PLATES)
      & glasses(R_9_29_GLASSES)
      & other(R_9_61_OTHER)
      & the_room(R_9_64_THE_ROOM)
      & the_footman(R_9_49_THE_FOOTMAN)
      & same(R_9_57_SAME)
      & wines(R_9_44_WINES)
      & ices(R_9_46_ICES)
      & _star_(R_9_1001__STAR_)
      & then(R_9_32_THEN)
      & the_butler(R_9_9_THE_BUTLER)
      & z_9_a_beeton_1861_2(Z_9_A_BEETON_1861_2)
      & conj1(Z_9_A_BEETON_1861_2,R_9_6_BEING_REMOVED)
      & being_removed(R_9_6_BEING_REMOVED,Z_9_A_BEETON_1861_20,R_9_4_THE_SLIPS)
      & at_nim7(R_9_6_BEING_REMOVED,R_9_2_DESSERT)
      & conj2(Z_9_A_BEETON_1861_2,R_9_31_AND)
      & and(R_9_31_AND)
      & conj1(R_9_31_AND,R_9_19_AND)
      & and(R_9_19_AND)
      & conj1(R_9_19_AND,R_9_11_RECEIVES)
      & receives(R_9_11_RECEIVES,R_9_9_THE_BUTLER,R_9_12_THE_DESSERT)
      & from_clr45(R_9_11_RECEIVES,R_9_15_THE_SERVANTS)
      & the_servants(R_9_15_THE_SERVANTS)
      & attrib48(R_9_15_THE_SERVANTS,R_9_16_OTHER)
      & conj2(R_9_19_AND,R_9_20_ARRANGES)
      & arranges(R_9_20_ARRANGES,R_9_9_THE_BUTLER,R_9_12_THE_DESSERT)
      & on_clr67(R_9_20_ARRANGES,R_9_23_THE_TABLE)
      & with_nim77(R_9_20_ARRANGES,R_9_28_AND)
      & and(R_9_28_AND)
      & conj1(R_9_28_AND,R_9_27_PLATES)
      & conj2(R_9_28_AND,R_9_29_GLASSES)
      & conj2(R_9_31_AND,Z_9_A_BEETON_1861_119)
      & z_9_a_beeton_1861_119(Z_9_A_BEETON_1861_119)
      & conj1(Z_9_A_BEETON_1861_119,R_9_48_WHILE)
      & while(R_9_48_WHILE)
      & conj1(R_9_48_WHILE,Z_9_A_BEETON_1861_176)
      & z_9_a_beeton_1861_176(Z_9_A_BEETON_1861_176)
      & conj1(Z_9_A_BEETON_1861_176,R_9_63_LEAVING)
      & leaving(R_9_63_LEAVING,R_9_60_THE_ATTENDANTS,R_9_64_THE_ROOM)
      & the_attendants(R_9_60_THE_ATTENDANTS)
      & attrib181(R_9_60_THE_ATTENDANTS,R_9_61_OTHER)
      & conj2(Z_9_A_BEETON_1861_176,R_9_51_STANDS)
      & stands(R_9_51_STANDS,R_9_49_THE_FOOTMAN)
      & behind_clr157(R_9_51_STANDS,R_9_54_MISTRESS)
      & mistress(R_9_54_MISTRESS)
      & gen(R_9_54_MISTRESS,R_9_49_THE_FOOTMAN)
      & for_nim166(R_9_51_STANDS,R_9_56_THE_PURPOSE)
      & the_purpose(R_9_56_THE_PURPOSE)
      & attrib169(R_9_56_THE_PURPOSE,R_9_57_SAME)
      & conj2(R_9_48_WHILE,R_9_41_TO_HAND)
      & to_hand(R_9_41_TO_HAND,R_9_9_THE_BUTLER,R_9_45_AND,R_9_1001__STAR_)
      & and(R_9_45_AND)
      & conj1(R_9_45_AND,R_9_44_WINES)
      & conj2(R_9_45_AND,R_9_46_ICES)
      & conj2(Z_9_A_BEETON_1861_119,R_9_33_TAKES)
      & takes(R_9_33_TAKES,R_9_9_THE_BUTLER,R_9_35_PLACE)
      & place(R_9_35_PLACE)
      & gen(R_9_35_PLACE,R_9_9_THE_BUTLER)
      & nim94(R_9_33_TAKES,R_9_32_THEN)
      & behind_nim108(R_9_33_TAKES,R_9_40_CHAIR)
      & chair(R_9_40_CHAIR)
      & gen(R_9_40_CHAIR,R_9_38_MASTER_APOS_S)
      & master_apos_s(R_9_38_MASTER_APOS_S)
      & gen(R_9_38_MASTER_APOS_S,R_9_9_THE_BUTLER) ) ).

( (IP-MAT (PP-SCON (IP-PPL3 (PP-NIM (P-ROLE At;{at})
                                    (NP (N dessert;{dessert})))
                            (PUNC ,)
                            (NP-SBJ (D the;{the})
                                    (NS slips;{slip}))
                            (BAG;_cat_VePASS_ being;{be})
                            (IP-PPL-CAT (NP-LGS *)
                                        (VVN;_Tn_ removed;{remove}))))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (D the;{the})
                           (N butler;{butler}))
          (ILYR (ILYR (ILYR (ILYR (VBP;_Tn.pr_ receives;{receive[from]})
                                  (NP-OB1;{DESSERT} (D the;{the})
                                                    (N dessert;{dessert}))
                                  (PP-CLR (P-ROLE from;{from})
                                          (NP (D the;{the})
                                              (ADJP (ADJ other;{other}))
                                              (NS servants;{servant}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBP;_Tn.pr_ arranges;{arrange[on]})
                                         (NP-OB1;{DESSERT} (PRO it;{it}))
                                         (PP-CLR (P-ROLE on;{on})
                                                 (NP (D the;{the})
                                                     (N table;{table})))
                                         (PUNC ,)
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (NLYR (NLYR (NS plates;{plate}))
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (NS glasses;{glass}))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBP;_Tn_ takes;{take})
                             (NP-OB1 (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                     (N place;{place}))
                             (PP-NIM (P-ROLE behind;{behind})
                                     (NP (NP-GEN (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                                 (N master;{master})
                                                 (GENM <apos>s))
                                         (N chair;{chair})))
                             (PP-SCON (IP-INF2 (TO to;{to})
                                               (VB;_D*.n_ hand;{hand})
                                               (NP-OB2 (N _*_))
                                               (NP-OB1 (D the;{the})
                                                       (NLYR (NLYR (NS wines;{wine}))
                                                             (CONJP (CONJ and;{and})
                                                                    (NLYR (NS ices;{ice})))))
                                               (PUNC ,)
                                               (PP-SCON (P-CONN while;{while})
                                                        (IP-ADV (NP-SBJ;{FOOTMAN} (D the;{the})
                                                                                  (N footman;{footman}))
                                                                (VBP;_Ipr_ stands;{stand[behind]})
                                                                (PP-CLR (P-ROLE behind;{behind})
                                                                        (NP (NP-GEN;{FOOTMAN} (PRO;_genm_ his;{his}))
                                                                            (N mistress;{mistress})))
                                                                (PP-NIM (P-ROLE for;{for})
                                                                        (NP (D the;{the})
                                                                            (ADJP (ADJ same;{same}))
                                                                            (N purpose;{purpose})))
                                                                (PUNC ,)
                                                                (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                                                                          (ADJP (ADJ other;{other}))
                                                                                          (NS attendants;{attendant}))
                                                                                  (VAG;_Tn_ leaving;{leave})
                                                                                  (NP-OB1 (D the;{the})
                                                                                          (N room;{room})))))))))))
          (PUNC .))
  (ID 9_a_beeton_1861;2159-1))