Context                Previous, Next                Top


11_a_beeton_1861
Before dinner, he has satisfied himself that the lamps, candles, or gas-burners are in perfect order, if not lighted, which will usually be the case.

%3 r_0011_0005__has has r_0011_0002__dinner dinner r_0011_0005__has->r_0011_0002__dinner Before [nim] r_0011_0006__satisfied satisfied r_0011_0005__has->r_0011_0006__satisfied [scope] r_0011_0004__he he r_0011_0006__satisfied->r_0011_0004__he [arg0] r_0011_0006__satisfied->r_0011_0004__he [arg2] r_0011_0021__if if r_0011_0006__satisfied->r_0011_0021__if [arg1] r_0011_0008__that_r_0011_0016__are that are r_0011_0021__if->r_0011_0008__that_r_0011_0016__are [scope] r_0011_0022__not not r_0011_0021__if->r_0011_0022__not [restriction] r_0011_0014__or or r_0011_0008__that_r_0011_0016__are->r_0011_0014__or [arg0] r_0011_0019__order order r_0011_0008__that_r_0011_0016__are->r_0011_0019__order in [clr] r_0011_0010__lamps lamps r_0011_0014__or->r_0011_0010__lamps [conj1] r_0011_0012__candles candles r_0011_0014__or->r_0011_0012__candles [conj2] r_0011_0015__gas__hyphen__burners gas-burners r_0011_0014__or->r_0011_0015__gas__hyphen__burners [conj3] r_0011_0018__perfect perfect r_0011_0019__order->r_0011_0018__perfect [attrib] r_0011_0023__lighted lighted r_0011_0022__not->r_0011_0023__lighted [keep_scope] r_0011_0023__lighted->r_0011_0014__or [arg1] z_000_11_a_beeton_1861_66 r_0011_0023__lighted->z_000_11_a_beeton_1861_66 [arg0] r_0011_0026__will will r_0011_0028__be be r_0011_0026__will->r_0011_0028__be [scope] r_0011_0028__be->r_0011_0019__order [arg0] r_0011_0027__usually usually r_0011_0028__be->r_0011_0027__usually [nim] r_0011_0029__the_r_0011_0030__case the case r_0011_0028__be->r_0011_0029__the_r_0011_0030__case [prd] 
arc(r_0011_0005__has, r_0011_0002__dinner, r_0011_0001__Before_nim5).
arc(r_0011_0005__has, r_0011_0006__satisfied, scope).
arc(r_0011_0006__satisfied, r_0011_0004__he, arg0).
arc(r_0011_0006__satisfied, r_0011_0004__he, arg2).
arc(r_0011_0006__satisfied, r_0011_0021__if, arg1).
arc(r_0011_0008__that_r_0011_0016__are, r_0011_0014__or, arg0).
arc(r_0011_0008__that_r_0011_0016__are, r_0011_0019__order, r_0011_0017__in_clr51).
arc(r_0011_0014__or, r_0011_0010__lamps, conj1).
arc(r_0011_0014__or, r_0011_0012__candles, conj2).
arc(r_0011_0014__or, r_0011_0015__gas__hyphen__burners, conj3).
arc(r_0011_0019__order, r_0011_0018__perfect, attrib52).
arc(r_0011_0021__if, r_0011_0008__that_r_0011_0016__are, scope).
arc(r_0011_0021__if, r_0011_0022__not, restriction).
arc(r_0011_0022__not, r_0011_0023__lighted, keep_scope).
arc(r_0011_0023__lighted, r_0011_0014__or, arg1).
arc(r_0011_0023__lighted, z_000_11_a_beeton_1861_66, arg0).
arc(r_0011_0026__will, r_0011_0028__be, scope).
arc(r_0011_0028__be, r_0011_0019__order, arg0).
arc(r_0011_0028__be, r_0011_0027__usually, nim81).
arc(r_0011_0028__be, r_0011_0029__the_r_0011_0030__case, prd).


%3 r_0011_0005__has_r_0011_0006__satisfied has satisfied r_0011_0002__dinner dinner r_0011_0005__has_r_0011_0006__satisfied->r_0011_0002__dinner Before [nim] r_0011_0004__he he r_0011_0005__has_r_0011_0006__satisfied->r_0011_0004__he [arg0] r_0011_0005__has_r_0011_0006__satisfied->r_0011_0004__he [arg2] r_0011_0021__if if r_0011_0005__has_r_0011_0006__satisfied->r_0011_0021__if [arg1] r_0011_0008__that_r_0011_0016__are that are r_0011_0021__if->r_0011_0008__that_r_0011_0016__are [scope] r_0011_0022__not not r_0011_0021__if->r_0011_0022__not [restriction] r_0011_0014__or or r_0011_0008__that_r_0011_0016__are->r_0011_0014__or [arg0] r_0011_0019__order order r_0011_0008__that_r_0011_0016__are->r_0011_0019__order in [clr] r_0011_0010__lamps lamps r_0011_0014__or->r_0011_0010__lamps [conj1] r_0011_0012__candles candles r_0011_0014__or->r_0011_0012__candles [conj2] r_0011_0015__gas__hyphen__burners gas-burners r_0011_0014__or->r_0011_0015__gas__hyphen__burners [conj3] r_0011_0018__perfect perfect r_0011_0019__order->r_0011_0018__perfect [attrib] r_0011_0023__lighted lighted r_0011_0022__not->r_0011_0023__lighted [keep_scope] r_0011_0023__lighted->r_0011_0014__or [arg1] z_000_11_a_beeton_1861_66 r_0011_0023__lighted->z_000_11_a_beeton_1861_66 [arg0] r_0011_0026__will_r_0011_0028__be will be r_0011_0026__will_r_0011_0028__be->r_0011_0019__order [arg0] r_0011_0027__usually usually r_0011_0026__will_r_0011_0028__be->r_0011_0027__usually [nim] r_0011_0029__the_r_0011_0030__case the case r_0011_0026__will_r_0011_0028__be->r_0011_0029__the_r_0011_0030__case [prd] 
fof(formula,axiom,
    ? [R_11_5_HAS_SATISFIED,R_11_4_HE,R_11_2_DINNER,R_11_26_WILL_BE,R_11_19_ORDER,R_11_18_PERFECT,R_11_27_USUALLY,R_11_29_THE_CASE] :
      ( he(R_11_4_HE)
      & dinner(R_11_2_DINNER)
      & perfect(R_11_18_PERFECT)
      & usually(R_11_27_USUALLY)
      & the_case(R_11_29_THE_CASE)
      & ( ~ ? [R_11_23_LIGHTED,Z_11_A_BEETON_1861_66,R_11_14_OR,R_11_10_LAMPS,R_11_12_CANDLES,R_11_15_GAS_HYPHEN_BURNERS] :
              ( lamps(R_11_10_LAMPS)
              & candles(R_11_12_CANDLES)
              & gas_hyphen_burners(R_11_15_GAS_HYPHEN_BURNERS)
              & lighted(R_11_23_LIGHTED,Z_11_A_BEETON_1861_66,R_11_14_OR)
              & or(R_11_14_OR)
              & conj1(R_11_14_OR,R_11_10_LAMPS)
              & conj2(R_11_14_OR,R_11_12_CANDLES)
              & conj3(R_11_14_OR,R_11_15_GAS_HYPHEN_BURNERS) )
       => ? [R_11_8_THAT_ARE,R_11_14_OR,R_11_10_LAMPS,R_11_12_CANDLES,R_11_15_GAS_HYPHEN_BURNERS] :
            ( lamps(R_11_10_LAMPS)
            & candles(R_11_12_CANDLES)
            & gas_hyphen_burners(R_11_15_GAS_HYPHEN_BURNERS)
            & that_are(R_11_8_THAT_ARE,R_11_14_OR)
            & or(R_11_14_OR)
            & conj1(R_11_14_OR,R_11_10_LAMPS)
            & conj2(R_11_14_OR,R_11_12_CANDLES)
            & conj3(R_11_14_OR,R_11_15_GAS_HYPHEN_BURNERS)
            & in_clr51(R_11_8_THAT_ARE,R_11_19_ORDER) ) )
      & arg1(ARG1)
      & has_satisfied(R_11_5_HAS_SATISFIED,R_11_4_HE)
      & arg2(R_11_5_HAS_SATISFIED,R_11_4_HE)
      & before_nim5(R_11_5_HAS_SATISFIED,R_11_2_DINNER)
      & will_be(R_11_26_WILL_BE,R_11_19_ORDER,R_11_29_THE_CASE)
      & order(R_11_19_ORDER)
      & attrib52(R_11_19_ORDER,R_11_18_PERFECT)
      & nim81(R_11_26_WILL_BE,R_11_27_USUALLY) ) ).


n11_a_beeton_1861 n11_a_beeton_1861_4 Before n11_a_beeton_1861_7 dinner n11_a_beeton_1861_9 , n11_a_beeton_1861_12 he n11_a_beeton_1861_14 has n11_a_beeton_1861_17 satisfied n11_a_beeton_1861_20 himself n11_a_beeton_1861_24 that n11_a_beeton_1861_27 the n11_a_beeton_1861_31 lamps n11_a_beeton_1861_33 , n11_a_beeton_1861_37 candles n11_a_beeton_1861_39 , n11_a_beeton_1861_42 or n11_a_beeton_1861_45 gas-burners n11_a_beeton_1861_47 are n11_a_beeton_1861_50 in n11_a_beeton_1861_54 perfect n11_a_beeton_1861_56 order n11_a_beeton_1861_58 *ICH*-148 n11_a_beeton_1861_60 , n11_a_beeton_1861_63 if n11_a_beeton_1861_67 * n11_a_beeton_1861_69 not n11_a_beeton_1861_71 lighted n11_a_beeton_1861_73 , n11_a_beeton_1861_77 which n11_a_beeton_1861_79 will n11_a_beeton_1861_83 usually n11_a_beeton_1861_85 be n11_a_beeton_1861_88 the n11_a_beeton_1861_90 case n11_a_beeton_1861_92 . n11_a_beeton_1861_1 IP-MAT n11_a_beeton_1861_2 PP-NIM n11_a_beeton_1861_1->n11_a_beeton_1861_2 n11_a_beeton_1861_8 PUNC n11_a_beeton_1861_1->n11_a_beeton_1861_8 n11_a_beeton_1861_10 NP-SBJ n11_a_beeton_1861_1->n11_a_beeton_1861_10 n11_a_beeton_1861_13 HVP;_cat_Ve_ n11_a_beeton_1861_1->n11_a_beeton_1861_13 n11_a_beeton_1861_15 IP-PPL-CAT n11_a_beeton_1861_1->n11_a_beeton_1861_15 n11_a_beeton_1861_91 PUNC n11_a_beeton_1861_1->n11_a_beeton_1861_91 n11_a_beeton_1861_3 P-ROLE n11_a_beeton_1861_2->n11_a_beeton_1861_3 n11_a_beeton_1861_5 NP n11_a_beeton_1861_2->n11_a_beeton_1861_5 n11_a_beeton_1861_3->n11_a_beeton_1861_4 n11_a_beeton_1861_6 N n11_a_beeton_1861_5->n11_a_beeton_1861_6 n11_a_beeton_1861_6->n11_a_beeton_1861_7 n11_a_beeton_1861_8->n11_a_beeton_1861_9 n11_a_beeton_1861_11 PRO n11_a_beeton_1861_10->n11_a_beeton_1861_11 n11_a_beeton_1861_11->n11_a_beeton_1861_12 n11_a_beeton_1861_13->n11_a_beeton_1861_14 n11_a_beeton_1861_16 VVN;_Dn.f_ n11_a_beeton_1861_15->n11_a_beeton_1861_16 n11_a_beeton_1861_18 NP-OB2 n11_a_beeton_1861_15->n11_a_beeton_1861_18 n11_a_beeton_1861_21 CP-THT-OB1 n11_a_beeton_1861_15->n11_a_beeton_1861_21 n11_a_beeton_1861_16->n11_a_beeton_1861_17 n11_a_beeton_1861_19 PNX n11_a_beeton_1861_18->n11_a_beeton_1861_19 n11_a_beeton_1861_19->n11_a_beeton_1861_20 n11_a_beeton_1861_22 IP-SUB n11_a_beeton_1861_21->n11_a_beeton_1861_22 n11_a_beeton_1861_23 C n11_a_beeton_1861_22->n11_a_beeton_1861_23 n11_a_beeton_1861_25 NP-SBJ n11_a_beeton_1861_22->n11_a_beeton_1861_25 n11_a_beeton_1861_46 BEP;_Ipr_ n11_a_beeton_1861_22->n11_a_beeton_1861_46 n11_a_beeton_1861_48 PP-CLR n11_a_beeton_1861_22->n11_a_beeton_1861_48 n11_a_beeton_1861_59 PUNC n11_a_beeton_1861_22->n11_a_beeton_1861_59 n11_a_beeton_1861_61 PP-SCON n11_a_beeton_1861_22->n11_a_beeton_1861_61 n11_a_beeton_1861_72 PUNC n11_a_beeton_1861_22->n11_a_beeton_1861_72 n11_a_beeton_1861_74 IP-REL-EPD-148 n11_a_beeton_1861_22->n11_a_beeton_1861_74 n11_a_beeton_1861_23->n11_a_beeton_1861_24 n11_a_beeton_1861_26 D n11_a_beeton_1861_25->n11_a_beeton_1861_26 n11_a_beeton_1861_28 NLYR n11_a_beeton_1861_25->n11_a_beeton_1861_28 n11_a_beeton_1861_26->n11_a_beeton_1861_27 n11_a_beeton_1861_29 NLYR n11_a_beeton_1861_28->n11_a_beeton_1861_29 n11_a_beeton_1861_32 PUNC n11_a_beeton_1861_28->n11_a_beeton_1861_32 n11_a_beeton_1861_34 CONJP n11_a_beeton_1861_28->n11_a_beeton_1861_34 n11_a_beeton_1861_38 PUNC n11_a_beeton_1861_28->n11_a_beeton_1861_38 n11_a_beeton_1861_40 CONJP n11_a_beeton_1861_28->n11_a_beeton_1861_40 n11_a_beeton_1861_30 NS n11_a_beeton_1861_29->n11_a_beeton_1861_30 n11_a_beeton_1861_30->n11_a_beeton_1861_31 n11_a_beeton_1861_32->n11_a_beeton_1861_33 n11_a_beeton_1861_35 NLYR n11_a_beeton_1861_34->n11_a_beeton_1861_35 n11_a_beeton_1861_36 NS n11_a_beeton_1861_35->n11_a_beeton_1861_36 n11_a_beeton_1861_36->n11_a_beeton_1861_37 n11_a_beeton_1861_38->n11_a_beeton_1861_39 n11_a_beeton_1861_41 CONJ n11_a_beeton_1861_40->n11_a_beeton_1861_41 n11_a_beeton_1861_43 NLYR n11_a_beeton_1861_40->n11_a_beeton_1861_43 n11_a_beeton_1861_41->n11_a_beeton_1861_42 n11_a_beeton_1861_44 NS n11_a_beeton_1861_43->n11_a_beeton_1861_44 n11_a_beeton_1861_44->n11_a_beeton_1861_45 n11_a_beeton_1861_46->n11_a_beeton_1861_47 n11_a_beeton_1861_49 P-ROLE n11_a_beeton_1861_48->n11_a_beeton_1861_49 n11_a_beeton_1861_51 NP n11_a_beeton_1861_48->n11_a_beeton_1861_51 n11_a_beeton_1861_49->n11_a_beeton_1861_50 n11_a_beeton_1861_52 ADJP n11_a_beeton_1861_51->n11_a_beeton_1861_52 n11_a_beeton_1861_55 N n11_a_beeton_1861_51->n11_a_beeton_1861_55 n11_a_beeton_1861_57 IP-REL n11_a_beeton_1861_51->n11_a_beeton_1861_57 n11_a_beeton_1861_53 ADJ n11_a_beeton_1861_52->n11_a_beeton_1861_53 n11_a_beeton_1861_53->n11_a_beeton_1861_54 n11_a_beeton_1861_55->n11_a_beeton_1861_56 n11_a_beeton_1861_57->n11_a_beeton_1861_58 n11_a_beeton_1861_59->n11_a_beeton_1861_60 n11_a_beeton_1861_62 P-CONN n11_a_beeton_1861_61->n11_a_beeton_1861_62 n11_a_beeton_1861_64 IP-PPL2 n11_a_beeton_1861_61->n11_a_beeton_1861_64 n11_a_beeton_1861_62->n11_a_beeton_1861_63 n11_a_beeton_1861_65 ILYR n11_a_beeton_1861_64->n11_a_beeton_1861_65 n11_a_beeton_1861_66 NP-LGS n11_a_beeton_1861_65->n11_a_beeton_1861_66 n11_a_beeton_1861_68 NEG n11_a_beeton_1861_65->n11_a_beeton_1861_68 n11_a_beeton_1861_70 VBD;_Tn_ n11_a_beeton_1861_65->n11_a_beeton_1861_70 n11_a_beeton_1861_66->n11_a_beeton_1861_67 n11_a_beeton_1861_68->n11_a_beeton_1861_69 n11_a_beeton_1861_70->n11_a_beeton_1861_71 n11_a_beeton_1861_72->n11_a_beeton_1861_73 n11_a_beeton_1861_75 NP-SBJ n11_a_beeton_1861_74->n11_a_beeton_1861_75 n11_a_beeton_1861_78 MD;_cat_Vi_ n11_a_beeton_1861_74->n11_a_beeton_1861_78 n11_a_beeton_1861_80 IP-INF-CAT n11_a_beeton_1861_74->n11_a_beeton_1861_80 n11_a_beeton_1861_76 RPRO n11_a_beeton_1861_75->n11_a_beeton_1861_76 n11_a_beeton_1861_76->n11_a_beeton_1861_77 n11_a_beeton_1861_78->n11_a_beeton_1861_79 n11_a_beeton_1861_81 ADVP-NIM n11_a_beeton_1861_80->n11_a_beeton_1861_81 n11_a_beeton_1861_84 BE;_Ln_ n11_a_beeton_1861_80->n11_a_beeton_1861_84 n11_a_beeton_1861_86 NP-PRD n11_a_beeton_1861_80->n11_a_beeton_1861_86 n11_a_beeton_1861_82 ADV n11_a_beeton_1861_81->n11_a_beeton_1861_82 n11_a_beeton_1861_82->n11_a_beeton_1861_83 n11_a_beeton_1861_84->n11_a_beeton_1861_85 n11_a_beeton_1861_87 D n11_a_beeton_1861_86->n11_a_beeton_1861_87 n11_a_beeton_1861_89 N n11_a_beeton_1861_86->n11_a_beeton_1861_89 n11_a_beeton_1861_87->n11_a_beeton_1861_88 n11_a_beeton_1861_89->n11_a_beeton_1861_90 n11_a_beeton_1861_91->n11_a_beeton_1861_92 
( (IP-MAT (PP-NIM (P-ROLE Before;{before})
                  (NP (N dinner;{dinner})))
          (PUNC ,)
          (NP-SBJ;{BUTLER} (PRO he;{he}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.f_ satisfied;{satisfy})
                      (NP-OB2;{BUTLER} (PNX himself;{himself}))
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (D the;{the})
                                                  (NLYR (NLYR (NS lamps;{lamp}))
                                                        (PUNC ,)
                                                        (CONJP (NLYR (NS candles;{candle})))
                                                        (PUNC ,)
                                                        (CONJP (CONJ or;{or})
                                                               (NLYR (NS gas_<hyphen>_burners;{gas_burners})))))
                                          (BEP;_Ipr_ are;{be[in]})
                                          (PP-CLR (P-ROLE in;{in})
                                                  (NP (ADJP (ADJ perfect;{perfect}))
                                                      (N order;{order})
                                                      (IP-REL *ICH*-148)))
                                          (PUNC ,)
                                          (PP-SCON (P-CONN if;{if})
                                                   (IP-PPL2 (ILYR (NP-LGS *)
                                                                  (NEG not;{not})
                                                                  (VBD;_Tn_ lighted;{light}))))
                                          (PUNC ,)
                                          (IP-REL-EPD-148 (NP-SBJ (RPRO which;{which}))
                                                          (MD;_cat_Vi_ will;{will})
                                                          (IP-INF-CAT (ADVP-NIM (ADV usually;{usually}))
                                                                      (BE;_Ln_ be;{be})
                                                                      (NP-PRD;{ATTRIB} (D the;{the})
                                                                                       (N case;{case})))))))
          (PUNC .))
  (ID 11_a_beeton_1861;2160-1))