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.
arc(r_0005_0005__places, r_0005_0002__dinner, r_0005_0001__At_nim5).
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_nim36).
arc(r_0005_0006__the_r_0005_0010__articles, r_0005_0008__and, attrib20).
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_nim5).
arc(r_0005_0015__sees, r_0005_0004__he, arg0).
arc(r_0005_0015__sees, r_0005_0017__everything_quant, arg1).
arc(r_0005_0016__that_r_0005_0018__is, r_0005_0021__place, r_0005_0019__in_clr59).
arc(r_0005_0016__that_r_0005_0018__is, z_000_5_a_beeton_1861_51, arg0).
arc(r_0005_0017__everything_quant, r_0005_0016__that_r_0005_0018__is, scope).
arc(r_0005_0017__everything_quant, z_000_5_a_beeton_1861_51, restriction).
arc(r_0005_0021__place, z_000_5_a_beeton_1861_51, 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_nim5).
arc(r_0005_0024__rectifies, r_0005_0004__he, arg0).
arc(r_0005_0024__rectifies, z_000_5_a_beeton_1861_73, arg1).
arc(r_0005_0026__is, r_0005_0027__wrong, prd).
arc(r_0005_0026__is, z_000_5_a_beeton_1861_73, arg0).
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,Z_000_5_A_BEETON_1861_73,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_0027__wrong(R_0005_0027__WRONG)
& z_000_5_a_beeton_1861_73(Z_000_5_A_BEETON_1861_73)
& r_0005_0026__is(R_0005_0026__IS)
& has_arg0(R_0005_0026__IS,Z_000_5_A_BEETON_1861_73)
& has_prd(R_0005_0026__IS,R_0005_0027__WRONG)
& 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,Z_000_5_A_BEETON_1861_73)
& has_arg0(R_0005_0024__RECTIFIES,R_0005_0004__HE)
& has_r_0005_0001__At_nim5(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_000_5_A_BEETON_1861_51] :
( z_000_5_a_beeton_1861_51(Z_000_5_A_BEETON_1861_51)
=> ? [R_0005_0021__PLACE,R_0005_0016__THAT_R_0005_0018__IS] :
( r_0005_0016__that_r_0005_0018__is(R_0005_0016__THAT_R_0005_0018__IS)
& has_arg0(R_0005_0016__THAT_R_0005_0018__IS,Z_000_5_A_BEETON_1861_51)
& has_r_0005_0019__in_clr59(R_0005_0016__THAT_R_0005_0018__IS,R_0005_0021__PLACE)
& r_0005_0021__place(R_0005_0021__PLACE)
& has_gen(R_0005_0021__PLACE,Z_000_5_A_BEETON_1861_51) ) )
& has_arg0(R_0005_0015__SEES,R_0005_0004__HE)
& has_r_0005_0001__At_nim5(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_nim36(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_attrib20(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_nim5(R_0005_0005__PLACES,R_0005_0002__DINNER) ) ).
( (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))