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.
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).
fof(formula,axiom,
? [R_0007_0006__PLATES,R_0007_0002__THE_R_0007_0003__FIRST_R_0007_0004__COURSE,Z_000_7_A_BEETON_1861_22,R_0007_0007__IS_R_0007_0008__SUPPLIED,R_0007_0010__HIS,R_0007_0011__PLACE,R_0007_0014__THE_R_0007_0015__SIDEBOARD,R_0007_0012__IS,Z_000_7_A_BEETON_1861_44,R_0007_0001__AFTER] :
( r_0007_0006__plates(R_0007_0006__PLATES)
& r_0007_0010__his(R_0007_0010__HIS)
& r_0007_0014__the_r_0007_0015__sideboard(R_0007_0014__THE_R_0007_0015__SIDEBOARD)
& z_000_7_a_beeton_1861_22(Z_000_7_A_BEETON_1861_22)
& r_0007_0001__After(R_0007_0001__AFTER)
& has_conj2(R_0007_0001__AFTER,Z_000_7_A_BEETON_1861_44)
& z_000_7_a_beeton_1861_44(Z_000_7_A_BEETON_1861_44)
& ! [R_0007_0024__CALLED,Z_000_7_A_BEETON_1861_45,Z_000_7_A_BEETON_1861_66] :
( ( z_000_7_a_beeton_1861_45(Z_000_7_A_BEETON_1861_45)
& z_000_7_a_beeton_1861_66(Z_000_7_A_BEETON_1861_66)
& r_0007_0024__called(R_0007_0024__CALLED)
& has_arg0(R_0007_0024__CALLED,Z_000_7_A_BEETON_1861_66)
& has_arg1(R_0007_0024__CALLED,Z_000_7_A_BEETON_1861_45) )
=> ? [R_0007_0018__THE_R_0007_0019__WINES,R_0007_0022__ONLY,R_0007_0016__TO_R_0007_0017__SERVE_R_0007_0021__BUT] :
( r_0007_0018__the_r_0007_0019__wines(R_0007_0018__THE_R_0007_0019__WINES)
& r_0007_0022__only(R_0007_0022__ONLY)
& r_0007_0016__to_r_0007_0017__serve_r_0007_0021__but(R_0007_0016__TO_R_0007_0017__SERVE_R_0007_0021__BUT)
& has_arg0(R_0007_0016__TO_R_0007_0017__SERVE_R_0007_0021__BUT,Z_000_7_A_BEETON_1861_45)
& has_nim59(R_0007_0016__TO_R_0007_0017__SERVE_R_0007_0021__BUT,R_0007_0022__ONLY)
& has_arg1(R_0007_0016__TO_R_0007_0017__SERVE_R_0007_0021__BUT,R_0007_0018__THE_R_0007_0019__WINES) ) )
& has_conj2(Z_000_7_A_BEETON_1861_44,R_0007_0012__IS)
& r_0007_0012__is(R_0007_0012__IS)
& has_r_0007_0013__at_clr39(R_0007_0012__IS,R_0007_0014__THE_R_0007_0015__SIDEBOARD)
& has_arg0(R_0007_0012__IS,R_0007_0011__PLACE)
& r_0007_0011__place(R_0007_0011__PLACE)
& has_gen(R_0007_0011__PLACE,R_0007_0010__HIS)
& has_conj1(R_0007_0001__AFTER,R_0007_0007__IS_R_0007_0008__SUPPLIED)
& r_0007_0007__is_r_0007_0008__supplied(R_0007_0007__IS_R_0007_0008__SUPPLIED)
& has_arg0(R_0007_0007__IS_R_0007_0008__SUPPLIED,Z_000_7_A_BEETON_1861_22)
& has_arg1(R_0007_0007__IS_R_0007_0008__SUPPLIED,R_0007_0002__THE_R_0007_0003__FIRST_R_0007_0004__COURSE)
& r_0007_0002__the_r_0007_0003__first_r_0007_0004__course(R_0007_0002__THE_R_0007_0003__FIRST_R_0007_0004__COURSE)
& has_r_0007_0005__of(R_0007_0002__THE_R_0007_0003__FIRST_R_0007_0004__COURSE,R_0007_0006__PLATES) ) ).
( (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))