Context                Previous, Next                Top


7_a_beeton_1861
After the first course of plates is supplied, his place is at the sideboard to serve the wines, but only when called on.

%3 r_0007_0001__After After r_0007_0007__is is r_0007_0001__After->r_0007_0007__is [restriction] z_000_7_a_beeton_1861_44 r_0007_0001__After->z_000_7_a_beeton_1861_44 [scope] r_0007_0008__supplied supplied r_0007_0007__is->r_0007_0008__supplied [scope] r_0007_0012__is is z_000_7_a_beeton_1861_44->r_0007_0012__is [scope] r_0007_0023__when when z_000_7_a_beeton_1861_44->r_0007_0023__when [restriction] r_0007_0002__the_r_0007_0003__first_r_0007_0004__course the first course r_0007_0006__plates plates r_0007_0002__the_r_0007_0003__first_r_0007_0004__course->r_0007_0006__plates of r_0007_0008__supplied->r_0007_0002__the_r_0007_0003__first_r_0007_0004__course [arg1] z_000_7_a_beeton_1861_22 r_0007_0008__supplied->z_000_7_a_beeton_1861_22 [arg0] r_0007_0011__place place r_0007_0010__his his r_0007_0011__place->r_0007_0010__his [gen] r_0007_0012__is->r_0007_0011__place [arg0] r_0007_0014__the_r_0007_0015__sideboard the sideboard r_0007_0012__is->r_0007_0014__the_r_0007_0015__sideboard at [clr] r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but to serve but r_0007_0018__the_r_0007_0019__wines the wines r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->r_0007_0018__the_r_0007_0019__wines [arg1] r_0007_0022__only only r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->r_0007_0022__only [nim] z_000_7_a_beeton_1861_45 r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->z_000_7_a_beeton_1861_45 [arg0] r_0007_0023__when->r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but [scope] r_0007_0024__called called r_0007_0023__when->r_0007_0024__called [restriction] r_0007_0024__called->z_000_7_a_beeton_1861_45 [arg1] z_000_7_a_beeton_1861_66 r_0007_0024__called->z_000_7_a_beeton_1861_66 [arg0] 
arc(r_0007_0001__After, r_0007_0007__is, restriction).
arc(r_0007_0001__After, z_000_7_a_beeton_1861_44, scope).
arc(r_0007_0002__the_r_0007_0003__first_r_0007_0004__course, r_0007_0006__plates, r_0007_0005__of).
arc(r_0007_0007__is, r_0007_0008__supplied, scope).
arc(r_0007_0008__supplied, r_0007_0002__the_r_0007_0003__first_r_0007_0004__course, arg1).
arc(r_0007_0008__supplied, z_000_7_a_beeton_1861_22, arg0).
arc(r_0007_0011__place, r_0007_0010__his, gen).
arc(r_0007_0012__is, r_0007_0011__place, arg0).
arc(r_0007_0012__is, r_0007_0014__the_r_0007_0015__sideboard, r_0007_0013__at_clr39).
arc(r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but, r_0007_0018__the_r_0007_0019__wines, arg1).
arc(r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but, r_0007_0022__only, nim59).
arc(r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but, z_000_7_a_beeton_1861_45, arg0).
arc(r_0007_0023__when, r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but, scope).
arc(r_0007_0023__when, r_0007_0024__called, restriction).
arc(r_0007_0024__called, z_000_7_a_beeton_1861_45, arg1).
arc(r_0007_0024__called, z_000_7_a_beeton_1861_66, arg0).
arc(z_000_7_a_beeton_1861_44, r_0007_0012__is, scope).
arc(z_000_7_a_beeton_1861_44, r_0007_0023__when, restriction).


%3 z_000_7_a_beeton_1861_44 r_0007_0023__when when z_000_7_a_beeton_1861_44->r_0007_0023__when [conj1] r_0007_0012__is is z_000_7_a_beeton_1861_44->r_0007_0012__is [conj2] r_0007_0024__called called r_0007_0023__when->r_0007_0024__called [restriction] r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but to serve but r_0007_0023__when->r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but [scope] r_0007_0014__the_r_0007_0015__sideboard the sideboard r_0007_0012__is->r_0007_0014__the_r_0007_0015__sideboard at [clr] r_0007_0011__place place r_0007_0012__is->r_0007_0011__place [arg0] z_000_7_a_beeton_1861_66 r_0007_0024__called->z_000_7_a_beeton_1861_66 [arg0] z_000_7_a_beeton_1861_45 r_0007_0024__called->z_000_7_a_beeton_1861_45 [arg1] r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->z_000_7_a_beeton_1861_45 [arg0] r_0007_0022__only only r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->r_0007_0022__only [nim] r_0007_0018__the_r_0007_0019__wines the wines r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but->r_0007_0018__the_r_0007_0019__wines [arg1] r_0007_0010__his his r_0007_0011__place->r_0007_0010__his [gen] r_0007_0007__is_r_0007_0008__supplied is supplied z_000_7_a_beeton_1861_22 r_0007_0007__is_r_0007_0008__supplied->z_000_7_a_beeton_1861_22 [arg0] r_0007_0002__the_r_0007_0003__first_r_0007_0004__course the first course r_0007_0007__is_r_0007_0008__supplied->r_0007_0002__the_r_0007_0003__first_r_0007_0004__course [arg1] r_0007_0006__plates plates r_0007_0002__the_r_0007_0003__first_r_0007_0004__course->r_0007_0006__plates of r_0007_0001__After After r_0007_0001__After->z_000_7_a_beeton_1861_44 [conj2] r_0007_0001__After->r_0007_0007__is_r_0007_0008__supplied [conj1] 
fof(formula,axiom,
    ? [R_7_1_AFTER,R_7_7_IS_SUPPLIED,Z_7_A_BEETON_1861_22,R_7_2_THE_FIRST_COURSE,R_7_6_PLATES,Z_7_A_BEETON_1861_44,R_7_12_IS,R_7_11_PLACE,R_7_10_HIS,R_7_14_THE_SIDEBOARD] :
      ( plates(R_7_6_PLATES)
      & his(R_7_10_HIS)
      & the_sideboard(R_7_14_THE_SIDEBOARD)
      & after(R_7_1_AFTER)
      & conj1(R_7_1_AFTER,R_7_7_IS_SUPPLIED)
      & is_supplied(R_7_7_IS_SUPPLIED,Z_7_A_BEETON_1861_22,R_7_2_THE_FIRST_COURSE)
      & the_first_course(R_7_2_THE_FIRST_COURSE)
      & of(R_7_2_THE_FIRST_COURSE,R_7_6_PLATES)
      & conj2(R_7_1_AFTER,Z_7_A_BEETON_1861_44)
      & ! [R_7_24_CALLED,Z_7_A_BEETON_1861_66,Z_7_A_BEETON_1861_45] :
          ( called(R_7_24_CALLED,Z_7_A_BEETON_1861_66,Z_7_A_BEETON_1861_45)
         => ? [R_7_16_TO_SERVE_BUT,R_7_18_THE_WINES,R_7_22_ONLY] :
              ( the_wines(R_7_18_THE_WINES)
              & only(R_7_22_ONLY)
              & to_serve_but(R_7_16_TO_SERVE_BUT,Z_7_A_BEETON_1861_45,R_7_18_THE_WINES)
              & nim59(R_7_16_TO_SERVE_BUT,R_7_22_ONLY) ) )
      & conj1(CONJ1)
      & z_7_a_beeton_1861_44(Z_7_A_BEETON_1861_44)
      & conj2(Z_7_A_BEETON_1861_44,R_7_12_IS)
      & is(R_7_12_IS,R_7_11_PLACE)
      & place(R_7_11_PLACE)
      & gen(R_7_11_PLACE,R_7_10_HIS)
      & at_clr39(R_7_12_IS,R_7_14_THE_SIDEBOARD) ) ).


n7_a_beeton_1861 n7_a_beeton_1861__1_1_1_1 After n7_a_beeton_1861__1_1_2_1_1_1 the n7_a_beeton_1861__1_1_2_1_2_1 first n7_a_beeton_1861__1_1_2_1_3_1 course n7_a_beeton_1861__1_1_2_1_4_1_1 of n7_a_beeton_1861__1_1_2_1_4_2_1_1 plates n7_a_beeton_1861__1_1_2_2_1 is n7_a_beeton_1861__1_1_2_3_1_1 * n7_a_beeton_1861__1_1_2_3_2_1 supplied n7_a_beeton_1861__1_2_1 , n7_a_beeton_1861__1_3_1_1_1 his n7_a_beeton_1861__1_3_2_1 place n7_a_beeton_1861__1_4_1 is n7_a_beeton_1861__1_5_1_1 at n7_a_beeton_1861__1_5_2_1_1 the n7_a_beeton_1861__1_5_2_2_1 sideboard n7_a_beeton_1861__1_6_1_1_1 to n7_a_beeton_1861__1_6_1_2_1 serve n7_a_beeton_1861__1_6_1_3_1_1 the n7_a_beeton_1861__1_6_1_3_2_1 wines n7_a_beeton_1861__1_6_1_4_1 , n7_a_beeton_1861__1_6_1_5_1 but n7_a_beeton_1861__1_6_1_6_1_1 only n7_a_beeton_1861__1_6_1_7_1_1 when n7_a_beeton_1861__1_6_1_7_2_1_1 * n7_a_beeton_1861__1_6_1_7_2_2_1 called n7_a_beeton_1861__1_6_1_7_2_3_1_1 on n7_a_beeton_1861__1_7_1 . n7_a_beeton_1861__1 IP-MAT n7_a_beeton_1861__1_1 PP-SCON n7_a_beeton_1861__1->n7_a_beeton_1861__1_1 n7_a_beeton_1861__1_2 PUNC n7_a_beeton_1861__1->n7_a_beeton_1861__1_2 n7_a_beeton_1861__1_3 NP-SBJ n7_a_beeton_1861__1->n7_a_beeton_1861__1_3 n7_a_beeton_1861__1_4 BEP;_Ipr_ n7_a_beeton_1861__1->n7_a_beeton_1861__1_4 n7_a_beeton_1861__1_5 PP-CLR n7_a_beeton_1861__1->n7_a_beeton_1861__1_5 n7_a_beeton_1861__1_6 PP-SCON n7_a_beeton_1861__1->n7_a_beeton_1861__1_6 n7_a_beeton_1861__1_7 PUNC n7_a_beeton_1861__1->n7_a_beeton_1861__1_7 n7_a_beeton_1861__1_1_1 P-CONN n7_a_beeton_1861__1_1->n7_a_beeton_1861__1_1_1 n7_a_beeton_1861__1_1_2 IP-ADV n7_a_beeton_1861__1_1->n7_a_beeton_1861__1_1_2 n7_a_beeton_1861__1_1_1->n7_a_beeton_1861__1_1_1_1 n7_a_beeton_1861__1_1_2_1 NP-SBJ n7_a_beeton_1861__1_1_2->n7_a_beeton_1861__1_1_2_1 n7_a_beeton_1861__1_1_2_2 BEP;_cat_VePASS_ n7_a_beeton_1861__1_1_2->n7_a_beeton_1861__1_1_2_2 n7_a_beeton_1861__1_1_2_3 IP-PPL-CAT n7_a_beeton_1861__1_1_2->n7_a_beeton_1861__1_1_2_3 n7_a_beeton_1861__1_1_2_1_1 D n7_a_beeton_1861__1_1_2_1->n7_a_beeton_1861__1_1_2_1_1 n7_a_beeton_1861__1_1_2_1_2 NUM n7_a_beeton_1861__1_1_2_1->n7_a_beeton_1861__1_1_2_1_2 n7_a_beeton_1861__1_1_2_1_3 N n7_a_beeton_1861__1_1_2_1->n7_a_beeton_1861__1_1_2_1_3 n7_a_beeton_1861__1_1_2_1_4 PP n7_a_beeton_1861__1_1_2_1->n7_a_beeton_1861__1_1_2_1_4 n7_a_beeton_1861__1_1_2_1_1->n7_a_beeton_1861__1_1_2_1_1_1 n7_a_beeton_1861__1_1_2_1_2->n7_a_beeton_1861__1_1_2_1_2_1 n7_a_beeton_1861__1_1_2_1_3->n7_a_beeton_1861__1_1_2_1_3_1 n7_a_beeton_1861__1_1_2_1_4_1 P-ROLE n7_a_beeton_1861__1_1_2_1_4->n7_a_beeton_1861__1_1_2_1_4_1 n7_a_beeton_1861__1_1_2_1_4_2 NP n7_a_beeton_1861__1_1_2_1_4->n7_a_beeton_1861__1_1_2_1_4_2 n7_a_beeton_1861__1_1_2_1_4_1->n7_a_beeton_1861__1_1_2_1_4_1_1 n7_a_beeton_1861__1_1_2_1_4_2_1 NS n7_a_beeton_1861__1_1_2_1_4_2->n7_a_beeton_1861__1_1_2_1_4_2_1 n7_a_beeton_1861__1_1_2_1_4_2_1->n7_a_beeton_1861__1_1_2_1_4_2_1_1 n7_a_beeton_1861__1_1_2_2->n7_a_beeton_1861__1_1_2_2_1 n7_a_beeton_1861__1_1_2_3_1 NP-LGS n7_a_beeton_1861__1_1_2_3->n7_a_beeton_1861__1_1_2_3_1 n7_a_beeton_1861__1_1_2_3_2 VVN;_Tn_ n7_a_beeton_1861__1_1_2_3->n7_a_beeton_1861__1_1_2_3_2 n7_a_beeton_1861__1_1_2_3_1->n7_a_beeton_1861__1_1_2_3_1_1 n7_a_beeton_1861__1_1_2_3_2->n7_a_beeton_1861__1_1_2_3_2_1 n7_a_beeton_1861__1_2->n7_a_beeton_1861__1_2_1 n7_a_beeton_1861__1_3_1 NP-GEN n7_a_beeton_1861__1_3->n7_a_beeton_1861__1_3_1 n7_a_beeton_1861__1_3_2 N n7_a_beeton_1861__1_3->n7_a_beeton_1861__1_3_2 n7_a_beeton_1861__1_3_1_1 PRO;_genm_ n7_a_beeton_1861__1_3_1->n7_a_beeton_1861__1_3_1_1 n7_a_beeton_1861__1_3_1_1->n7_a_beeton_1861__1_3_1_1_1 n7_a_beeton_1861__1_3_2->n7_a_beeton_1861__1_3_2_1 n7_a_beeton_1861__1_4->n7_a_beeton_1861__1_4_1 n7_a_beeton_1861__1_5_1 P-ROLE n7_a_beeton_1861__1_5->n7_a_beeton_1861__1_5_1 n7_a_beeton_1861__1_5_2 NP n7_a_beeton_1861__1_5->n7_a_beeton_1861__1_5_2 n7_a_beeton_1861__1_5_1->n7_a_beeton_1861__1_5_1_1 n7_a_beeton_1861__1_5_2_1 D n7_a_beeton_1861__1_5_2->n7_a_beeton_1861__1_5_2_1 n7_a_beeton_1861__1_5_2_2 N n7_a_beeton_1861__1_5_2->n7_a_beeton_1861__1_5_2_2 n7_a_beeton_1861__1_5_2_1->n7_a_beeton_1861__1_5_2_1_1 n7_a_beeton_1861__1_5_2_2->n7_a_beeton_1861__1_5_2_2_1 n7_a_beeton_1861__1_6_1 IP-INF3 n7_a_beeton_1861__1_6->n7_a_beeton_1861__1_6_1 n7_a_beeton_1861__1_6_1_1 TO n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_1 n7_a_beeton_1861__1_6_1_2 VB;_Tn_ n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_2 n7_a_beeton_1861__1_6_1_3 NP-OB1 n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_3 n7_a_beeton_1861__1_6_1_4 PUNC n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_4 n7_a_beeton_1861__1_6_1_5 CONJ;_cl_ n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_5 n7_a_beeton_1861__1_6_1_6 ADVP-NIM n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_6 n7_a_beeton_1861__1_6_1_7 PP-SCON n7_a_beeton_1861__1_6_1->n7_a_beeton_1861__1_6_1_7 n7_a_beeton_1861__1_6_1_1->n7_a_beeton_1861__1_6_1_1_1 n7_a_beeton_1861__1_6_1_2->n7_a_beeton_1861__1_6_1_2_1 n7_a_beeton_1861__1_6_1_3_1 D n7_a_beeton_1861__1_6_1_3->n7_a_beeton_1861__1_6_1_3_1 n7_a_beeton_1861__1_6_1_3_2 NS n7_a_beeton_1861__1_6_1_3->n7_a_beeton_1861__1_6_1_3_2 n7_a_beeton_1861__1_6_1_3_1->n7_a_beeton_1861__1_6_1_3_1_1 n7_a_beeton_1861__1_6_1_3_2->n7_a_beeton_1861__1_6_1_3_2_1 n7_a_beeton_1861__1_6_1_4->n7_a_beeton_1861__1_6_1_4_1 n7_a_beeton_1861__1_6_1_5->n7_a_beeton_1861__1_6_1_5_1 n7_a_beeton_1861__1_6_1_6_1 ADV n7_a_beeton_1861__1_6_1_6->n7_a_beeton_1861__1_6_1_6_1 n7_a_beeton_1861__1_6_1_6_1->n7_a_beeton_1861__1_6_1_6_1_1 n7_a_beeton_1861__1_6_1_7_1 P-CONN n7_a_beeton_1861__1_6_1_7->n7_a_beeton_1861__1_6_1_7_1 n7_a_beeton_1861__1_6_1_7_2 IP-PPL2 n7_a_beeton_1861__1_6_1_7->n7_a_beeton_1861__1_6_1_7_2 n7_a_beeton_1861__1_6_1_7_1->n7_a_beeton_1861__1_6_1_7_1_1 n7_a_beeton_1861__1_6_1_7_2_1 NP-LGS n7_a_beeton_1861__1_6_1_7_2->n7_a_beeton_1861__1_6_1_7_2_1 n7_a_beeton_1861__1_6_1_7_2_2 VVN;_Ipr_ n7_a_beeton_1861__1_6_1_7_2->n7_a_beeton_1861__1_6_1_7_2_2 n7_a_beeton_1861__1_6_1_7_2_3 PP-CLR n7_a_beeton_1861__1_6_1_7_2->n7_a_beeton_1861__1_6_1_7_2_3 n7_a_beeton_1861__1_6_1_7_2_1->n7_a_beeton_1861__1_6_1_7_2_1_1 n7_a_beeton_1861__1_6_1_7_2_2->n7_a_beeton_1861__1_6_1_7_2_2_1 n7_a_beeton_1861__1_6_1_7_2_3_1 P-ROLE n7_a_beeton_1861__1_6_1_7_2_3->n7_a_beeton_1861__1_6_1_7_2_3_1 n7_a_beeton_1861__1_6_1_7_2_3_1->n7_a_beeton_1861__1_6_1_7_2_3_1_1 n7_a_beeton_1861__1_7->n7_a_beeton_1861__1_7_1 
( (IP-MAT (PP-SCON (P-CONN After;{after})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NUM first;{first})
                                   (N course;{course})
                                   (PP (P-ROLE of;{of})
                                       (NP (NS plates;{plate}))))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ supplied;{supply}))))
          (PUNC ,)
          (NP-SBJ (NP-GEN;{BUTLER} (PRO;_genm_ his;{his}))
                  (N place;{place}))
          (BEP;_Ipr_ is;{be[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N sideboard;{sideboard})))
          (PP-SCON (IP-INF3 (TO to;{to})
                            (VB;_Tn_ serve;{serve})
                            (NP-OB1 (D the;{the})
                                    (NS wines;{wine}))
                            (PUNC ,)
                            (CONJ;_cl_ but;{but})
                            (ADVP-NIM (ADV only;{only}))
                            (PP-SCON (P-CONN when;{when})
                                     (IP-PPL2 (NP-LGS *)
                                              (VVN;_Ipr_ called;{call[on]})
                                              (PP-CLR (P-ROLE on;{on}))))))
          (PUNC .))
  (ID 7_a_beeton_1861;2157-6))