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 r_0007_0001__After After r_0007_0007__is_r_0007_0008__supplied is supplied r_0007_0001__After->r_0007_0007__is_r_0007_0008__supplied [conj1] z_000_7_a_beeton_1861_44 r_0007_0001__After->z_000_7_a_beeton_1861_44 [conj2] 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] 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_0012__is is z_000_7_a_beeton_1861_44->r_0007_0012__is [conj2] r_0007_0023__when when z_000_7_a_beeton_1861_44->r_0007_0023__when [conj1] r_0007_0006__plates plates r_0007_0002__the_r_0007_0003__first_r_0007_0004__course->r_0007_0006__plates of 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] 
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_4 After n7_a_beeton_1861_8 the n7_a_beeton_1861_10 first n7_a_beeton_1861_12 course n7_a_beeton_1861_15 of n7_a_beeton_1861_18 plates n7_a_beeton_1861_20 is n7_a_beeton_1861_23 * n7_a_beeton_1861_25 supplied n7_a_beeton_1861_27 , n7_a_beeton_1861_31 his n7_a_beeton_1861_33 place n7_a_beeton_1861_35 is n7_a_beeton_1861_38 at n7_a_beeton_1861_41 the n7_a_beeton_1861_43 sideboard n7_a_beeton_1861_47 to n7_a_beeton_1861_49 serve n7_a_beeton_1861_52 the n7_a_beeton_1861_54 wines n7_a_beeton_1861_56 , n7_a_beeton_1861_58 but n7_a_beeton_1861_61 only n7_a_beeton_1861_64 when n7_a_beeton_1861_67 * n7_a_beeton_1861_69 called n7_a_beeton_1861_72 on n7_a_beeton_1861_74 . n7_a_beeton_1861_1 IP-MAT n7_a_beeton_1861_2 PP-SCON n7_a_beeton_1861_1->n7_a_beeton_1861_2 n7_a_beeton_1861_26 PUNC n7_a_beeton_1861_1->n7_a_beeton_1861_26 n7_a_beeton_1861_28 NP-SBJ n7_a_beeton_1861_1->n7_a_beeton_1861_28 n7_a_beeton_1861_34 BEP;_Ipr_ n7_a_beeton_1861_1->n7_a_beeton_1861_34 n7_a_beeton_1861_36 PP-CLR n7_a_beeton_1861_1->n7_a_beeton_1861_36 n7_a_beeton_1861_44 PP-SCON n7_a_beeton_1861_1->n7_a_beeton_1861_44 n7_a_beeton_1861_73 PUNC n7_a_beeton_1861_1->n7_a_beeton_1861_73 n7_a_beeton_1861_3 P-CONN n7_a_beeton_1861_2->n7_a_beeton_1861_3 n7_a_beeton_1861_5 IP-ADV n7_a_beeton_1861_2->n7_a_beeton_1861_5 n7_a_beeton_1861_3->n7_a_beeton_1861_4 n7_a_beeton_1861_6 NP-SBJ n7_a_beeton_1861_5->n7_a_beeton_1861_6 n7_a_beeton_1861_19 BEP;_cat_VePASS_ n7_a_beeton_1861_5->n7_a_beeton_1861_19 n7_a_beeton_1861_21 IP-PPL-CAT n7_a_beeton_1861_5->n7_a_beeton_1861_21 n7_a_beeton_1861_7 D n7_a_beeton_1861_6->n7_a_beeton_1861_7 n7_a_beeton_1861_9 NUM n7_a_beeton_1861_6->n7_a_beeton_1861_9 n7_a_beeton_1861_11 N n7_a_beeton_1861_6->n7_a_beeton_1861_11 n7_a_beeton_1861_13 PP n7_a_beeton_1861_6->n7_a_beeton_1861_13 n7_a_beeton_1861_7->n7_a_beeton_1861_8 n7_a_beeton_1861_9->n7_a_beeton_1861_10 n7_a_beeton_1861_11->n7_a_beeton_1861_12 n7_a_beeton_1861_14 P-ROLE n7_a_beeton_1861_13->n7_a_beeton_1861_14 n7_a_beeton_1861_16 NP n7_a_beeton_1861_13->n7_a_beeton_1861_16 n7_a_beeton_1861_14->n7_a_beeton_1861_15 n7_a_beeton_1861_17 NS n7_a_beeton_1861_16->n7_a_beeton_1861_17 n7_a_beeton_1861_17->n7_a_beeton_1861_18 n7_a_beeton_1861_19->n7_a_beeton_1861_20 n7_a_beeton_1861_22 NP-LGS n7_a_beeton_1861_21->n7_a_beeton_1861_22 n7_a_beeton_1861_24 VVN;_Tn_ n7_a_beeton_1861_21->n7_a_beeton_1861_24 n7_a_beeton_1861_22->n7_a_beeton_1861_23 n7_a_beeton_1861_24->n7_a_beeton_1861_25 n7_a_beeton_1861_26->n7_a_beeton_1861_27 n7_a_beeton_1861_29 NP-GEN n7_a_beeton_1861_28->n7_a_beeton_1861_29 n7_a_beeton_1861_32 N n7_a_beeton_1861_28->n7_a_beeton_1861_32 n7_a_beeton_1861_30 PRO;_genm_ n7_a_beeton_1861_29->n7_a_beeton_1861_30 n7_a_beeton_1861_30->n7_a_beeton_1861_31 n7_a_beeton_1861_32->n7_a_beeton_1861_33 n7_a_beeton_1861_34->n7_a_beeton_1861_35 n7_a_beeton_1861_37 P-ROLE n7_a_beeton_1861_36->n7_a_beeton_1861_37 n7_a_beeton_1861_39 NP n7_a_beeton_1861_36->n7_a_beeton_1861_39 n7_a_beeton_1861_37->n7_a_beeton_1861_38 n7_a_beeton_1861_40 D n7_a_beeton_1861_39->n7_a_beeton_1861_40 n7_a_beeton_1861_42 N n7_a_beeton_1861_39->n7_a_beeton_1861_42 n7_a_beeton_1861_40->n7_a_beeton_1861_41 n7_a_beeton_1861_42->n7_a_beeton_1861_43 n7_a_beeton_1861_45 IP-INF3 n7_a_beeton_1861_44->n7_a_beeton_1861_45 n7_a_beeton_1861_46 TO n7_a_beeton_1861_45->n7_a_beeton_1861_46 n7_a_beeton_1861_48 VB;_Tn_ n7_a_beeton_1861_45->n7_a_beeton_1861_48 n7_a_beeton_1861_50 NP-OB1 n7_a_beeton_1861_45->n7_a_beeton_1861_50 n7_a_beeton_1861_55 PUNC n7_a_beeton_1861_45->n7_a_beeton_1861_55 n7_a_beeton_1861_57 CONJ;_cl_ n7_a_beeton_1861_45->n7_a_beeton_1861_57 n7_a_beeton_1861_59 ADVP-NIM n7_a_beeton_1861_45->n7_a_beeton_1861_59 n7_a_beeton_1861_62 PP-SCON n7_a_beeton_1861_45->n7_a_beeton_1861_62 n7_a_beeton_1861_46->n7_a_beeton_1861_47 n7_a_beeton_1861_48->n7_a_beeton_1861_49 n7_a_beeton_1861_51 D n7_a_beeton_1861_50->n7_a_beeton_1861_51 n7_a_beeton_1861_53 NS n7_a_beeton_1861_50->n7_a_beeton_1861_53 n7_a_beeton_1861_51->n7_a_beeton_1861_52 n7_a_beeton_1861_53->n7_a_beeton_1861_54 n7_a_beeton_1861_55->n7_a_beeton_1861_56 n7_a_beeton_1861_57->n7_a_beeton_1861_58 n7_a_beeton_1861_60 ADV n7_a_beeton_1861_59->n7_a_beeton_1861_60 n7_a_beeton_1861_60->n7_a_beeton_1861_61 n7_a_beeton_1861_63 P-CONN n7_a_beeton_1861_62->n7_a_beeton_1861_63 n7_a_beeton_1861_65 IP-PPL2 n7_a_beeton_1861_62->n7_a_beeton_1861_65 n7_a_beeton_1861_63->n7_a_beeton_1861_64 n7_a_beeton_1861_66 NP-LGS n7_a_beeton_1861_65->n7_a_beeton_1861_66 n7_a_beeton_1861_68 VVN;_Ipr_ n7_a_beeton_1861_65->n7_a_beeton_1861_68 n7_a_beeton_1861_70 PP-CLR n7_a_beeton_1861_65->n7_a_beeton_1861_70 n7_a_beeton_1861_66->n7_a_beeton_1861_67 n7_a_beeton_1861_68->n7_a_beeton_1861_69 n7_a_beeton_1861_71 P-ROLE n7_a_beeton_1861_70->n7_a_beeton_1861_71 n7_a_beeton_1861_71->n7_a_beeton_1861_72 n7_a_beeton_1861_73->n7_a_beeton_1861_74 
( (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))