TSPC 14_a_beeton

14_a_beeton_1861
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.

arc(r_0014_0003__returns, r_0014_0001__he, arg0).
arc(r_0014_0003__returns, r_0014_0002__then, nim5).
arc(r_0014_0003__returns, r_0014_0006__pantry, r_0014_0004__to_clr13).
arc(r_0014_0006__pantry, r_0014_0001__he, gen).
arc(r_0014_0008__prepared, r_0014_0001__he, arg1).
arc(r_0014_0008__prepared, r_0014_0014__and, prd).
arc(r_0014_0008__prepared, z_000_14_a_beeton_1861_23, arg0).
arc(r_0014_0010__answer, r_0014_0011__the_r_0014_0012__bell, arg1).
arc(r_0014_0010__answer, x_000_14_a_beeton_1861_27, arg0).
arc(r_0014_0014__and, r_0014_0010__answer, conj1).
arc(r_0014_0014__and, r_0014_0015__attend, conj2).
arc(r_0014_0015__attend, r_0014_0017__the_r_0014_0018__company, r_0014_0016__to_clr50).
arc(r_0014_0015__attend, x_000_14_a_beeton_1861_27, arg0).
arc(r_0014_0020__while, r_0014_0023__is, restriction).
arc(r_0014_0020__while, z_000_14_a_beeton_1861_21, scope).
arc(r_0014_0023__is, r_0014_0026__and, scope).
arc(r_0014_0024__clearing, r_0014_0021__the_r_0014_0022__footman, arg0).
arc(r_0014_0024__clearing, r_0014_0025__away, clr73).
arc(r_0014_0026__and, r_0014_0024__clearing, conj1).
arc(r_0014_0026__and, r_0014_0027__cleaning, conj2).
arc(r_0014_0027__cleaning, r_0014_0021__the_r_0014_0022__footman, arg0).
arc(r_0014_0027__cleaning, r_0014_0030__and, arg1).
arc(r_0014_0030__and, r_0014_0029__plate, conj1).
arc(r_0014_0030__and, r_0014_0031__glasses, conj2).
arc(z_000_14_a_beeton_1861_21, r_0014_0003__returns, scope).
arc(z_000_14_a_beeton_1861_21, r_0014_0008__prepared, restriction).

fof(formula,axiom,
    ? [R_0014_0021__THE_R_0014_0022__FOOTMAN,R_0014_0025__AWAY,R_0014_0024__CLEARING,R_0014_0029__PLATE,R_0014_0031__GLASSES,R_0014_0030__AND,R_0014_0027__CLEANING,R_0014_0026__AND,R_0014_0023__IS,R_0014_0001__HE,R_0014_0002__THEN,R_0014_0006__PANTRY,R_0014_0003__RETURNS,R_0014_0011__THE_R_0014_0012__BELL,X_000_14_A_BEETON_1861_27,R_0014_0010__ANSWER,R_0014_0017__THE_R_0014_0018__COMPANY,R_0014_0015__ATTEND,R_0014_0014__AND,Z_000_14_A_BEETON_1861_23,R_0014_0008__PREPARED,Z_000_14_A_BEETON_1861_21,R_0014_0020__WHILE] :
      ( r_0014_0001__he(R_0014_0001__HE)
      & r_0014_0002__then(R_0014_0002__THEN)
      & r_0014_0011__the_r_0014_0012__bell(R_0014_0011__THE_R_0014_0012__BELL)
      & r_0014_0017__the_r_0014_0018__company(R_0014_0017__THE_R_0014_0018__COMPANY)
      & r_0014_0021__the_r_0014_0022__footman(R_0014_0021__THE_R_0014_0022__FOOTMAN)
      & r_0014_0025__away(R_0014_0025__AWAY)
      & r_0014_0029__plate(R_0014_0029__PLATE)
      & r_0014_0031__glasses(R_0014_0031__GLASSES)
      & x_000_14_a_beeton_1861_27(X_000_14_A_BEETON_1861_27)
      & z_000_14_a_beeton_1861_23(Z_000_14_A_BEETON_1861_23)
      & r_0014_0020__while(R_0014_0020__WHILE)
      & has_conj2(R_0014_0020__WHILE,Z_000_14_A_BEETON_1861_21)
      & z_000_14_a_beeton_1861_21(Z_000_14_A_BEETON_1861_21)
      & has_conj1(Z_000_14_A_BEETON_1861_21,R_0014_0008__PREPARED)
      & r_0014_0008__prepared(R_0014_0008__PREPARED)
      & has_arg0(R_0014_0008__PREPARED,Z_000_14_A_BEETON_1861_23)
      & has_prd(R_0014_0008__PREPARED,R_0014_0014__AND)
      & r_0014_0014__and(R_0014_0014__AND)
      & has_conj2(R_0014_0014__AND,R_0014_0015__ATTEND)
      & r_0014_0015__attend(R_0014_0015__ATTEND)
      & has_arg0(R_0014_0015__ATTEND,X_000_14_A_BEETON_1861_27)
      & has_r_0014_0016__to_clr50(R_0014_0015__ATTEND,R_0014_0017__THE_R_0014_0018__COMPANY)
      & has_conj1(R_0014_0014__AND,R_0014_0010__ANSWER)
      & r_0014_0010__answer(R_0014_0010__ANSWER)
      & has_arg0(R_0014_0010__ANSWER,X_000_14_A_BEETON_1861_27)
      & has_arg1(R_0014_0010__ANSWER,R_0014_0011__THE_R_0014_0012__BELL)
      & has_arg1(R_0014_0008__PREPARED,R_0014_0001__HE)
      & has_conj2(Z_000_14_A_BEETON_1861_21,R_0014_0003__RETURNS)
      & r_0014_0003__returns(R_0014_0003__RETURNS)
      & has_r_0014_0004__to_clr13(R_0014_0003__RETURNS,R_0014_0006__PANTRY)
      & r_0014_0006__pantry(R_0014_0006__PANTRY)
      & has_gen(R_0014_0006__PANTRY,R_0014_0001__HE)
      & has_nim5(R_0014_0003__RETURNS,R_0014_0002__THEN)
      & has_arg0(R_0014_0003__RETURNS,R_0014_0001__HE)
      & has_conj1(R_0014_0020__WHILE,R_0014_0023__IS)
      & r_0014_0023__is(R_0014_0023__IS)
      & has_keep_scope(R_0014_0023__IS,R_0014_0026__AND)
      & r_0014_0026__and(R_0014_0026__AND)
      & has_conj2(R_0014_0026__AND,R_0014_0027__CLEANING)
      & r_0014_0027__cleaning(R_0014_0027__CLEANING)
      & has_arg1(R_0014_0027__CLEANING,R_0014_0030__AND)
      & r_0014_0030__and(R_0014_0030__AND)
      & has_conj2(R_0014_0030__AND,R_0014_0031__GLASSES)
      & has_conj1(R_0014_0030__AND,R_0014_0029__PLATE)
      & has_arg0(R_0014_0027__CLEANING,R_0014_0021__THE_R_0014_0022__FOOTMAN)
      & has_conj1(R_0014_0026__AND,R_0014_0024__CLEARING)
      & r_0014_0024__clearing(R_0014_0024__CLEARING)
      & has_clr73(R_0014_0024__CLEARING,R_0014_0025__AWAY)
      & has_arg0(R_0014_0024__CLEARING,R_0014_0021__THE_R_0014_0022__FOOTMAN) ) ).

( (IP-MAT (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-PRD (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;_Ip_ 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 14_a_beeton_1861;2161-2))