TSPC 25_a_hardy

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.

( (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 (ADVP-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))

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,r_0025_0005__by_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,inv_arg0).
arc(r_0025_0009__having,r_0025_0010__wicks,arg1).
arc(r_0025_0010__wicks,r_0025_0014__smaller,attrib).
arc(r_0025_0012__a_r_0025_0013__trifle,r_0025_0011__only,qual).
arc(r_0025_0014__smaller,r_0025_0012__a_r_0025_0013__trifle,nim).
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_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,nim).
arc(r_0025_0027__used,r_0025_0034__and,r_0025_0028__but_r_0025_0029__at__nim).
arc(r_0025_0027__used,z_0025_5019___star_,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).

fof(formula,axiom,
    ? [R_0025_0001__THE_R_0025_0002__ROOM,R_0025_0023__CANDLESTICKS,R_0025_0011__ONLY,R_0025_0012__A_R_0025_0013__TRIFLE,R_0025_0016__THE_R_0025_0017__GREASE,R_0025_0014__SMALLER,R_0025_0010__WICKS,R_0025_0009__HAVING,R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES,R_0025_0003__WAS_R_0025_0004__LIGHTED,R_0025_0019__ENVELOPED,R_0025_0026__NEVER,R_0025_0030__HIGH__HYPHEN__DAYS,R_0025_0032__HOLY__HYPHEN__DAYS,R_0025_0035__FAMILY_R_0025_0036__FEASTS,R_0025_0034__AND,Z_0025_5019___STAR_,R_0025_0025__WERE_R_0025_0027__USED] :
      ( r_0025_0001__The_r_0025_0002__room(R_0025_0001__THE_R_0025_0002__ROOM)
      & r_0025_0011__only(R_0025_0011__ONLY)
      & r_0025_0016__the_r_0025_0017__grease(R_0025_0016__THE_R_0025_0017__GREASE)
      & r_0025_0023__candlesticks(R_0025_0023__CANDLESTICKS)
      & r_0025_0026__never(R_0025_0026__NEVER)
      & r_0025_0030__high__hyphen__days(R_0025_0030__HIGH__HYPHEN__DAYS)
      & r_0025_0032__holy__hyphen__days(R_0025_0032__HOLY__HYPHEN__DAYS)
      & r_0025_0035__family_r_0025_0036__feasts(R_0025_0035__FAMILY_R_0025_0036__FEASTS)
      & z_0025_5019___star_(Z_0025_5019___STAR_)
      & r_0025_0025__were_r_0025_0027__used(R_0025_0025__WERE_R_0025_0027__USED)
      & has_arg0(R_0025_0025__WERE_R_0025_0027__USED,Z_0025_5019___STAR_)
      & has_r_0025_0028__but_r_0025_0029__at__nim(R_0025_0025__WERE_R_0025_0027__USED,R_0025_0034__AND)
      & r_0025_0034__and(R_0025_0034__AND)
      & has_conj3(R_0025_0034__AND,R_0025_0035__FAMILY_R_0025_0036__FEASTS)
      & has_conj2(R_0025_0034__AND,R_0025_0032__HOLY__HYPHEN__DAYS)
      & has_conj1(R_0025_0034__AND,R_0025_0030__HIGH__HYPHEN__DAYS)
      & has_nim(R_0025_0025__WERE_R_0025_0027__USED,R_0025_0026__NEVER)
      & has_arg1(R_0025_0025__WERE_R_0025_0027__USED,R_0025_0023__CANDLESTICKS)
      & r_0025_0019__enveloped(R_0025_0019__ENVELOPED)
      & has_arg0(R_0025_0019__ENVELOPED,R_0025_0016__THE_R_0025_0017__GREASE)
      & has_arg1(R_0025_0019__ENVELOPED,R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES)
      & r_0025_0006__half__hyphen__a__hyphen__dozen_r_0025_0007__candles(R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES)
      & has_inv_arg0(R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES,R_0025_0009__HAVING)
      & r_0025_0009__having(R_0025_0009__HAVING)
      & has_arg1(R_0025_0009__HAVING,R_0025_0010__WICKS)
      & r_0025_0010__wicks(R_0025_0010__WICKS)
      & has_attrib(R_0025_0010__WICKS,R_0025_0014__SMALLER)
      & r_0025_0014__smaller(R_0025_0014__SMALLER)
      & has_r_0025_0015__than(R_0025_0014__SMALLER,R_0025_0016__THE_R_0025_0017__GREASE)
      & has_nim(R_0025_0014__SMALLER,R_0025_0012__A_R_0025_0013__TRIFLE)
      & r_0025_0012__a_r_0025_0013__trifle(R_0025_0012__A_R_0025_0013__TRIFLE)
      & has_qual(R_0025_0012__A_R_0025_0013__TRIFLE,R_0025_0011__ONLY)
      & has_r_0025_0022__in(R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES,R_0025_0023__CANDLESTICKS)
      & r_0025_0003__was_r_0025_0004__lighted(R_0025_0003__WAS_R_0025_0004__LIGHTED)
      & has_r_0025_0005__by_arg0(R_0025_0003__WAS_R_0025_0004__LIGHTED,R_0025_0006__HALF__HYPHEN__A__HYPHEN__DOZEN_R_0025_0007__CANDLES)
      & has_arg1(R_0025_0003__WAS_R_0025_0004__LIGHTED,R_0025_0001__THE_R_0025_0002__ROOM) ) ).