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_5_23_AND,R_5_5_PLACES,R_5_6_THE_ARTICLES,R_5_8_AND,R_5_7_SILVER,R_5_9_PLATED,R_5_12_THE_TABLE,R_5_15_SEES,R_5_24_RECTIFIES,R_5_4_HE,R_5_2_DINNER,R_5_26_IS,Z_5_A_BEETON_1861_73,R_5_27_WRONG] :
( silver(R_5_7_SILVER)
& plated(R_5_9_PLATED)
& the_table(R_5_12_THE_TABLE)
& he(R_5_4_HE)
& dinner(R_5_2_DINNER)
& wrong(R_5_27_WRONG)
& and(R_5_23_AND)
& conj1(R_5_23_AND,R_5_5_PLACES)
& places(R_5_5_PLACES,R_5_4_HE,R_5_6_THE_ARTICLES)
& the_articles(R_5_6_THE_ARTICLES)
& attrib20(R_5_6_THE_ARTICLES,R_5_8_AND)
& and(R_5_8_AND)
& conj1(R_5_8_AND,R_5_7_SILVER)
& conj2(R_5_8_AND,R_5_9_PLATED)
& at_nim5(R_5_5_PLACES,R_5_2_DINNER)
& on_nim36(R_5_5_PLACES,R_5_12_THE_TABLE)
& conj2(R_5_23_AND,R_5_15_SEES)
& ! [Z_5_A_BEETON_1861_51] :
( true
=> ? [R_5_16_THAT_IS,R_5_21_PLACE] :
( that_is(R_5_16_THAT_IS,Z_5_A_BEETON_1861_51)
& in_clr59(R_5_16_THAT_IS,R_5_21_PLACE)
& place(R_5_21_PLACE)
& gen(R_5_21_PLACE,Z_5_A_BEETON_1861_51) ) )
& arg1(ARG1)
& sees(R_5_15_SEES,R_5_4_HE)
& at_nim5(R_5_15_SEES,R_5_2_DINNER)
& conj3(R_5_23_AND,R_5_24_RECTIFIES)
& rectifies(R_5_24_RECTIFIES,R_5_4_HE,Z_5_A_BEETON_1861_73)
& at_nim5(R_5_24_RECTIFIES,R_5_2_DINNER)
& is(R_5_26_IS,Z_5_A_BEETON_1861_73,R_5_27_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))