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_14_20_WHILE,Z_14_A_BEETON_1861_21,R_14_8_PREPARED,Z_14_A_BEETON_1861_23,R_14_14_AND,R_14_10_ANSWER,R_14_11_THE_BELL,R_14_15_ATTEND,X_14_A_BEETON_1861_27,R_14_17_THE_COMPANY,R_14_3_RETURNS,R_14_2_THEN,R_14_6_PANTRY,R_14_1_HE] :
      ( the_bell(R_14_11_THE_BELL)
      & the_company(R_14_17_THE_COMPANY)
      & then(R_14_2_THEN)
      & he(R_14_1_HE)
      & while(R_14_20_WHILE)
      & conj1(R_14_20_WHILE,R_14_23_IS)
      & ~ ? [R_14_26_AND,R_14_24_CLEARING,R_14_25_AWAY,R_14_27_CLEANING,R_14_21_THE_FOOTMAN,R_14_30_AND,R_14_29_PLATE,R_14_31_GLASSES] :
            ( away(R_14_25_AWAY)
            & the_footman(R_14_21_THE_FOOTMAN)
            & plate(R_14_29_PLATE)
            & glasses(R_14_31_GLASSES)
            & and(R_14_26_AND)
            & conj1(R_14_26_AND,R_14_24_CLEARING)
            & clearing(R_14_24_CLEARING,R_14_21_THE_FOOTMAN)
            & clr73(R_14_24_CLEARING,R_14_25_AWAY)
            & conj2(R_14_26_AND,R_14_27_CLEANING)
            & cleaning(R_14_27_CLEANING,R_14_21_THE_FOOTMAN,R_14_30_AND)
            & and(R_14_30_AND)
            & conj1(R_14_30_AND,R_14_29_PLATE)
            & conj2(R_14_30_AND,R_14_31_GLASSES) )
      & conj2(R_14_20_WHILE,Z_14_A_BEETON_1861_21)
      & z_14_a_beeton_1861_21(Z_14_A_BEETON_1861_21)
      & conj1(Z_14_A_BEETON_1861_21,R_14_8_PREPARED)
      & prepared(R_14_8_PREPARED,Z_14_A_BEETON_1861_23,R_14_1_HE,R_14_14_AND)
      & and(R_14_14_AND)
      & conj1(R_14_14_AND,R_14_10_ANSWER)
      & answer(R_14_10_ANSWER,X_14_A_BEETON_1861_27,R_14_11_THE_BELL)
      & conj2(R_14_14_AND,R_14_15_ATTEND)
      & attend(R_14_15_ATTEND,X_14_A_BEETON_1861_27)
      & to_clr50(R_14_15_ATTEND,R_14_17_THE_COMPANY)
      & conj2(Z_14_A_BEETON_1861_21,R_14_3_RETURNS)
      & returns(R_14_3_RETURNS,R_14_1_HE)
      & nim5(R_14_3_RETURNS,R_14_2_THEN)
      & to_clr13(R_14_3_RETURNS,R_14_6_PANTRY)
      & pantry(R_14_6_PANTRY)
      & gen(R_14_6_PANTRY,R_14_1_HE) ) ).

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