Context                Previous, Next                Top


16_a_beeton_1861
At bedtime he appears with the candles; he locks up the plate, secures doors and windows, and sees that all the fires are safe.

%3 r_0016_0004__appears appears r_0016_0002__bedtime bedtime r_0016_0004__appears->r_0016_0002__bedtime At [nim] r_0016_0003__he he r_0016_0004__appears->r_0016_0003__he [arg0] r_0016_0006__the_r_0016_0007__candles the candles r_0016_0004__appears->r_0016_0006__the_r_0016_0007__candles with [nim] r_0016_0010__locks_r_0016_0011__up locks up r_0016_0009__he he r_0016_0010__locks_r_0016_0011__up->r_0016_0009__he [arg0] r_0016_0012__the_r_0016_0013__plate the plate r_0016_0010__locks_r_0016_0011__up->r_0016_0012__the_r_0016_0013__plate [arg1] r_0016_0015__secures secures r_0016_0015__secures->r_0016_0009__he [arg0] r_0016_0017__and and r_0016_0015__secures->r_0016_0017__and [arg1] r_0016_0016__doors doors r_0016_0017__and->r_0016_0016__doors [conj1] r_0016_0018__windows windows r_0016_0017__and->r_0016_0018__windows [conj2] r_0016_0020__and and r_0016_0020__and->r_0016_0010__locks_r_0016_0011__up [conj1] r_0016_0020__and->r_0016_0015__secures [conj2] r_0016_0021__sees sees r_0016_0020__and->r_0016_0021__sees [conj3] r_0016_0021__sees->r_0016_0009__he [arg0] r_0016_0023__all_quant all [quant] r_0016_0021__sees->r_0016_0023__all_quant [arg1] r_0016_0022__that_r_0016_0026__are that are r_0016_0023__all_quant->r_0016_0022__that_r_0016_0026__are [scope] r_0016_0024__the_r_0016_0025__fires the fires r_0016_0023__all_quant->r_0016_0024__the_r_0016_0025__fires [restriction] r_0016_0022__that_r_0016_0026__are->r_0016_0024__the_r_0016_0025__fires [arg0] r_0016_0027__safe safe r_0016_0022__that_r_0016_0026__are->r_0016_0027__safe [prd] z_000_16_a_beeton_1861_2 z_000_16_a_beeton_1861_2->r_0016_0004__appears [conj1] z_000_16_a_beeton_1861_2->r_0016_0020__and [conj2] 
arc(r_0016_0004__appears, r_0016_0002__bedtime, r_0016_0001__At_nim7).
arc(r_0016_0004__appears, r_0016_0003__he, arg0).
arc(r_0016_0004__appears, r_0016_0006__the_r_0016_0007__candles, r_0016_0005__with_nim18).
arc(r_0016_0010__locks_r_0016_0011__up, r_0016_0009__he, arg0).
arc(r_0016_0010__locks_r_0016_0011__up, r_0016_0012__the_r_0016_0013__plate, arg1).
arc(r_0016_0015__secures, r_0016_0009__he, arg0).
arc(r_0016_0015__secures, r_0016_0017__and, arg1).
arc(r_0016_0017__and, r_0016_0016__doors, conj1).
arc(r_0016_0017__and, r_0016_0018__windows, conj2).
arc(r_0016_0020__and, r_0016_0010__locks_r_0016_0011__up, conj1).
arc(r_0016_0020__and, r_0016_0015__secures, conj2).
arc(r_0016_0020__and, r_0016_0021__sees, conj3).
arc(r_0016_0021__sees, r_0016_0009__he, arg0).
arc(r_0016_0021__sees, r_0016_0023__all_quant, arg1).
arc(r_0016_0022__that_r_0016_0026__are, r_0016_0024__the_r_0016_0025__fires, arg0).
arc(r_0016_0022__that_r_0016_0026__are, r_0016_0027__safe, prd).
arc(r_0016_0023__all_quant, r_0016_0022__that_r_0016_0026__are, scope).
arc(r_0016_0023__all_quant, r_0016_0024__the_r_0016_0025__fires, restriction).
arc(z_000_16_a_beeton_1861_2, r_0016_0004__appears, conj1).
arc(z_000_16_a_beeton_1861_2, r_0016_0020__and, conj2).


%3 r_0016_0004__appears appears r_0016_0002__bedtime bedtime r_0016_0004__appears->r_0016_0002__bedtime At [nim] r_0016_0003__he he r_0016_0004__appears->r_0016_0003__he [arg0] r_0016_0006__the_r_0016_0007__candles the candles r_0016_0004__appears->r_0016_0006__the_r_0016_0007__candles with [nim] r_0016_0010__locks_r_0016_0011__up locks up r_0016_0009__he he r_0016_0010__locks_r_0016_0011__up->r_0016_0009__he [arg0] r_0016_0012__the_r_0016_0013__plate the plate r_0016_0010__locks_r_0016_0011__up->r_0016_0012__the_r_0016_0013__plate [arg1] r_0016_0015__secures secures r_0016_0015__secures->r_0016_0009__he [arg0] r_0016_0017__and and r_0016_0015__secures->r_0016_0017__and [arg1] r_0016_0016__doors doors r_0016_0017__and->r_0016_0016__doors [conj1] r_0016_0018__windows windows r_0016_0017__and->r_0016_0018__windows [conj2] r_0016_0020__and and r_0016_0020__and->r_0016_0010__locks_r_0016_0011__up [conj1] r_0016_0020__and->r_0016_0015__secures [conj2] r_0016_0021__sees sees r_0016_0020__and->r_0016_0021__sees [conj3] r_0016_0021__sees->r_0016_0009__he [arg0] r_0016_0023__all_quant all [quant] r_0016_0021__sees->r_0016_0023__all_quant [arg1] r_0016_0022__that_r_0016_0026__are that are r_0016_0023__all_quant->r_0016_0022__that_r_0016_0026__are [scope] r_0016_0024__the_r_0016_0025__fires the fires r_0016_0023__all_quant->r_0016_0024__the_r_0016_0025__fires [restriction] r_0016_0022__that_r_0016_0026__are->r_0016_0024__the_r_0016_0025__fires [arg0] r_0016_0027__safe safe r_0016_0022__that_r_0016_0026__are->r_0016_0027__safe [prd] z_000_16_a_beeton_1861_2 z_000_16_a_beeton_1861_2->r_0016_0004__appears [conj1] z_000_16_a_beeton_1861_2->r_0016_0020__and [conj2] 
fof(formula,axiom,
    ? [Z_16_A_BEETON_1861_2,R_16_4_APPEARS,R_16_3_HE,R_16_2_BEDTIME,R_16_6_THE_CANDLES,R_16_20_AND,R_16_10_LOCKS_UP,R_16_12_THE_PLATE,R_16_15_SECURES,R_16_17_AND,R_16_16_DOORS,R_16_18_WINDOWS,R_16_21_SEES,R_16_9_HE] :
      ( he(R_16_3_HE)
      & bedtime(R_16_2_BEDTIME)
      & the_candles(R_16_6_THE_CANDLES)
      & the_plate(R_16_12_THE_PLATE)
      & doors(R_16_16_DOORS)
      & windows(R_16_18_WINDOWS)
      & he(R_16_9_HE)
      & z_16_a_beeton_1861_2(Z_16_A_BEETON_1861_2)
      & conj1(Z_16_A_BEETON_1861_2,R_16_4_APPEARS)
      & appears(R_16_4_APPEARS,R_16_3_HE)
      & at_nim7(R_16_4_APPEARS,R_16_2_BEDTIME)
      & with_nim18(R_16_4_APPEARS,R_16_6_THE_CANDLES)
      & conj2(Z_16_A_BEETON_1861_2,R_16_20_AND)
      & and(R_16_20_AND)
      & conj1(R_16_20_AND,R_16_10_LOCKS_UP)
      & locks_up(R_16_10_LOCKS_UP,R_16_9_HE,R_16_12_THE_PLATE)
      & conj2(R_16_20_AND,R_16_15_SECURES)
      & secures(R_16_15_SECURES,R_16_9_HE,R_16_17_AND)
      & and(R_16_17_AND)
      & conj1(R_16_17_AND,R_16_16_DOORS)
      & conj2(R_16_17_AND,R_16_18_WINDOWS)
      & conj3(R_16_20_AND,R_16_21_SEES)
      & ! [R_16_24_THE_FIRES] :
          ( the_fires(R_16_24_THE_FIRES)
         => ? [R_16_22_THAT_ARE,R_16_27_SAFE] :
              ( safe(R_16_27_SAFE)
              & that_are(R_16_22_THAT_ARE,R_16_24_THE_FIRES,R_16_27_SAFE) ) )
      & arg1(ARG1)
      & sees(R_16_21_SEES,R_16_9_HE) ) ).


n16_a_beeton_1861 n16_a_beeton_1861_6 At n16_a_beeton_1861_9 bedtime n16_a_beeton_1861_12 he n16_a_beeton_1861_14 appears n16_a_beeton_1861_17 with n16_a_beeton_1861_20 the n16_a_beeton_1861_22 candles n16_a_beeton_1861_24 ; n16_a_beeton_1861_29 he n16_a_beeton_1861_33 locks n16_a_beeton_1861_35 up n16_a_beeton_1861_38 the n16_a_beeton_1861_40 plate n16_a_beeton_1861_42 , n16_a_beeton_1861_46 secures n16_a_beeton_1861_51 doors n16_a_beeton_1861_54 and n16_a_beeton_1861_57 windows n16_a_beeton_1861_59 , n16_a_beeton_1861_62 and n16_a_beeton_1861_65 sees n16_a_beeton_1861_69 that n16_a_beeton_1861_72 all n16_a_beeton_1861_74 the n16_a_beeton_1861_76 fires n16_a_beeton_1861_78 are n16_a_beeton_1861_81 safe n16_a_beeton_1861_83 . n16_a_beeton_1861_1 IP-MAT n16_a_beeton_1861_2 ILYR n16_a_beeton_1861_1->n16_a_beeton_1861_2 n16_a_beeton_1861_82 PUNC n16_a_beeton_1861_1->n16_a_beeton_1861_82 n16_a_beeton_1861_3 ILYR n16_a_beeton_1861_2->n16_a_beeton_1861_3 n16_a_beeton_1861_23 PUNC n16_a_beeton_1861_2->n16_a_beeton_1861_23 n16_a_beeton_1861_25 CONJP n16_a_beeton_1861_2->n16_a_beeton_1861_25 n16_a_beeton_1861_4 PP-NIM n16_a_beeton_1861_3->n16_a_beeton_1861_4 n16_a_beeton_1861_10 NP-SBJ n16_a_beeton_1861_3->n16_a_beeton_1861_10 n16_a_beeton_1861_13 VBP;_I_ n16_a_beeton_1861_3->n16_a_beeton_1861_13 n16_a_beeton_1861_15 PP-NIM n16_a_beeton_1861_3->n16_a_beeton_1861_15 n16_a_beeton_1861_5 P-ROLE n16_a_beeton_1861_4->n16_a_beeton_1861_5 n16_a_beeton_1861_7 NP n16_a_beeton_1861_4->n16_a_beeton_1861_7 n16_a_beeton_1861_5->n16_a_beeton_1861_6 n16_a_beeton_1861_8 N n16_a_beeton_1861_7->n16_a_beeton_1861_8 n16_a_beeton_1861_8->n16_a_beeton_1861_9 n16_a_beeton_1861_11 PRO n16_a_beeton_1861_10->n16_a_beeton_1861_11 n16_a_beeton_1861_11->n16_a_beeton_1861_12 n16_a_beeton_1861_13->n16_a_beeton_1861_14 n16_a_beeton_1861_16 P-ROLE n16_a_beeton_1861_15->n16_a_beeton_1861_16 n16_a_beeton_1861_18 NP n16_a_beeton_1861_15->n16_a_beeton_1861_18 n16_a_beeton_1861_16->n16_a_beeton_1861_17 n16_a_beeton_1861_19 D n16_a_beeton_1861_18->n16_a_beeton_1861_19 n16_a_beeton_1861_21 NS n16_a_beeton_1861_18->n16_a_beeton_1861_21 n16_a_beeton_1861_19->n16_a_beeton_1861_20 n16_a_beeton_1861_21->n16_a_beeton_1861_22 n16_a_beeton_1861_23->n16_a_beeton_1861_24 n16_a_beeton_1861_26 ILYR n16_a_beeton_1861_25->n16_a_beeton_1861_26 n16_a_beeton_1861_27 NP-SBJ n16_a_beeton_1861_26->n16_a_beeton_1861_27 n16_a_beeton_1861_30 ILYR n16_a_beeton_1861_26->n16_a_beeton_1861_30 n16_a_beeton_1861_28 PRO n16_a_beeton_1861_27->n16_a_beeton_1861_28 n16_a_beeton_1861_28->n16_a_beeton_1861_29 n16_a_beeton_1861_31 ILYR n16_a_beeton_1861_30->n16_a_beeton_1861_31 n16_a_beeton_1861_41 PUNC n16_a_beeton_1861_30->n16_a_beeton_1861_41 n16_a_beeton_1861_43 CONJP n16_a_beeton_1861_30->n16_a_beeton_1861_43 n16_a_beeton_1861_58 PUNC n16_a_beeton_1861_30->n16_a_beeton_1861_58 n16_a_beeton_1861_60 CONJP n16_a_beeton_1861_30->n16_a_beeton_1861_60 n16_a_beeton_1861_32 VBP;_phr_Vn<=>p_ n16_a_beeton_1861_31->n16_a_beeton_1861_32 n16_a_beeton_1861_34 RP n16_a_beeton_1861_31->n16_a_beeton_1861_34 n16_a_beeton_1861_36 NP-OB1 n16_a_beeton_1861_31->n16_a_beeton_1861_36 n16_a_beeton_1861_32->n16_a_beeton_1861_33 n16_a_beeton_1861_34->n16_a_beeton_1861_35 n16_a_beeton_1861_37 D n16_a_beeton_1861_36->n16_a_beeton_1861_37 n16_a_beeton_1861_39 N n16_a_beeton_1861_36->n16_a_beeton_1861_39 n16_a_beeton_1861_37->n16_a_beeton_1861_38 n16_a_beeton_1861_39->n16_a_beeton_1861_40 n16_a_beeton_1861_41->n16_a_beeton_1861_42 n16_a_beeton_1861_44 ILYR n16_a_beeton_1861_43->n16_a_beeton_1861_44 n16_a_beeton_1861_45 VBP;_Tn_ n16_a_beeton_1861_44->n16_a_beeton_1861_45 n16_a_beeton_1861_47 NP-OB1 n16_a_beeton_1861_44->n16_a_beeton_1861_47 n16_a_beeton_1861_45->n16_a_beeton_1861_46 n16_a_beeton_1861_48 NLYR n16_a_beeton_1861_47->n16_a_beeton_1861_48 n16_a_beeton_1861_49 NLYR n16_a_beeton_1861_48->n16_a_beeton_1861_49 n16_a_beeton_1861_52 CONJP n16_a_beeton_1861_48->n16_a_beeton_1861_52 n16_a_beeton_1861_50 NS n16_a_beeton_1861_49->n16_a_beeton_1861_50 n16_a_beeton_1861_50->n16_a_beeton_1861_51 n16_a_beeton_1861_53 CONJ n16_a_beeton_1861_52->n16_a_beeton_1861_53 n16_a_beeton_1861_55 NLYR n16_a_beeton_1861_52->n16_a_beeton_1861_55 n16_a_beeton_1861_53->n16_a_beeton_1861_54 n16_a_beeton_1861_56 NS n16_a_beeton_1861_55->n16_a_beeton_1861_56 n16_a_beeton_1861_56->n16_a_beeton_1861_57 n16_a_beeton_1861_58->n16_a_beeton_1861_59 n16_a_beeton_1861_61 CONJ n16_a_beeton_1861_60->n16_a_beeton_1861_61 n16_a_beeton_1861_63 ILYR n16_a_beeton_1861_60->n16_a_beeton_1861_63 n16_a_beeton_1861_61->n16_a_beeton_1861_62 n16_a_beeton_1861_64 VBP;_Tf_ n16_a_beeton_1861_63->n16_a_beeton_1861_64 n16_a_beeton_1861_66 CP-THT-OB1 n16_a_beeton_1861_63->n16_a_beeton_1861_66 n16_a_beeton_1861_64->n16_a_beeton_1861_65 n16_a_beeton_1861_67 IP-SUB n16_a_beeton_1861_66->n16_a_beeton_1861_67 n16_a_beeton_1861_68 C n16_a_beeton_1861_67->n16_a_beeton_1861_68 n16_a_beeton_1861_70 NP-SBJ n16_a_beeton_1861_67->n16_a_beeton_1861_70 n16_a_beeton_1861_77 BEP;_La_ n16_a_beeton_1861_67->n16_a_beeton_1861_77 n16_a_beeton_1861_79 ADJP-PRD n16_a_beeton_1861_67->n16_a_beeton_1861_79 n16_a_beeton_1861_68->n16_a_beeton_1861_69 n16_a_beeton_1861_71 Q;_nphd_ n16_a_beeton_1861_70->n16_a_beeton_1861_71 n16_a_beeton_1861_73 D n16_a_beeton_1861_70->n16_a_beeton_1861_73 n16_a_beeton_1861_75 NS n16_a_beeton_1861_70->n16_a_beeton_1861_75 n16_a_beeton_1861_71->n16_a_beeton_1861_72 n16_a_beeton_1861_73->n16_a_beeton_1861_74 n16_a_beeton_1861_75->n16_a_beeton_1861_76 n16_a_beeton_1861_77->n16_a_beeton_1861_78 n16_a_beeton_1861_80 ADJ n16_a_beeton_1861_79->n16_a_beeton_1861_80 n16_a_beeton_1861_80->n16_a_beeton_1861_81 n16_a_beeton_1861_82->n16_a_beeton_1861_83 
( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE At;{at})
                              (NP (N bedtime;{bedtime})))
                      (NP-SBJ;{BUTLER} (PRO he;{he}))
                      (VBP;_I_ appears;{appear})
                      (PP-NIM (P-ROLE with;{with})
                              (NP (D the;{the})
                                  (NS candles;{candle}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{BUTLER} (PRO he;{he}))
                             (ILYR (ILYR (VBP;_phr_Vn<=>p_ locks;{lock[up]})
                                         (RP up;{up})
                                         (NP-OB1 (D the;{the})
                                                 (N plate;{plate})))
                                   (PUNC ,)
                                   (CONJP (ILYR (VBP;_Tn_ secures;{secure})
                                                (NP-OB1 (NLYR (NLYR (NS doors;{door}))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (NS windows;{window})))))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VBP;_Tf_ sees;{see})
                                                (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                    (NP-SBJ (Q;_nphd_ all;{all})
                                                                            (D the;{the})
                                                                            (NS fires;{fire}))
                                                                    (BEP;_La_ are;{be})
                                                                    (ADJP-PRD (ADJ safe;{safe}))))))))))
          (PUNC .))
  (ID 16_a_beeton_1861;2162-3))