5_a_beeton_1861
At dinner, he places the silver and plated articles on the table, sees that everything is in its place, and rectifies what is wrong.
( (IP-MAT (PP-NIM (P-ROLE At;{at})
(NP (N dinner;{dinner})))
(PUNC ,)
(NP-SBJ;{BUTLER} (PRO he;{he}))
(ILYR (ILYR (VBP;_Tn.pr_ places;{place})
(NP-OB1 (D the;{the})
(ADJP (AJLYR (AJLYR (ADJ silver;{silver}))
(CONJP (CONJ and;{and})
(AJLYR (ADJ plated;{plated})))))
(NS articles;{article}))
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(N table;{table}))))
(PUNC ,)
(CONJP (ILYR (VBP;_Tf_ sees;{see})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ;{THING} (Q;_nphd_ everything;{everything}))
(BEP;_Ipr_ is;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NP-GEN;{THING} (PRO;_genm_ its;{its}))
(N place;{place})))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tn_ rectifies;{rectify})
(NP-OB1 (IP-REL (NP-SBJ (RPRO what;{what}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ wrong;{wrong})))))))
(PUNC .))
(ID 5_a_beeton_1861;2157-4))
arc(r_0005_0005__places,r_0005_0002__dinner,r_0005_0001__At__nim).
arc(r_0005_0005__places,r_0005_0004__he,arg0).
arc(r_0005_0005__places,r_0005_0006__the_r_0005_0010__articles,arg1).
arc(r_0005_0005__places,r_0005_0012__the_r_0005_0013__table,r_0005_0011__on__nim).
arc(r_0005_0006__the_r_0005_0010__articles,r_0005_0008__and,attrib).
arc(r_0005_0008__and,r_0005_0007__silver,conj1).
arc(r_0005_0008__and,r_0005_0009__plated,conj2).
arc(r_0005_0015__sees,r_0005_0002__dinner,r_0005_0001__At__nim).
arc(r_0005_0015__sees,r_0005_0004__he,arg0).
arc(r_0005_0015__sees,r_0005_0017__everything__quant,arg1).
arc(r_0005_0017__everything__quant,r_0005_0018__is_r_0005_0019__in,scope).
arc(r_0005_0017__everything__quant,z_0005_5011,restriction).
arc(r_0005_0018__is_r_0005_0019__in,r_0005_0021__place,arg1).
arc(r_0005_0018__is_r_0005_0019__in,z_0005_5011,arg0).
arc(r_0005_0021__place,z_0005_5011,gen).
arc(r_0005_0023__and,r_0005_0005__places,conj1).
arc(r_0005_0023__and,r_0005_0015__sees,conj2).
arc(r_0005_0023__and,r_0005_0024__rectifies,conj3).
arc(r_0005_0024__rectifies,r_0005_0002__dinner,r_0005_0001__At__nim).
arc(r_0005_0024__rectifies,r_0005_0004__he,arg0).
arc(r_0005_0024__rectifies,r_0005_0025__what,arg1).
arc(r_0005_0026__is,r_0005_0025__what,arg0).
arc(r_0005_0026__is,r_0005_0027__wrong,prd).
fof(formula,axiom,
? [R_0005_0002__DINNER,R_0005_0004__HE,R_0005_0007__SILVER,R_0005_0009__PLATED,R_0005_0008__AND,R_0005_0006__THE_R_0005_0010__ARTICLES,R_0005_0012__THE_R_0005_0013__TABLE,R_0005_0005__PLACES,R_0005_0015__SEES,R_0005_0025__WHAT,R_0005_0024__RECTIFIES,R_0005_0023__AND,R_0005_0027__WRONG,R_0005_0026__IS] :
( r_0005_0002__dinner(R_0005_0002__DINNER)
& r_0005_0004__he(R_0005_0004__HE)
& r_0005_0007__silver(R_0005_0007__SILVER)
& r_0005_0009__plated(R_0005_0009__PLATED)
& r_0005_0012__the_r_0005_0013__table(R_0005_0012__THE_R_0005_0013__TABLE)
& r_0005_0025__what(R_0005_0025__WHAT)
& r_0005_0027__wrong(R_0005_0027__WRONG)
& r_0005_0026__is(R_0005_0026__IS)
& has_prd(R_0005_0026__IS,R_0005_0027__WRONG)
& has_arg0(R_0005_0026__IS,R_0005_0025__WHAT)
& r_0005_0023__and(R_0005_0023__AND)
& has_conj3(R_0005_0023__AND,R_0005_0024__RECTIFIES)
& r_0005_0024__rectifies(R_0005_0024__RECTIFIES)
& has_arg1(R_0005_0024__RECTIFIES,R_0005_0025__WHAT)
& has_arg0(R_0005_0024__RECTIFIES,R_0005_0004__HE)
& has_r_0005_0001__At__nim(R_0005_0024__RECTIFIES,R_0005_0002__DINNER)
& has_conj2(R_0005_0023__AND,R_0005_0015__SEES)
& r_0005_0015__sees(R_0005_0015__SEES)
& ! [Z_0005_5011] :
( z_0005_5011(Z_0005_5011)
=> ? [R_0005_0021__PLACE,R_0005_0018__IS_R_0005_0019__IN] :
( r_0005_0018__is_r_0005_0019__in(R_0005_0018__IS_R_0005_0019__IN)
& has_arg0(R_0005_0018__IS_R_0005_0019__IN,Z_0005_5011)
& has_arg1(R_0005_0018__IS_R_0005_0019__IN,R_0005_0021__PLACE)
& r_0005_0021__place(R_0005_0021__PLACE)
& has_gen(R_0005_0021__PLACE,Z_0005_5011) ) )
& has_arg0(R_0005_0015__SEES,R_0005_0004__HE)
& has_r_0005_0001__At__nim(R_0005_0015__SEES,R_0005_0002__DINNER)
& has_conj1(R_0005_0023__AND,R_0005_0005__PLACES)
& r_0005_0005__places(R_0005_0005__PLACES)
& has_r_0005_0011__on__nim(R_0005_0005__PLACES,R_0005_0012__THE_R_0005_0013__TABLE)
& has_arg1(R_0005_0005__PLACES,R_0005_0006__THE_R_0005_0010__ARTICLES)
& r_0005_0006__the_r_0005_0010__articles(R_0005_0006__THE_R_0005_0010__ARTICLES)
& has_attrib(R_0005_0006__THE_R_0005_0010__ARTICLES,R_0005_0008__AND)
& r_0005_0008__and(R_0005_0008__AND)
& has_conj2(R_0005_0008__AND,R_0005_0009__PLATED)
& has_conj1(R_0005_0008__AND,R_0005_0007__SILVER)
& has_arg0(R_0005_0005__PLACES,R_0005_0004__HE)
& has_r_0005_0001__At__nim(R_0005_0005__PLACES,R_0005_0002__DINNER) ) ).