Context                Previous, Next                Top


25_a_hardy_1883
The room was lighted by half-a-dozen candles, having wicks only a trifle smaller than the grease which enveloped them, in candlesticks that were never used but at high-days, holy-days, and family feasts.

%3 r_0025_0003__was was r_0025_0004__lighted lighted r_0025_0003__was->r_0025_0004__lighted [scope] r_0025_0001__The_r_0025_0002__room The room r_0025_0004__lighted->r_0025_0001__The_r_0025_0002__room [arg1] r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles half-a-dozen candles r_0025_0004__lighted->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg0] r_0025_0023__candlesticks candlesticks r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles->r_0025_0023__candlesticks in r_0025_0009__having having r_0025_0009__having->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg0] r_0025_0010__wicks wicks r_0025_0009__having->r_0025_0010__wicks [arg1] r_0025_0014__smaller smaller r_0025_0010__wicks->r_0025_0014__smaller [attrib] r_0025_0012__a_r_0025_0013__trifle a trifle r_0025_0014__smaller->r_0025_0012__a_r_0025_0013__trifle [nim] r_0025_0016__the_r_0025_0017__grease the grease r_0025_0014__smaller->r_0025_0016__the_r_0025_0017__grease than r_0025_0011__only only r_0025_0012__a_r_0025_0013__trifle->r_0025_0011__only [qual] r_0025_0019__enveloped enveloped r_0025_0019__enveloped->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg1] r_0025_0019__enveloped->r_0025_0016__the_r_0025_0017__grease [arg0] r_0025_0024__that_r_0025_0025__were that were r_0025_0027__used used r_0025_0024__that_r_0025_0025__were->r_0025_0027__used [scope] r_0025_0027__used->r_0025_0023__candlesticks [arg1] r_0025_0026__never never r_0025_0027__used->r_0025_0026__never [nim] r_0025_0034__and and r_0025_0027__used->r_0025_0034__and but at [nim] z_000_25_a_hardy_1883_72 r_0025_0027__used->z_000_25_a_hardy_1883_72 [arg0] r_0025_0030__high__hyphen__days high-days r_0025_0034__and->r_0025_0030__high__hyphen__days [conj1] r_0025_0032__holy__hyphen__days holy-days r_0025_0034__and->r_0025_0032__holy__hyphen__days [conj2] r_0025_0035__family_r_0025_0036__feasts family feasts r_0025_0034__and->r_0025_0035__family_r_0025_0036__feasts [conj3] 
arc(r_0025_0003__was, r_0025_0004__lighted, scope).
arc(r_0025_0004__lighted, r_0025_0001__The_r_0025_0002__room, arg1).
arc(r_0025_0004__lighted, r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles, arg0).
arc(r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles, r_0025_0023__candlesticks, r_0025_0022__in).
arc(r_0025_0009__having, r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles, arg0).
arc(r_0025_0009__having, r_0025_0010__wicks, arg1).
arc(r_0025_0010__wicks, r_0025_0014__smaller, attrib28).
arc(r_0025_0012__a_r_0025_0013__trifle, r_0025_0011__only, qual30).
arc(r_0025_0014__smaller, r_0025_0012__a_r_0025_0013__trifle, nim29).
arc(r_0025_0014__smaller, r_0025_0016__the_r_0025_0017__grease, r_0025_0015__than).
arc(r_0025_0019__enveloped, r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles, arg1).
arc(r_0025_0019__enveloped, r_0025_0016__the_r_0025_0017__grease, arg0).
arc(r_0025_0024__that_r_0025_0025__were, r_0025_0027__used, scope).
arc(r_0025_0027__used, r_0025_0023__candlesticks, arg1).
arc(r_0025_0027__used, r_0025_0026__never, nim74).
arc(r_0025_0027__used, r_0025_0034__and, r_0025_0028__but_r_0025_0029__at_nim84).
arc(r_0025_0027__used, z_000_25_a_hardy_1883_72, arg0).
arc(r_0025_0034__and, r_0025_0030__high__hyphen__days, conj1).
arc(r_0025_0034__and, r_0025_0032__holy__hyphen__days, conj2).
arc(r_0025_0034__and, r_0025_0035__family_r_0025_0036__feasts, conj3).


%3 r_0025_0003__was_r_0025_0004__lighted was lighted r_0025_0001__The_r_0025_0002__room The room r_0025_0003__was_r_0025_0004__lighted->r_0025_0001__The_r_0025_0002__room [arg1] r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles half-a-dozen candles r_0025_0003__was_r_0025_0004__lighted->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg0] r_0025_0023__candlesticks candlesticks r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles->r_0025_0023__candlesticks in r_0025_0009__having having r_0025_0009__having->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg0] r_0025_0010__wicks wicks r_0025_0009__having->r_0025_0010__wicks [arg1] r_0025_0014__smaller smaller r_0025_0010__wicks->r_0025_0014__smaller [attrib] r_0025_0012__a_r_0025_0013__trifle a trifle r_0025_0014__smaller->r_0025_0012__a_r_0025_0013__trifle [nim] r_0025_0016__the_r_0025_0017__grease the grease r_0025_0014__smaller->r_0025_0016__the_r_0025_0017__grease than r_0025_0011__only only r_0025_0012__a_r_0025_0013__trifle->r_0025_0011__only [qual] r_0025_0019__enveloped enveloped r_0025_0019__enveloped->r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles [arg1] r_0025_0019__enveloped->r_0025_0016__the_r_0025_0017__grease [arg0] r_0025_0024__that_r_0025_0025__were_r_0025_0027__used that were used r_0025_0024__that_r_0025_0025__were_r_0025_0027__used->r_0025_0023__candlesticks [arg1] r_0025_0026__never never r_0025_0024__that_r_0025_0025__were_r_0025_0027__used->r_0025_0026__never [nim] r_0025_0034__and and r_0025_0024__that_r_0025_0025__were_r_0025_0027__used->r_0025_0034__and but at [nim] z_000_25_a_hardy_1883_72 r_0025_0024__that_r_0025_0025__were_r_0025_0027__used->z_000_25_a_hardy_1883_72 [arg0] r_0025_0030__high__hyphen__days high-days r_0025_0034__and->r_0025_0030__high__hyphen__days [conj1] r_0025_0032__holy__hyphen__days holy-days r_0025_0034__and->r_0025_0032__holy__hyphen__days [conj2] r_0025_0035__family_r_0025_0036__feasts family feasts r_0025_0034__and->r_0025_0035__family_r_0025_0036__feasts [conj3] 
fof(formula,axiom,
    ? [R_25_3_WAS_LIGHTED,R_25_1_THE_ROOM,R_25_9_HAVING,R_25_10_WICKS,R_25_14_SMALLER,R_25_12_A_TRIFLE,R_25_11_ONLY,R_25_19_ENVELOPED,R_25_16_THE_GREASE,R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES,R_25_24_THAT_WERE_USED,Z_25_A_HARDY_1883_72,R_25_23_CANDLESTICKS,R_25_26_NEVER,R_25_34_AND,R_25_30_HIGH_HYPHEN_DAYS,R_25_32_HOLY_HYPHEN_DAYS,R_25_35_FAMILY_FEASTS] :
      ( the_room(R_25_1_THE_ROOM)
      & only(R_25_11_ONLY)
      & the_grease(R_25_16_THE_GREASE)
      & candlesticks(R_25_23_CANDLESTICKS)
      & never(R_25_26_NEVER)
      & high_hyphen_days(R_25_30_HIGH_HYPHEN_DAYS)
      & holy_hyphen_days(R_25_32_HOLY_HYPHEN_DAYS)
      & family_feasts(R_25_35_FAMILY_FEASTS)
      & was_lighted(R_25_3_WAS_LIGHTED,R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES,R_25_1_THE_ROOM)
      & half_hyphen_a_hyphen_dozen_candles(R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES)
      & in(R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES,R_25_23_CANDLESTICKS)
      & having(R_25_9_HAVING,R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES,R_25_10_WICKS)
      & wicks(R_25_10_WICKS)
      & attrib28(R_25_10_WICKS,R_25_14_SMALLER)
      & smaller(R_25_14_SMALLER)
      & nim29(R_25_14_SMALLER,R_25_12_A_TRIFLE)
      & a_trifle(R_25_12_A_TRIFLE)
      & qual30(R_25_12_A_TRIFLE,R_25_11_ONLY)
      & than(R_25_14_SMALLER,R_25_16_THE_GREASE)
      & enveloped(R_25_19_ENVELOPED,R_25_16_THE_GREASE,R_25_6_HALF_HYPHEN_A_HYPHEN_DOZEN_CANDLES)
      & that_were_used(R_25_24_THAT_WERE_USED,Z_25_A_HARDY_1883_72,R_25_23_CANDLESTICKS)
      & nim74(R_25_24_THAT_WERE_USED,R_25_26_NEVER)
      & but_at_nim84(R_25_24_THAT_WERE_USED,R_25_34_AND)
      & and(R_25_34_AND)
      & conj1(R_25_34_AND,R_25_30_HIGH_HYPHEN_DAYS)
      & conj2(R_25_34_AND,R_25_32_HOLY_HYPHEN_DAYS)
      & conj3(R_25_34_AND,R_25_35_FAMILY_FEASTS) ) ).


n25_a_hardy_1883 n25_a_hardy_1883_4 The n25_a_hardy_1883_6 room n25_a_hardy_1883_8 was n25_a_hardy_1883_11 lighted n25_a_hardy_1883_14 by n25_a_hardy_1883_17 half-a-dozen n25_a_hardy_1883_19 candles n25_a_hardy_1883_21 , n25_a_hardy_1883_24 having n25_a_hardy_1883_27 wicks n25_a_hardy_1883_32 only n25_a_hardy_1883_34 a n25_a_hardy_1883_36 trifle n25_a_hardy_1883_38 smaller n25_a_hardy_1883_41 than n25_a_hardy_1883_44 the n25_a_hardy_1883_46 grease n25_a_hardy_1883_50 which n25_a_hardy_1883_52 enveloped n25_a_hardy_1883_55 them n25_a_hardy_1883_57 , n25_a_hardy_1883_60 in n25_a_hardy_1883_63 candlesticks n25_a_hardy_1883_66 that n25_a_hardy_1883_68 *T* n25_a_hardy_1883_70 were n25_a_hardy_1883_73 * n25_a_hardy_1883_76 never n25_a_hardy_1883_78 used n25_a_hardy_1883_81 but n25_a_hardy_1883_83 at n25_a_hardy_1883_88 high-days n25_a_hardy_1883_90 , n25_a_hardy_1883_94 holy-days n25_a_hardy_1883_96 , n25_a_hardy_1883_99 and n25_a_hardy_1883_102 family n25_a_hardy_1883_104 feasts n25_a_hardy_1883_106 . n25_a_hardy_1883_1 IP-MAT n25_a_hardy_1883_2 NP-SBJ n25_a_hardy_1883_1->n25_a_hardy_1883_2 n25_a_hardy_1883_7 BED;_cat_VePASS_ n25_a_hardy_1883_1->n25_a_hardy_1883_7 n25_a_hardy_1883_9 IP-PPL-CAT n25_a_hardy_1883_1->n25_a_hardy_1883_9 n25_a_hardy_1883_105 PUNC n25_a_hardy_1883_1->n25_a_hardy_1883_105 n25_a_hardy_1883_3 D n25_a_hardy_1883_2->n25_a_hardy_1883_3 n25_a_hardy_1883_5 N n25_a_hardy_1883_2->n25_a_hardy_1883_5 n25_a_hardy_1883_3->n25_a_hardy_1883_4 n25_a_hardy_1883_5->n25_a_hardy_1883_6 n25_a_hardy_1883_7->n25_a_hardy_1883_8 n25_a_hardy_1883_10 VVN;_Tn_ n25_a_hardy_1883_9->n25_a_hardy_1883_10 n25_a_hardy_1883_12 PP-LGS n25_a_hardy_1883_9->n25_a_hardy_1883_12 n25_a_hardy_1883_10->n25_a_hardy_1883_11 n25_a_hardy_1883_13 P-ROLE;_lgs_ n25_a_hardy_1883_12->n25_a_hardy_1883_13 n25_a_hardy_1883_15 NP n25_a_hardy_1883_12->n25_a_hardy_1883_15 n25_a_hardy_1883_13->n25_a_hardy_1883_14 n25_a_hardy_1883_16 NUM n25_a_hardy_1883_15->n25_a_hardy_1883_16 n25_a_hardy_1883_18 NS n25_a_hardy_1883_15->n25_a_hardy_1883_18 n25_a_hardy_1883_20 PUNC n25_a_hardy_1883_15->n25_a_hardy_1883_20 n25_a_hardy_1883_22 IP-PPL n25_a_hardy_1883_15->n25_a_hardy_1883_22 n25_a_hardy_1883_56 PUNC n25_a_hardy_1883_15->n25_a_hardy_1883_56 n25_a_hardy_1883_58 PP n25_a_hardy_1883_15->n25_a_hardy_1883_58 n25_a_hardy_1883_16->n25_a_hardy_1883_17 n25_a_hardy_1883_18->n25_a_hardy_1883_19 n25_a_hardy_1883_20->n25_a_hardy_1883_21 n25_a_hardy_1883_23 HAG;_Tn_ n25_a_hardy_1883_22->n25_a_hardy_1883_23 n25_a_hardy_1883_25 NP-OB1 n25_a_hardy_1883_22->n25_a_hardy_1883_25 n25_a_hardy_1883_23->n25_a_hardy_1883_24 n25_a_hardy_1883_26 NS n25_a_hardy_1883_25->n25_a_hardy_1883_26 n25_a_hardy_1883_28 ADJP n25_a_hardy_1883_25->n25_a_hardy_1883_28 n25_a_hardy_1883_26->n25_a_hardy_1883_27 n25_a_hardy_1883_29 NP n25_a_hardy_1883_28->n25_a_hardy_1883_29 n25_a_hardy_1883_37 ADJR n25_a_hardy_1883_28->n25_a_hardy_1883_37 n25_a_hardy_1883_39 PP n25_a_hardy_1883_28->n25_a_hardy_1883_39 n25_a_hardy_1883_30 ADVP n25_a_hardy_1883_29->n25_a_hardy_1883_30 n25_a_hardy_1883_33 D n25_a_hardy_1883_29->n25_a_hardy_1883_33 n25_a_hardy_1883_35 N n25_a_hardy_1883_29->n25_a_hardy_1883_35 n25_a_hardy_1883_31 ADV n25_a_hardy_1883_30->n25_a_hardy_1883_31 n25_a_hardy_1883_31->n25_a_hardy_1883_32 n25_a_hardy_1883_33->n25_a_hardy_1883_34 n25_a_hardy_1883_35->n25_a_hardy_1883_36 n25_a_hardy_1883_37->n25_a_hardy_1883_38 n25_a_hardy_1883_40 P-ROLE n25_a_hardy_1883_39->n25_a_hardy_1883_40 n25_a_hardy_1883_42 NP n25_a_hardy_1883_39->n25_a_hardy_1883_42 n25_a_hardy_1883_40->n25_a_hardy_1883_41 n25_a_hardy_1883_43 D n25_a_hardy_1883_42->n25_a_hardy_1883_43 n25_a_hardy_1883_45 N n25_a_hardy_1883_42->n25_a_hardy_1883_45 n25_a_hardy_1883_47 IP-REL n25_a_hardy_1883_42->n25_a_hardy_1883_47 n25_a_hardy_1883_43->n25_a_hardy_1883_44 n25_a_hardy_1883_45->n25_a_hardy_1883_46 n25_a_hardy_1883_48 NP-SBJ n25_a_hardy_1883_47->n25_a_hardy_1883_48 n25_a_hardy_1883_51 VBD;_Tn_ n25_a_hardy_1883_47->n25_a_hardy_1883_51 n25_a_hardy_1883_53 NP-OB1 n25_a_hardy_1883_47->n25_a_hardy_1883_53 n25_a_hardy_1883_49 RPRO n25_a_hardy_1883_48->n25_a_hardy_1883_49 n25_a_hardy_1883_49->n25_a_hardy_1883_50 n25_a_hardy_1883_51->n25_a_hardy_1883_52 n25_a_hardy_1883_54 PRO n25_a_hardy_1883_53->n25_a_hardy_1883_54 n25_a_hardy_1883_54->n25_a_hardy_1883_55 n25_a_hardy_1883_56->n25_a_hardy_1883_57 n25_a_hardy_1883_59 P-ROLE n25_a_hardy_1883_58->n25_a_hardy_1883_59 n25_a_hardy_1883_61 NP n25_a_hardy_1883_58->n25_a_hardy_1883_61 n25_a_hardy_1883_59->n25_a_hardy_1883_60 n25_a_hardy_1883_62 NS n25_a_hardy_1883_61->n25_a_hardy_1883_62 n25_a_hardy_1883_64 IP-REL n25_a_hardy_1883_61->n25_a_hardy_1883_64 n25_a_hardy_1883_62->n25_a_hardy_1883_63 n25_a_hardy_1883_65 C n25_a_hardy_1883_64->n25_a_hardy_1883_65 n25_a_hardy_1883_67 NP-SBJ n25_a_hardy_1883_64->n25_a_hardy_1883_67 n25_a_hardy_1883_69 BED;_cat_VePASS_ n25_a_hardy_1883_64->n25_a_hardy_1883_69 n25_a_hardy_1883_71 IP-PPL-CAT n25_a_hardy_1883_64->n25_a_hardy_1883_71 n25_a_hardy_1883_65->n25_a_hardy_1883_66 n25_a_hardy_1883_67->n25_a_hardy_1883_68 n25_a_hardy_1883_69->n25_a_hardy_1883_70 n25_a_hardy_1883_72 NP-LGS n25_a_hardy_1883_71->n25_a_hardy_1883_72 n25_a_hardy_1883_74 ADVP-NIM n25_a_hardy_1883_71->n25_a_hardy_1883_74 n25_a_hardy_1883_77 VVN;_Tn_ n25_a_hardy_1883_71->n25_a_hardy_1883_77 n25_a_hardy_1883_79 PP-NIM n25_a_hardy_1883_71->n25_a_hardy_1883_79 n25_a_hardy_1883_72->n25_a_hardy_1883_73 n25_a_hardy_1883_75 ADV n25_a_hardy_1883_74->n25_a_hardy_1883_75 n25_a_hardy_1883_75->n25_a_hardy_1883_76 n25_a_hardy_1883_77->n25_a_hardy_1883_78 n25_a_hardy_1883_80 ADV n25_a_hardy_1883_79->n25_a_hardy_1883_80 n25_a_hardy_1883_82 P-ROLE n25_a_hardy_1883_79->n25_a_hardy_1883_82 n25_a_hardy_1883_84 NP n25_a_hardy_1883_79->n25_a_hardy_1883_84 n25_a_hardy_1883_80->n25_a_hardy_1883_81 n25_a_hardy_1883_82->n25_a_hardy_1883_83 n25_a_hardy_1883_85 NLYR n25_a_hardy_1883_84->n25_a_hardy_1883_85 n25_a_hardy_1883_86 NLYR n25_a_hardy_1883_85->n25_a_hardy_1883_86 n25_a_hardy_1883_89 PUNC n25_a_hardy_1883_85->n25_a_hardy_1883_89 n25_a_hardy_1883_91 CONJP n25_a_hardy_1883_85->n25_a_hardy_1883_91 n25_a_hardy_1883_95 PUNC n25_a_hardy_1883_85->n25_a_hardy_1883_95 n25_a_hardy_1883_97 CONJP n25_a_hardy_1883_85->n25_a_hardy_1883_97 n25_a_hardy_1883_87 NS n25_a_hardy_1883_86->n25_a_hardy_1883_87 n25_a_hardy_1883_87->n25_a_hardy_1883_88 n25_a_hardy_1883_89->n25_a_hardy_1883_90 n25_a_hardy_1883_92 NLYR n25_a_hardy_1883_91->n25_a_hardy_1883_92 n25_a_hardy_1883_93 NS n25_a_hardy_1883_92->n25_a_hardy_1883_93 n25_a_hardy_1883_93->n25_a_hardy_1883_94 n25_a_hardy_1883_95->n25_a_hardy_1883_96 n25_a_hardy_1883_98 CONJ n25_a_hardy_1883_97->n25_a_hardy_1883_98 n25_a_hardy_1883_100 NLYR n25_a_hardy_1883_97->n25_a_hardy_1883_100 n25_a_hardy_1883_98->n25_a_hardy_1883_99 n25_a_hardy_1883_101 N n25_a_hardy_1883_100->n25_a_hardy_1883_101 n25_a_hardy_1883_103 NS n25_a_hardy_1883_100->n25_a_hardy_1883_103 n25_a_hardy_1883_101->n25_a_hardy_1883_102 n25_a_hardy_1883_103->n25_a_hardy_1883_104 n25_a_hardy_1883_105->n25_a_hardy_1883_106 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N room;{room}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn_ lighted;{light})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP;{CANDLES} (NUM half_<hyphen>_a_<hyphen>_dozen;{half_a_dozen})
                                            (NS candles;{candle})
                                            (PUNC ,)
                                            (IP-PPL (HAG;_Tn_ having;{have})
                                                    (NP-OB1 (NS wicks;{wick})
                                                            (ADJP (NP (ADVP (ADV only;{only}))
                                                                      (D a;{a})
                                                                      (N trifle;{trifle}))
                                                                  (ADJR smaller;{small})
                                                                  (PP (P-ROLE than;{than})
                                                                      (NP (D the;{the})
                                                                          (N grease;{grease})
                                                                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                                  (VBD;_Tn_ enveloped;{envelop})
                                                                                  (NP-OB1;{CANDLES} (PRO them;{they}))))))))
                                            (PUNC ,)
                                            (PP (P-ROLE in;{in})
                                                (NP (NS candlesticks;{candlestick})
                                                    (IP-REL (C that;{that})
                                                            (NP-SBJ *T*)
                                                            (BED;_cat_VePASS_ were;{be})
                                                            (IP-PPL-CAT (NP-LGS *)
                                                                        (ADVP-NIM (ADV never;{never}))
                                                                        (VVN;_Tn_ used;{use})
                                                                        (PP-NIM (ADV but;{but})
                                                                                (P-ROLE at;{at})
                                                                                (NP (NLYR (NLYR (NS high_<hyphen>_days;{high_days}))
                                                                                          (PUNC ,)
                                                                                          (CONJP (NLYR (NS holy_<hyphen>_days;{holy_days})))
                                                                                          (PUNC ,)
                                                                                          (CONJP (CONJ and;{and})
                                                                                                 (NLYR (N family;{family})
                                                                                                       (NS feasts;{feast})))))))))))))
          (PUNC .))
  (ID 25_a_hardy_1883))