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.
( (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))
arc(r_0007_0001__After,r_0007_0007__is,restriction).
arc(r_0007_0001__After,z_0007_5010,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_0007_5005___star_,arg0).
arc(r_0007_0011__place,r_0007_0010__his,gen).
arc(r_0007_0012__is_r_0007_0013__at,r_0007_0011__place,arg0).
arc(r_0007_0012__is_r_0007_0013__at,r_0007_0014__the_r_0007_0015__sideboard,arg1).
arc(r_0007_0017__serve,r_0007_0018__the_r_0007_0019__wines,arg1).
arc(r_0007_0017__serve,r_0007_0022__only,nim).
arc(r_0007_0017__serve,z_0007_5013,arg0).
arc(r_0007_0023__when,r_0007_0017__serve,scope).
arc(r_0007_0023__when,r_0007_0024__called_r_0007_0025__on,restriction).
arc(r_0007_0024__called_r_0007_0025__on,z_0007_5013,arg1).
arc(r_0007_0024__called_r_0007_0025__on,z_0007_5016___star_,arg0).
arc(z_0007_5010,r_0007_0012__is_r_0007_0013__at,scope).
arc(z_0007_5010,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_0007_5005___STAR_,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_R_0007_0013__AT,Z_0007_5010,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_0007_5005___star_(Z_0007_5005___STAR_)
& r_0007_0001__After(R_0007_0001__AFTER)
& has_conj2(R_0007_0001__AFTER,Z_0007_5010)
& z_0007_5010(Z_0007_5010)
& ! [R_0007_0024__CALLED_R_0007_0025__ON,Z_0007_5013,Z_0007_5016___STAR_] :
( ( z_0007_5013(Z_0007_5013)
& z_0007_5016___star_(Z_0007_5016___STAR_)
& r_0007_0024__called_r_0007_0025__on(R_0007_0024__CALLED_R_0007_0025__ON)
& has_arg0(R_0007_0024__CALLED_R_0007_0025__ON,Z_0007_5016___STAR_)
& has_arg1(R_0007_0024__CALLED_R_0007_0025__ON,Z_0007_5013) )
=> ? [R_0007_0018__THE_R_0007_0019__WINES,R_0007_0022__ONLY,R_0007_0017__SERVE] :
( 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_0017__serve(R_0007_0017__SERVE)
& has_arg0(R_0007_0017__SERVE,Z_0007_5013)
& has_nim(R_0007_0017__SERVE,R_0007_0022__ONLY)
& has_arg1(R_0007_0017__SERVE,R_0007_0018__THE_R_0007_0019__WINES) ) )
& has_conj2(Z_0007_5010,R_0007_0012__IS_R_0007_0013__AT)
& r_0007_0012__is_r_0007_0013__at(R_0007_0012__IS_R_0007_0013__AT)
& has_arg1(R_0007_0012__IS_R_0007_0013__AT,R_0007_0014__THE_R_0007_0015__SIDEBOARD)
& has_arg0(R_0007_0012__IS_R_0007_0013__AT,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_0007_5005___STAR_)
& 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) ) ).