TSPC 13_a_beeton

13_a_beeton_1861
He now proceeds to the drawing-room, arranges the fireplace, and sees to the lights; he then returns to his pantry, prepared to answer the bell, and attend to the company, while the footman is clearing away and cleaning the plate and glasses.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{BUTLER} (PRO He;{he}))
                      (ILYR (ILYR (ADVP-NIM (ADV now;{now}))
                                  (VBP;_Ipr_ proceeds;{proceed[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (N drawing_<hyphen>_room;{drawing_room}))))
                            (PUNC ,)
                            (CONJP (ILYR (VBP;_Tn_ arranges;{arrange})
                                         (NP-OB1 (D the;{the})
                                                 (N fireplace;{fireplace}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBP;_Ipr_ sees;{see[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (NS lights;{light})))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{BUTLER} (PRO he;{he}))
                             (ADVP-NIM (ADV then;{then}))
                             (VBP;_Ipr_ returns;{return[to]})
                             (PP-CLR (P-ROLE to;{to})
                                     (NP (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                                         (N pantry;{pantry})))
                             (PUNC ,)
                             (PP-SCON (IP-PPL2 (NP-LGS *)
                                               (VVN;_Cn.t_ prepared;{prepare})
                                               (IP-INF-OB1 (TO to;{to})
                                                           (ILYR (ILYR (VB;_Tn_ answer;{answer})
                                                                       (NP-OB1 (D the;{the})
                                                                               (N bell;{bell})))
                                                                 (PUNC ,)
                                                                 (CONJP (CONJ and;{and})
                                                                        (ILYR (VB;_Ipr_ attend;{attend[to]})
                                                                              (PP-CLR (P-ROLE to;{to})
                                                                                      (NP (D the;{the})
                                                                                          (N company;{company})))))))))
                             (PUNC ,)
                             (PP-SCON (P-CONN while;{while})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (N footman;{footman}))
                                              (BEP;_cat_Vg_ is;{be})
                                              (IP-PPL-CAT (ILYR (ILYR (VAG;_Tn.p_ clearing;{clear[away]})
                                                                      (ADVP-CLR (RP away;{away})))
                                                                (CONJP (CONJ and;{and})
                                                                       (ILYR (VAG;_Tn_ cleaning;{clean}))))
                                                          (NP-OB1 (D the;{the})
                                                                  (NLYR (NLYR (N plate;{plate}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (NS glasses;{glass})))))))))))
          (PUNC .))
  (ID 13_a_beeton_1861;2161-2))

arc(r_0013_0003__proceeds_r_0013_0004__to,r_0013_0001__He,arg0).
arc(r_0013_0003__proceeds_r_0013_0004__to,r_0013_0002__now,nim).
arc(r_0013_0003__proceeds_r_0013_0004__to,r_0013_0005__the_r_0013_0006__drawing__hyphen__room,arg1).
arc(r_0013_0008__arranges,r_0013_0001__He,arg0).
arc(r_0013_0008__arranges,r_0013_0009__the_r_0013_0010__fireplace,arg1).
arc(r_0013_0012__and,r_0013_0003__proceeds_r_0013_0004__to,conj1).
arc(r_0013_0012__and,r_0013_0008__arranges,conj2).
arc(r_0013_0012__and,r_0013_0013__sees_r_0013_0014__to,conj3).
arc(r_0013_0013__sees_r_0013_0014__to,r_0013_0001__He,arg0).
arc(r_0013_0013__sees_r_0013_0014__to,r_0013_0015__the_r_0013_0016__lights,arg1).
arc(r_0013_0020__returns_r_0013_0021__to,r_0013_0001__He,arg0).
arc(r_0013_0020__returns_r_0013_0021__to,r_0013_0019__then,nim).
arc(r_0013_0020__returns_r_0013_0021__to,r_0013_0023__pantry,arg1).
arc(r_0013_0023__pantry,r_0013_0001__He,gen).
arc(r_0013_0025__prepared,r_0013_0001__He,arg2).
arc(r_0013_0025__prepared,r_0013_0031__and,arg1).
arc(r_0013_0025__prepared,z_0013_5029___star_,arg0).
arc(r_0013_0027__answer,r_0013_0001__He,arg0).
arc(r_0013_0027__answer,r_0013_0028__the_r_0013_0029__bell,arg1).
arc(r_0013_0031__and,r_0013_0027__answer,conj1).
arc(r_0013_0031__and,r_0013_0032__attend_r_0013_0033__to,conj2).
arc(r_0013_0032__attend_r_0013_0033__to,r_0013_0001__He,arg0).
arc(r_0013_0032__attend_r_0013_0033__to,r_0013_0034__the_r_0013_0035__company,arg1).
arc(r_0013_0037__while,r_0013_0040__is,restriction).
arc(r_0013_0037__while,z_0013_5021,scope).
arc(r_0013_0040__is,r_0013_0043__and,scope).
arc(r_0013_0041__clearing_r_0013_0042__away,r_0013_0038__the_r_0013_0039__footman,arg0).
arc(r_0013_0041__clearing_r_0013_0042__away,r_0013_0045__the_r_0013_0046__plate_r_0013_0047__and_r_0013_0048__glasses,arg1).
arc(r_0013_0043__and,r_0013_0041__clearing_r_0013_0042__away,conj1).
arc(r_0013_0043__and,r_0013_0044__cleaning,conj2).
arc(r_0013_0044__cleaning,r_0013_0038__the_r_0013_0039__footman,arg0).
arc(r_0013_0044__cleaning,r_0013_0045__the_r_0013_0046__plate_r_0013_0047__and_r_0013_0048__glasses,arg1).
arc(z_0013_5001,r_0013_0012__and,conj1).
arc(z_0013_5001,r_0013_0037__while,conj2).
arc(z_0013_5021,r_0013_0020__returns_r_0013_0021__to,scope).
arc(z_0013_5021,r_0013_0025__prepared,restriction).

fof(formula,axiom,
    ? [R_0013_0001__HE,R_0013_0002__NOW,R_0013_0005__THE_R_0013_0006__DRAWING__HYPHEN__ROOM,R_0013_0003__PROCEEDS_R_0013_0004__TO,R_0013_0009__THE_R_0013_0010__FIREPLACE,R_0013_0008__ARRANGES,R_0013_0015__THE_R_0013_0016__LIGHTS,R_0013_0013__SEES_R_0013_0014__TO,R_0013_0012__AND,R_0013_0038__THE_R_0013_0039__FOOTMAN,R_0013_0045__THE_R_0013_0046__PLATE_R_0013_0047__AND_R_0013_0048__GLASSES,R_0013_0041__CLEARING_R_0013_0042__AWAY,R_0013_0044__CLEANING,R_0013_0043__AND,R_0013_0040__IS,R_0013_0019__THEN,R_0013_0023__PANTRY,R_0013_0020__RETURNS_R_0013_0021__TO,R_0013_0028__THE_R_0013_0029__BELL,R_0013_0027__ANSWER,R_0013_0034__THE_R_0013_0035__COMPANY,R_0013_0032__ATTEND_R_0013_0033__TO,R_0013_0031__AND,Z_0013_5029___STAR_,R_0013_0025__PREPARED,Z_0013_5021,R_0013_0037__WHILE,Z_0013_5001] :
      ( r_0013_0001__He(R_0013_0001__HE)
      & r_0013_0002__now(R_0013_0002__NOW)
      & r_0013_0005__the_r_0013_0006__drawing__hyphen__room(R_0013_0005__THE_R_0013_0006__DRAWING__HYPHEN__ROOM)
      & r_0013_0009__the_r_0013_0010__fireplace(R_0013_0009__THE_R_0013_0010__FIREPLACE)
      & r_0013_0015__the_r_0013_0016__lights(R_0013_0015__THE_R_0013_0016__LIGHTS)
      & r_0013_0019__then(R_0013_0019__THEN)
      & r_0013_0028__the_r_0013_0029__bell(R_0013_0028__THE_R_0013_0029__BELL)
      & r_0013_0034__the_r_0013_0035__company(R_0013_0034__THE_R_0013_0035__COMPANY)
      & r_0013_0038__the_r_0013_0039__footman(R_0013_0038__THE_R_0013_0039__FOOTMAN)
      & r_0013_0045__the_r_0013_0046__plate_r_0013_0047__and_r_0013_0048__glasses(R_0013_0045__THE_R_0013_0046__PLATE_R_0013_0047__AND_R_0013_0048__GLASSES)
      & z_0013_5029___star_(Z_0013_5029___STAR_)
      & z_0013_5001(Z_0013_5001)
      & has_conj2(Z_0013_5001,R_0013_0037__WHILE)
      & r_0013_0037__while(R_0013_0037__WHILE)
      & has_conj2(R_0013_0037__WHILE,Z_0013_5021)
      & z_0013_5021(Z_0013_5021)
      & has_conj1(Z_0013_5021,R_0013_0025__PREPARED)
      & r_0013_0025__prepared(R_0013_0025__PREPARED)
      & has_arg0(R_0013_0025__PREPARED,Z_0013_5029___STAR_)
      & has_arg1(R_0013_0025__PREPARED,R_0013_0031__AND)
      & r_0013_0031__and(R_0013_0031__AND)
      & has_conj2(R_0013_0031__AND,R_0013_0032__ATTEND_R_0013_0033__TO)
      & r_0013_0032__attend_r_0013_0033__to(R_0013_0032__ATTEND_R_0013_0033__TO)
      & has_arg1(R_0013_0032__ATTEND_R_0013_0033__TO,R_0013_0034__THE_R_0013_0035__COMPANY)
      & has_arg0(R_0013_0032__ATTEND_R_0013_0033__TO,R_0013_0001__HE)
      & has_conj1(R_0013_0031__AND,R_0013_0027__ANSWER)
      & r_0013_0027__answer(R_0013_0027__ANSWER)
      & has_arg1(R_0013_0027__ANSWER,R_0013_0028__THE_R_0013_0029__BELL)
      & has_arg0(R_0013_0027__ANSWER,R_0013_0001__HE)
      & has_arg2(R_0013_0025__PREPARED,R_0013_0001__HE)
      & has_conj2(Z_0013_5021,R_0013_0020__RETURNS_R_0013_0021__TO)
      & r_0013_0020__returns_r_0013_0021__to(R_0013_0020__RETURNS_R_0013_0021__TO)
      & has_arg1(R_0013_0020__RETURNS_R_0013_0021__TO,R_0013_0023__PANTRY)
      & r_0013_0023__pantry(R_0013_0023__PANTRY)
      & has_gen(R_0013_0023__PANTRY,R_0013_0001__HE)
      & has_nim(R_0013_0020__RETURNS_R_0013_0021__TO,R_0013_0019__THEN)
      & has_arg0(R_0013_0020__RETURNS_R_0013_0021__TO,R_0013_0001__HE)
      & has_conj1(R_0013_0037__WHILE,R_0013_0040__IS)
      & r_0013_0040__is(R_0013_0040__IS)
      & has_keep_scope(R_0013_0040__IS,R_0013_0043__AND)
      & r_0013_0043__and(R_0013_0043__AND)
      & has_conj2(R_0013_0043__AND,R_0013_0044__CLEANING)
      & r_0013_0044__cleaning(R_0013_0044__CLEANING)
      & has_arg1(R_0013_0044__CLEANING,R_0013_0045__THE_R_0013_0046__PLATE_R_0013_0047__AND_R_0013_0048__GLASSES)
      & has_arg0(R_0013_0044__CLEANING,R_0013_0038__THE_R_0013_0039__FOOTMAN)
      & has_conj1(R_0013_0043__AND,R_0013_0041__CLEARING_R_0013_0042__AWAY)
      & r_0013_0041__clearing_r_0013_0042__away(R_0013_0041__CLEARING_R_0013_0042__AWAY)
      & has_arg1(R_0013_0041__CLEARING_R_0013_0042__AWAY,R_0013_0045__THE_R_0013_0046__PLATE_R_0013_0047__AND_R_0013_0048__GLASSES)
      & has_arg0(R_0013_0041__CLEARING_R_0013_0042__AWAY,R_0013_0038__THE_R_0013_0039__FOOTMAN)
      & has_conj1(Z_0013_5001,R_0013_0012__AND)
      & r_0013_0012__and(R_0013_0012__AND)
      & has_conj3(R_0013_0012__AND,R_0013_0013__SEES_R_0013_0014__TO)
      & r_0013_0013__sees_r_0013_0014__to(R_0013_0013__SEES_R_0013_0014__TO)
      & has_arg1(R_0013_0013__SEES_R_0013_0014__TO,R_0013_0015__THE_R_0013_0016__LIGHTS)
      & has_arg0(R_0013_0013__SEES_R_0013_0014__TO,R_0013_0001__HE)
      & has_conj2(R_0013_0012__AND,R_0013_0008__ARRANGES)
      & r_0013_0008__arranges(R_0013_0008__ARRANGES)
      & has_arg1(R_0013_0008__ARRANGES,R_0013_0009__THE_R_0013_0010__FIREPLACE)
      & has_arg0(R_0013_0008__ARRANGES,R_0013_0001__HE)
      & has_conj1(R_0013_0012__AND,R_0013_0003__PROCEEDS_R_0013_0004__TO)
      & r_0013_0003__proceeds_r_0013_0004__to(R_0013_0003__PROCEEDS_R_0013_0004__TO)
      & has_arg1(R_0013_0003__PROCEEDS_R_0013_0004__TO,R_0013_0005__THE_R_0013_0006__DRAWING__HYPHEN__ROOM)
      & has_nim(R_0013_0003__PROCEEDS_R_0013_0004__TO,R_0013_0002__NOW)
      & has_arg0(R_0013_0003__PROCEEDS_R_0013_0004__TO,R_0013_0001__HE) ) ).