Context                Previous, Next                Top


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.

%3 r_0005_0005__places places r_0005_0002__dinner dinner r_0005_0005__places->r_0005_0002__dinner At [nim] r_0005_0004__he he r_0005_0005__places->r_0005_0004__he [arg0] r_0005_0006__the_r_0005_0010__articles the articles r_0005_0005__places->r_0005_0006__the_r_0005_0010__articles [arg1] r_0005_0012__the_r_0005_0013__table the table r_0005_0005__places->r_0005_0012__the_r_0005_0013__table on [nim] r_0005_0008__and and r_0005_0006__the_r_0005_0010__articles->r_0005_0008__and [attrib] r_0005_0007__silver silver r_0005_0008__and->r_0005_0007__silver [conj1] r_0005_0009__plated plated r_0005_0008__and->r_0005_0009__plated [conj2] r_0005_0015__sees sees r_0005_0015__sees->r_0005_0002__dinner At [nim] r_0005_0015__sees->r_0005_0004__he [arg0] r_0005_0017__everything_quant everything [quant] r_0005_0015__sees->r_0005_0017__everything_quant [arg1] r_0005_0016__that_r_0005_0018__is that is r_0005_0017__everything_quant->r_0005_0016__that_r_0005_0018__is [scope] z_000_5_a_beeton_1861_51 r_0005_0017__everything_quant->z_000_5_a_beeton_1861_51 [restriction] r_0005_0021__place place r_0005_0016__that_r_0005_0018__is->r_0005_0021__place in [clr] r_0005_0016__that_r_0005_0018__is->z_000_5_a_beeton_1861_51 [arg0] r_0005_0021__place->z_000_5_a_beeton_1861_51 [gen] r_0005_0023__and and r_0005_0023__and->r_0005_0005__places [conj1] r_0005_0023__and->r_0005_0015__sees [conj2] r_0005_0024__rectifies rectifies r_0005_0023__and->r_0005_0024__rectifies [conj3] r_0005_0024__rectifies->r_0005_0002__dinner At [nim] r_0005_0024__rectifies->r_0005_0004__he [arg0] z_000_5_a_beeton_1861_73 r_0005_0024__rectifies->z_000_5_a_beeton_1861_73 [arg1] r_0005_0026__is is r_0005_0026__is->z_000_5_a_beeton_1861_73 [arg0] r_0005_0027__wrong wrong r_0005_0026__is->r_0005_0027__wrong [prd] 
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).


%3 r_0005_0005__places places r_0005_0002__dinner dinner r_0005_0005__places->r_0005_0002__dinner At [nim] r_0005_0004__he he r_0005_0005__places->r_0005_0004__he [arg0] r_0005_0006__the_r_0005_0010__articles the articles r_0005_0005__places->r_0005_0006__the_r_0005_0010__articles [arg1] r_0005_0012__the_r_0005_0013__table the table r_0005_0005__places->r_0005_0012__the_r_0005_0013__table on [nim] r_0005_0008__and and r_0005_0006__the_r_0005_0010__articles->r_0005_0008__and [attrib] r_0005_0007__silver silver r_0005_0008__and->r_0005_0007__silver [conj1] r_0005_0009__plated plated r_0005_0008__and->r_0005_0009__plated [conj2] r_0005_0015__sees sees r_0005_0015__sees->r_0005_0002__dinner At [nim] r_0005_0015__sees->r_0005_0004__he [arg0] r_0005_0017__everything_quant everything [quant] r_0005_0015__sees->r_0005_0017__everything_quant [arg1] r_0005_0016__that_r_0005_0018__is that is r_0005_0017__everything_quant->r_0005_0016__that_r_0005_0018__is [scope] z_000_5_a_beeton_1861_51 r_0005_0017__everything_quant->z_000_5_a_beeton_1861_51 [restriction] r_0005_0021__place place r_0005_0016__that_r_0005_0018__is->r_0005_0021__place in [clr] r_0005_0016__that_r_0005_0018__is->z_000_5_a_beeton_1861_51 [arg0] r_0005_0021__place->z_000_5_a_beeton_1861_51 [gen] r_0005_0023__and and r_0005_0023__and->r_0005_0005__places [conj1] r_0005_0023__and->r_0005_0015__sees [conj2] r_0005_0024__rectifies rectifies r_0005_0023__and->r_0005_0024__rectifies [conj3] r_0005_0024__rectifies->r_0005_0002__dinner At [nim] r_0005_0024__rectifies->r_0005_0004__he [arg0] z_000_5_a_beeton_1861_73 r_0005_0024__rectifies->z_000_5_a_beeton_1861_73 [arg1] r_0005_0026__is is r_0005_0026__is->z_000_5_a_beeton_1861_73 [arg0] r_0005_0027__wrong wrong r_0005_0026__is->r_0005_0027__wrong [prd] 
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) ) ).


n5_a_beeton_1861 n5_a_beeton_1861_4 At n5_a_beeton_1861_7 dinner n5_a_beeton_1861_9 , n5_a_beeton_1861_12 he n5_a_beeton_1861_16 places n5_a_beeton_1861_19 the n5_a_beeton_1861_24 silver n5_a_beeton_1861_27 and n5_a_beeton_1861_30 plated n5_a_beeton_1861_32 articles n5_a_beeton_1861_35 on n5_a_beeton_1861_38 the n5_a_beeton_1861_40 table n5_a_beeton_1861_42 , n5_a_beeton_1861_46 sees n5_a_beeton_1861_50 that n5_a_beeton_1861_53 everything n5_a_beeton_1861_55 is n5_a_beeton_1861_58 in n5_a_beeton_1861_62 its n5_a_beeton_1861_64 place n5_a_beeton_1861_66 , n5_a_beeton_1861_69 and n5_a_beeton_1861_72 rectifies n5_a_beeton_1861_77 what n5_a_beeton_1861_79 is n5_a_beeton_1861_82 wrong n5_a_beeton_1861_84 . n5_a_beeton_1861_1 IP-MAT n5_a_beeton_1861_2 PP-NIM n5_a_beeton_1861_1->n5_a_beeton_1861_2 n5_a_beeton_1861_8 PUNC n5_a_beeton_1861_1->n5_a_beeton_1861_8 n5_a_beeton_1861_10 NP-SBJ n5_a_beeton_1861_1->n5_a_beeton_1861_10 n5_a_beeton_1861_13 ILYR n5_a_beeton_1861_1->n5_a_beeton_1861_13 n5_a_beeton_1861_83 PUNC n5_a_beeton_1861_1->n5_a_beeton_1861_83 n5_a_beeton_1861_3 P-ROLE n5_a_beeton_1861_2->n5_a_beeton_1861_3 n5_a_beeton_1861_5 NP n5_a_beeton_1861_2->n5_a_beeton_1861_5 n5_a_beeton_1861_3->n5_a_beeton_1861_4 n5_a_beeton_1861_6 N n5_a_beeton_1861_5->n5_a_beeton_1861_6 n5_a_beeton_1861_6->n5_a_beeton_1861_7 n5_a_beeton_1861_8->n5_a_beeton_1861_9 n5_a_beeton_1861_11 PRO n5_a_beeton_1861_10->n5_a_beeton_1861_11 n5_a_beeton_1861_11->n5_a_beeton_1861_12 n5_a_beeton_1861_14 ILYR n5_a_beeton_1861_13->n5_a_beeton_1861_14 n5_a_beeton_1861_41 PUNC n5_a_beeton_1861_13->n5_a_beeton_1861_41 n5_a_beeton_1861_43 CONJP n5_a_beeton_1861_13->n5_a_beeton_1861_43 n5_a_beeton_1861_65 PUNC n5_a_beeton_1861_13->n5_a_beeton_1861_65 n5_a_beeton_1861_67 CONJP n5_a_beeton_1861_13->n5_a_beeton_1861_67 n5_a_beeton_1861_15 VBP;_Tn.pr_ n5_a_beeton_1861_14->n5_a_beeton_1861_15 n5_a_beeton_1861_17 NP-OB1 n5_a_beeton_1861_14->n5_a_beeton_1861_17 n5_a_beeton_1861_33 PP-NIM n5_a_beeton_1861_14->n5_a_beeton_1861_33 n5_a_beeton_1861_15->n5_a_beeton_1861_16 n5_a_beeton_1861_18 D n5_a_beeton_1861_17->n5_a_beeton_1861_18 n5_a_beeton_1861_20 ADJP n5_a_beeton_1861_17->n5_a_beeton_1861_20 n5_a_beeton_1861_31 NS n5_a_beeton_1861_17->n5_a_beeton_1861_31 n5_a_beeton_1861_18->n5_a_beeton_1861_19 n5_a_beeton_1861_21 AJLYR n5_a_beeton_1861_20->n5_a_beeton_1861_21 n5_a_beeton_1861_22 AJLYR n5_a_beeton_1861_21->n5_a_beeton_1861_22 n5_a_beeton_1861_25 CONJP n5_a_beeton_1861_21->n5_a_beeton_1861_25 n5_a_beeton_1861_23 ADJ n5_a_beeton_1861_22->n5_a_beeton_1861_23 n5_a_beeton_1861_23->n5_a_beeton_1861_24 n5_a_beeton_1861_26 CONJ n5_a_beeton_1861_25->n5_a_beeton_1861_26 n5_a_beeton_1861_28 AJLYR n5_a_beeton_1861_25->n5_a_beeton_1861_28 n5_a_beeton_1861_26->n5_a_beeton_1861_27 n5_a_beeton_1861_29 ADJ n5_a_beeton_1861_28->n5_a_beeton_1861_29 n5_a_beeton_1861_29->n5_a_beeton_1861_30 n5_a_beeton_1861_31->n5_a_beeton_1861_32 n5_a_beeton_1861_34 P-ROLE n5_a_beeton_1861_33->n5_a_beeton_1861_34 n5_a_beeton_1861_36 NP n5_a_beeton_1861_33->n5_a_beeton_1861_36 n5_a_beeton_1861_34->n5_a_beeton_1861_35 n5_a_beeton_1861_37 D n5_a_beeton_1861_36->n5_a_beeton_1861_37 n5_a_beeton_1861_39 N n5_a_beeton_1861_36->n5_a_beeton_1861_39 n5_a_beeton_1861_37->n5_a_beeton_1861_38 n5_a_beeton_1861_39->n5_a_beeton_1861_40 n5_a_beeton_1861_41->n5_a_beeton_1861_42 n5_a_beeton_1861_44 ILYR n5_a_beeton_1861_43->n5_a_beeton_1861_44 n5_a_beeton_1861_45 VBP;_Tf_ n5_a_beeton_1861_44->n5_a_beeton_1861_45 n5_a_beeton_1861_47 CP-THT-OB1 n5_a_beeton_1861_44->n5_a_beeton_1861_47 n5_a_beeton_1861_45->n5_a_beeton_1861_46 n5_a_beeton_1861_48 IP-SUB n5_a_beeton_1861_47->n5_a_beeton_1861_48 n5_a_beeton_1861_49 C n5_a_beeton_1861_48->n5_a_beeton_1861_49 n5_a_beeton_1861_51 NP-SBJ n5_a_beeton_1861_48->n5_a_beeton_1861_51 n5_a_beeton_1861_54 BEP;_Ipr_ n5_a_beeton_1861_48->n5_a_beeton_1861_54 n5_a_beeton_1861_56 PP-CLR n5_a_beeton_1861_48->n5_a_beeton_1861_56 n5_a_beeton_1861_49->n5_a_beeton_1861_50 n5_a_beeton_1861_52 Q;_nphd_ n5_a_beeton_1861_51->n5_a_beeton_1861_52 n5_a_beeton_1861_52->n5_a_beeton_1861_53 n5_a_beeton_1861_54->n5_a_beeton_1861_55 n5_a_beeton_1861_57 P-ROLE n5_a_beeton_1861_56->n5_a_beeton_1861_57 n5_a_beeton_1861_59 NP n5_a_beeton_1861_56->n5_a_beeton_1861_59 n5_a_beeton_1861_57->n5_a_beeton_1861_58 n5_a_beeton_1861_60 NP-GEN n5_a_beeton_1861_59->n5_a_beeton_1861_60 n5_a_beeton_1861_63 N n5_a_beeton_1861_59->n5_a_beeton_1861_63 n5_a_beeton_1861_61 PRO;_genm_ n5_a_beeton_1861_60->n5_a_beeton_1861_61 n5_a_beeton_1861_61->n5_a_beeton_1861_62 n5_a_beeton_1861_63->n5_a_beeton_1861_64 n5_a_beeton_1861_65->n5_a_beeton_1861_66 n5_a_beeton_1861_68 CONJ n5_a_beeton_1861_67->n5_a_beeton_1861_68 n5_a_beeton_1861_70 ILYR n5_a_beeton_1861_67->n5_a_beeton_1861_70 n5_a_beeton_1861_68->n5_a_beeton_1861_69 n5_a_beeton_1861_71 VBP;_Tn_ n5_a_beeton_1861_70->n5_a_beeton_1861_71 n5_a_beeton_1861_73 NP-OB1 n5_a_beeton_1861_70->n5_a_beeton_1861_73 n5_a_beeton_1861_71->n5_a_beeton_1861_72 n5_a_beeton_1861_74 IP-REL n5_a_beeton_1861_73->n5_a_beeton_1861_74 n5_a_beeton_1861_75 NP-SBJ n5_a_beeton_1861_74->n5_a_beeton_1861_75 n5_a_beeton_1861_78 BEP;_La_ n5_a_beeton_1861_74->n5_a_beeton_1861_78 n5_a_beeton_1861_80 ADJP-PRD n5_a_beeton_1861_74->n5_a_beeton_1861_80 n5_a_beeton_1861_76 RPRO n5_a_beeton_1861_75->n5_a_beeton_1861_76 n5_a_beeton_1861_76->n5_a_beeton_1861_77 n5_a_beeton_1861_78->n5_a_beeton_1861_79 n5_a_beeton_1861_81 ADJ n5_a_beeton_1861_80->n5_a_beeton_1861_81 n5_a_beeton_1861_81->n5_a_beeton_1861_82 n5_a_beeton_1861_83->n5_a_beeton_1861_84 
( (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))