TSPC 24_a_hardy

24_a_hardy_1883
The calling of its inhabitant was proclaimed by a number of highly-polished sheep-crooks without stems that were hung ornamentally over the fireplace, the curl of each shining crook varying from the antiquated type engraved in the patriarchal pictures of old family Bibles to the most approved fashion of the last local sheep-fair.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N calling;{calling})
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN;{COTTAGE} (PRO;_genm_ its;{its}))
                          (N inhabitant;{inhabitant}))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;_Tn_ proclaimed;{proclaim})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (N number;{number})
                                  (PP (P-ROLE of;{of})
                                      (NP (ADJP (ADJ highly_<hyphen>_polished;{highly_polished}))
                                          (NS sheep_<hyphen>_crooks;{sheep_crooks})
                                          (PP (P-ROLE without;{without})
                                              (NP (NS stems;{stem})))
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (BED;_cat_VePASS_ were;{be})
                                                  (IP-PPL-CAT (NP-LGS *)
                                                              (VVN;_Tn.pr_ hung;{hang[over]})
                                                              (ADVP-NIM (ADV ornamentally;{ornamentally}))
                                                              (PP-CLR (P-ROLE over;{over})
                                                                      (NP (D the;{the})
                                                                          (N fireplace;{fireplace}))))))))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (N curl;{curl})
                                    (PP (P-ROLE of;{of})
                                        (NP (Q each;{each})
                                            (ADJP (ADJ shining;{shining}))
                                            (N crook;{crook}))))
                            (VAG;_I_ varying;{vary})
                            (PP-NIM (P-ROLE from;{from})
                                    (NP (D the;{the})
                                        (ADJP (ADJ antiquated;{antiquated}))
                                        (N type;{type})
                                        (IP-PPL (NP-LGS *)
                                                (VVN;_Tn_ engraved;{engrave})
                                                (PP-NIM (P-ROLE in;{in})
                                                        (NP (D the;{the})
                                                            (ADJP (ADJ patriarchal;{patriarchal}))
                                                            (NS pictures;{picture})
                                                            (PP (P-ROLE of;{of})
                                                                (NP (ADJP (ADJ old;{old}))
                                                                    (N family;{family})
                                                                    (NS Bibles;{bible}))))))))
                            (PP-NIM (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (ADJP (ADVP (ADVS most;{most}))
                                              (ADJ approved;{approved}))
                                        (N fashion;{fashion})
                                        (PP (P-ROLE of;{of})
                                            (NP (D the;{the})
                                                (ADJP (ADJ last;{last}))
                                                (ADJP (ADJ local;{local}))
                                                (N sheep_<hyphen>_fair;{sheep_fair})))))))
          (PUNC .))
  (ID 24_a_hardy_1883))

arc(r_0024_0001__The_r_0024_0002__calling,r_0024_0005__inhabitant,r_0024_0003__of).
arc(r_0024_0005__inhabitant,r_0024_0004__its,gen).
arc(r_0024_0006__was,r_0024_0007__proclaimed,scope).
arc(r_0024_0007__proclaimed,r_0024_0001__The_r_0024_0002__calling,arg1).
arc(r_0024_0007__proclaimed,r_0024_0009__a_r_0024_0010__number,r_0024_0008__by_arg0).
arc(r_0024_0009__a_r_0024_0010__number,r_0024_0013__sheep__hyphen__crooks,r_0024_0011__of).
arc(r_0024_0013__sheep__hyphen__crooks,r_0024_0012__highly__hyphen__polished,attrib).
arc(r_0024_0013__sheep__hyphen__crooks,r_0024_0015__stems,r_0024_0014__without).
arc(r_0024_0017__were,r_0024_0018__hung_r_0024_0020__over,scope).
arc(r_0024_0018__hung_r_0024_0020__over,r_0024_0013__sheep__hyphen__crooks,inv_arg1).
arc(r_0024_0018__hung_r_0024_0020__over,r_0024_0019__ornamentally,nim).
arc(r_0024_0018__hung_r_0024_0020__over,r_0024_0021__the_r_0024_0022__fireplace,arg2).
arc(r_0024_0018__hung_r_0024_0020__over,z_0024_5034___star_,arg0).
arc(r_0024_0024__the_r_0024_0025__curl,r_0024_0029__crook,r_0024_0026__of).
arc(r_0024_0027__each__quant,r_0024_0024__the_r_0024_0025__curl,scope).
arc(r_0024_0027__each__quant,r_0024_0029__crook,restriction).
arc(r_0024_0029__crook,r_0024_0028__shining,attrib).
arc(r_0024_0030__varying,r_0024_0024__the_r_0024_0025__curl,arg0).
arc(r_0024_0030__varying,r_0024_0032__the_r_0024_0034__type,r_0024_0031__from__nim).
arc(r_0024_0030__varying,r_0024_0045__the_r_0024_0048__fashion,r_0024_0044__to__nim).
arc(r_0024_0032__the_r_0024_0034__type,r_0024_0033__antiquated,attrib).
arc(r_0024_0035__engraved,r_0024_0032__the_r_0024_0034__type,inv_arg1).
arc(r_0024_0035__engraved,r_0024_0037__the_r_0024_0039__pictures,r_0024_0036__in__nim).
arc(r_0024_0035__engraved,z_0024_5021___star_,arg0).
arc(r_0024_0037__the_r_0024_0039__pictures,r_0024_0038__patriarchal,attrib).
arc(r_0024_0037__the_r_0024_0039__pictures,r_0024_0042__family_r_0024_0043__Bibles,r_0024_0040__of).
arc(r_0024_0042__family_r_0024_0043__Bibles,r_0024_0041__old,attrib).
arc(r_0024_0045__the_r_0024_0048__fashion,r_0024_0047__approved,attrib).
arc(r_0024_0045__the_r_0024_0048__fashion,r_0024_0050__the_r_0024_0053__sheep__hyphen__fair,r_0024_0049__of).
arc(r_0024_0047__approved,r_0024_0046__most,qual).
arc(r_0024_0050__the_r_0024_0053__sheep__hyphen__fair,r_0024_0051__last,attrib).
arc(r_0024_0050__the_r_0024_0053__sheep__hyphen__fair,r_0024_0052__local,attrib).
arc(z_0024_5003,r_0024_0006__was,scope).
arc(z_0024_5003,r_0024_0030__varying,restriction).

fof(formula,axiom,
    ? [R_0024_0004__ITS,R_0024_0005__INHABITANT,R_0024_0001__THE_R_0024_0002__CALLING,R_0024_0012__HIGHLY__HYPHEN__POLISHED,R_0024_0015__STEMS,R_0024_0019__ORNAMENTALLY,R_0024_0021__THE_R_0024_0022__FIREPLACE,Z_0024_5034___STAR_,R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER,R_0024_0013__SHEEP__HYPHEN__CROOKS,R_0024_0009__A_R_0024_0010__NUMBER,R_0024_0006__WAS_R_0024_0007__PROCLAIMED,Z_0024_5003] :
      ( r_0024_0004__its(R_0024_0004__ITS)
      & r_0024_0012__highly__hyphen__polished(R_0024_0012__HIGHLY__HYPHEN__POLISHED)
      & r_0024_0015__stems(R_0024_0015__STEMS)
      & r_0024_0019__ornamentally(R_0024_0019__ORNAMENTALLY)
      & r_0024_0021__the_r_0024_0022__fireplace(R_0024_0021__THE_R_0024_0022__FIREPLACE)
      & z_0024_5034___star_(Z_0024_5034___STAR_)
      & z_0024_5003(Z_0024_5003)
      & ! [R_0024_0029__CROOK,R_0024_0028__SHINING] :
          ( ( r_0024_0028__shining(R_0024_0028__SHINING)
            & r_0024_0029__crook(R_0024_0029__CROOK)
            & has_attrib(R_0024_0029__CROOK,R_0024_0028__SHINING) )
         => ? [R_0024_0024__THE_R_0024_0025__CURL,R_0024_0033__ANTIQUATED,R_0024_0038__PATRIARCHAL,R_0024_0041__OLD,R_0024_0042__FAMILY_R_0024_0043__BIBLES,R_0024_0037__THE_R_0024_0039__PICTURES,Z_0024_5021___STAR_,R_0024_0035__ENGRAVED,R_0024_0032__THE_R_0024_0034__TYPE,R_0024_0046__MOST,R_0024_0047__APPROVED,R_0024_0051__LAST,R_0024_0052__LOCAL,R_0024_0050__THE_R_0024_0053__SHEEP__HYPHEN__FAIR,R_0024_0045__THE_R_0024_0048__FASHION,R_0024_0030__VARYING] :
              ( r_0024_0033__antiquated(R_0024_0033__ANTIQUATED)
              & r_0024_0038__patriarchal(R_0024_0038__PATRIARCHAL)
              & r_0024_0041__old(R_0024_0041__OLD)
              & r_0024_0046__most(R_0024_0046__MOST)
              & r_0024_0051__last(R_0024_0051__LAST)
              & r_0024_0052__local(R_0024_0052__LOCAL)
              & z_0024_5021___star_(Z_0024_5021___STAR_)
              & r_0024_0030__varying(R_0024_0030__VARYING)
              & has_r_0024_0044__to__nim(R_0024_0030__VARYING,R_0024_0045__THE_R_0024_0048__FASHION)
              & r_0024_0045__the_r_0024_0048__fashion(R_0024_0045__THE_R_0024_0048__FASHION)
              & has_r_0024_0049__of(R_0024_0045__THE_R_0024_0048__FASHION,R_0024_0050__THE_R_0024_0053__SHEEP__HYPHEN__FAIR)
              & r_0024_0050__the_r_0024_0053__sheep__hyphen__fair(R_0024_0050__THE_R_0024_0053__SHEEP__HYPHEN__FAIR)
              & has_attrib(R_0024_0050__THE_R_0024_0053__SHEEP__HYPHEN__FAIR,R_0024_0052__LOCAL)
              & has_attrib(R_0024_0050__THE_R_0024_0053__SHEEP__HYPHEN__FAIR,R_0024_0051__LAST)
              & has_attrib(R_0024_0045__THE_R_0024_0048__FASHION,R_0024_0047__APPROVED)
              & r_0024_0047__approved(R_0024_0047__APPROVED)
              & has_qual(R_0024_0047__APPROVED,R_0024_0046__MOST)
              & has_r_0024_0031__from__nim(R_0024_0030__VARYING,R_0024_0032__THE_R_0024_0034__TYPE)
              & r_0024_0032__the_r_0024_0034__type(R_0024_0032__THE_R_0024_0034__TYPE)
              & has_inv_arg1(R_0024_0032__THE_R_0024_0034__TYPE,R_0024_0035__ENGRAVED)
              & r_0024_0035__engraved(R_0024_0035__ENGRAVED)
              & has_arg0(R_0024_0035__ENGRAVED,Z_0024_5021___STAR_)
              & has_r_0024_0036__in__nim(R_0024_0035__ENGRAVED,R_0024_0037__THE_R_0024_0039__PICTURES)
              & r_0024_0037__the_r_0024_0039__pictures(R_0024_0037__THE_R_0024_0039__PICTURES)
              & has_r_0024_0040__of(R_0024_0037__THE_R_0024_0039__PICTURES,R_0024_0042__FAMILY_R_0024_0043__BIBLES)
              & r_0024_0042__family_r_0024_0043__Bibles(R_0024_0042__FAMILY_R_0024_0043__BIBLES)
              & has_attrib(R_0024_0042__FAMILY_R_0024_0043__BIBLES,R_0024_0041__OLD)
              & has_attrib(R_0024_0037__THE_R_0024_0039__PICTURES,R_0024_0038__PATRIARCHAL)
              & has_attrib(R_0024_0032__THE_R_0024_0034__TYPE,R_0024_0033__ANTIQUATED)
              & has_arg0(R_0024_0030__VARYING,R_0024_0024__THE_R_0024_0025__CURL)
              & r_0024_0024__the_r_0024_0025__curl(R_0024_0024__THE_R_0024_0025__CURL)
              & has_r_0024_0026__of(R_0024_0024__THE_R_0024_0025__CURL,R_0024_0029__CROOK) ) )
      & has_conj2(Z_0024_5003,R_0024_0006__WAS_R_0024_0007__PROCLAIMED)
      & r_0024_0006__was_r_0024_0007__proclaimed(R_0024_0006__WAS_R_0024_0007__PROCLAIMED)
      & has_r_0024_0008__by_arg0(R_0024_0006__WAS_R_0024_0007__PROCLAIMED,R_0024_0009__A_R_0024_0010__NUMBER)
      & r_0024_0009__a_r_0024_0010__number(R_0024_0009__A_R_0024_0010__NUMBER)
      & has_r_0024_0011__of(R_0024_0009__A_R_0024_0010__NUMBER,R_0024_0013__SHEEP__HYPHEN__CROOKS)
      & r_0024_0013__sheep__hyphen__crooks(R_0024_0013__SHEEP__HYPHEN__CROOKS)
      & has_inv_arg1(R_0024_0013__SHEEP__HYPHEN__CROOKS,R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER)
      & r_0024_0017__were_r_0024_0018__hung_r_0024_0020__over(R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER)
      & has_arg0(R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER,Z_0024_5034___STAR_)
      & has_arg2(R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER,R_0024_0021__THE_R_0024_0022__FIREPLACE)
      & has_nim(R_0024_0017__WERE_R_0024_0018__HUNG_R_0024_0020__OVER,R_0024_0019__ORNAMENTALLY)
      & has_r_0024_0014__without(R_0024_0013__SHEEP__HYPHEN__CROOKS,R_0024_0015__STEMS)
      & has_attrib(R_0024_0013__SHEEP__HYPHEN__CROOKS,R_0024_0012__HIGHLY__HYPHEN__POLISHED)
      & has_arg1(R_0024_0006__WAS_R_0024_0007__PROCLAIMED,R_0024_0001__THE_R_0024_0002__CALLING)
      & r_0024_0001__The_r_0024_0002__calling(R_0024_0001__THE_R_0024_0002__CALLING)
      & has_r_0024_0003__of(R_0024_0001__THE_R_0024_0002__CALLING,R_0024_0005__INHABITANT)
      & r_0024_0005__inhabitant(R_0024_0005__INHABITANT)
      & has_gen(R_0024_0005__INHABITANT,R_0024_0004__ITS) ) ).