TSPC 62_a_hardy

62_a_hardy_1883
While he stood, the boom of the serpent within the adjacent house, and the lesser strains of the fiddler, reached the spot as an accompaniment to the surging hiss of the flying rain on the sod, its louder beating on the cabbage-leaves of the garden, on the eight or ten beehives just discernible by the path, and its dripping from the eaves into a row of buckets and pans that had been placed under the walls of the cottage.

( (IP-MAT (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                           (VBD;__ stood;{stand})))
          (PUNC ,)
          (NP-SBJ (NLYR (NLYR (D the;{the})
                              (N boom;{boom})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N serpent;{serpent})
                                      (PP (P-ROLE within;{within})
                                          (NP (D the;{the})
                                              (ADJP (ADJ adjacent;{adjacent}))
                                              (N house;{house}))))))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D the;{the})
                                     (ADJP (ADJR lesser;{less}))
                                     (NS strains;{strain})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N fiddler;{fiddler})))))))
          (PUNC ,)
          (VBD;__ reached;{reach})
          (NP-OB1 (D the;{the})
                  (N spot;{spot}))
          (PP-NIM (P-ROLE as;{as})
                  (NP (D an;{an})
                      (N accompaniment;{accompaniment})
                      (PP (P-ROLE to;{to})
                          (NP (NLYR (NLYR (D the;{the})
                                          (ADJP (ADJ surging;{surging}))
                                          (N hiss;{hiss})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ flying;{flying}))
                                                  (N rain;{rain})
                                                  (PP (P-ROLE on;{on})
                                                      (NP (D the;{the})
                                                          (N sod;{sod}))))))
                                    (PUNC ,)
                                    (CONJP (NLYR (NP-GEN (PRO;_genm_ its;{its}))
                                                 (ADJP (ADJR louder;{loud}))
                                                 (N beating;{beating})
                                                 (PP (PP (P-ROLE on;{on})
                                                         (NP (D the;{the})
                                                             (NS cabbage_<hyphen>_leaves;{cabbage_leaves})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (D the;{the})
                                                                     (N garden;{garden})))))
                                                     (PUNC ,)
                                                     (CONJP (PP (P-ROLE on;{on})
                                                                (NP (D the;{the})
                                                                    (NUM eight_or_ten;{eight_or_ten})
                                                                    (NS beehives;{beehive})
                                                                    (ADJP (ADVP (ADV just;{just}))
                                                                          (ADJ discernible;{discernible}))
                                                                    (PP (P-ROLE by;{by})
                                                                        (NP (D the;{the})
                                                                            (N path;{path})))))))))
                                    (PUNC ,)
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NP-GEN (PRO;_genm_ its;{its}))
                                                 (N dripping;{dripping})
                                                 (PP (P-ROLE from;{from})
                                                     (NP (D the;{the})
                                                         (NS eaves;{eaves})))
                                                 (PP (P-ROLE into;{into})
                                                     (NP (D a;{a})
                                                         (N row;{row})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (NLYR (NLYR (NS buckets;{bucket}))
                                                                       (CONJP (CONJ and;{and})
                                                                              (NLYR (NS pans;{pan}))))
                                                                 (IP-REL (C that;{that})
                                                                         (NP-SBJ *T*)
                                                                         (HVD;_cat_Ve_ had;{have})
                                                                         (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                                 (VVN;_Tn.pr_ placed;{place})
                                                                                                 (PP-NIM (P-ROLE under;{under})
                                                                                                         (NP (D the;{the})
                                                                                                             (NS walls;{wall})
                                                                                                             (PP (P-ROLE of;{of})
                                                                                                                 (NP (D the;{the})
                                                                                                                     (N cottage;{cottage})))))))))))))))))))
          (PUNC .))
  (ID 62_a_hardy_1883))

arc(r_0062_0001__While,r_0062_0003__stood,restriction).
arc(r_0062_0001__While,r_0062_0023__reached,scope).
arc(r_0062_0003__stood,r_0062_0002__he,arg0).
arc(r_0062_0005__the_r_0062_0006__boom,r_0062_0008__the_r_0062_0009__serpent,r_0062_0007__of).
arc(r_0062_0008__the_r_0062_0009__serpent,r_0062_0011__the_r_0062_0013__house,r_0062_0010__within).
arc(r_0062_0011__the_r_0062_0013__house,r_0062_0012__adjacent,attrib).
arc(r_0062_0015__and,r_0062_0005__the_r_0062_0006__boom,conj1).
arc(r_0062_0015__and,r_0062_0016__the_r_0062_0018__strains,conj2).
arc(r_0062_0016__the_r_0062_0018__strains,r_0062_0017__lesser,attrib).
arc(r_0062_0016__the_r_0062_0018__strains,r_0062_0020__the_r_0062_0021__fiddler,r_0062_0019__of).
arc(r_0062_0023__reached,r_0062_0015__and,arg0).
arc(r_0062_0023__reached,r_0062_0024__the_r_0062_0025__spot,arg1).
arc(r_0062_0023__reached,r_0062_0027__an_r_0062_0028__accompaniment,r_0062_0026__as__nim).
arc(r_0062_0027__an_r_0062_0028__accompaniment,r_0062_0061__and,r_0062_0029__to).
arc(r_0062_0030__the_r_0062_0032__hiss,r_0062_0031__surging,attrib).
arc(r_0062_0030__the_r_0062_0032__hiss,r_0062_0034__the_r_0062_0036__rain,r_0062_0033__of).
arc(r_0062_0034__the_r_0062_0036__rain,r_0062_0035__flying,attrib).
arc(r_0062_0034__the_r_0062_0036__rain,r_0062_0038__the_r_0062_0039__sod,r_0062_0037__on).
arc(r_0062_0043__beating,r_0062_0041__its,gen).
arc(r_0062_0043__beating,r_0062_0042__louder,attrib).
arc(r_0062_0043__beating,z_0062_5031,z_0062_5023).
arc(r_0062_0045__the_r_0062_0046__cabbage__hyphen__leaves,r_0062_0048__the_r_0062_0049__garden,r_0062_0047__of).
arc(r_0062_0052__the_r_0062_0053__eight_or_ten_r_0062_0054__beehives,r_0062_0056__discernible,attrib).
arc(r_0062_0052__the_r_0062_0053__eight_or_ten_r_0062_0054__beehives,r_0062_0058__the_r_0062_0059__path,r_0062_0057__by).
arc(r_0062_0056__discernible,r_0062_0055__just,qual).
arc(r_0062_0061__and,r_0062_0030__the_r_0062_0032__hiss,conj1).
arc(r_0062_0061__and,r_0062_0043__beating,conj2).
arc(r_0062_0061__and,r_0062_0063__dripping,conj3).
arc(r_0062_0063__dripping,r_0062_0062__its,gen).
arc(r_0062_0063__dripping,r_0062_0065__the_r_0062_0066__eaves,r_0062_0064__from).
arc(r_0062_0063__dripping,r_0062_0068__a_r_0062_0069__row,r_0062_0067__into).
arc(r_0062_0068__a_r_0062_0069__row,r_0062_0072__and,r_0062_0070__of).
arc(r_0062_0072__and,r_0062_0071__buckets,conj1).
arc(r_0062_0072__and,r_0062_0073__pans,conj2).
arc(r_0062_0075__had,r_0062_0076__been,scope).
arc(r_0062_0076__been,r_0062_0077__placed,scope).
arc(r_0062_0077__placed,r_0062_0072__and,inv_arg1).
arc(r_0062_0077__placed,r_0062_0079__the_r_0062_0080__walls,r_0062_0078__under__nim).
arc(r_0062_0077__placed,z_0062_5042___star_,arg0).
arc(r_0062_0079__the_r_0062_0080__walls,r_0062_0082__the_r_0062_0083__cottage,r_0062_0081__of).
arc(z_0062_5031,r_0062_0045__the_r_0062_0046__cabbage__hyphen__leaves,r_0062_0044__on).
arc(z_0062_5031,r_0062_0052__the_r_0062_0053__eight_or_ten_r_0062_0054__beehives,r_0062_0051__on).

fof(formula,axiom,
    ? [R_0062_0002__HE,R_0062_0003__STOOD,R_0062_0012__ADJACENT,R_0062_0011__THE_R_0062_0013__HOUSE,R_0062_0008__THE_R_0062_0009__SERPENT,R_0062_0005__THE_R_0062_0006__BOOM,R_0062_0017__LESSER,R_0062_0020__THE_R_0062_0021__FIDDLER,R_0062_0016__THE_R_0062_0018__STRAINS,R_0062_0015__AND,R_0062_0024__THE_R_0062_0025__SPOT,R_0062_0031__SURGING,R_0062_0035__FLYING,R_0062_0038__THE_R_0062_0039__SOD,R_0062_0034__THE_R_0062_0036__RAIN,R_0062_0030__THE_R_0062_0032__HISS,R_0062_0041__ITS,R_0062_0042__LOUDER,R_0062_0048__THE_R_0062_0049__GARDEN,R_0062_0045__THE_R_0062_0046__CABBAGE__HYPHEN__LEAVES,R_0062_0055__JUST,R_0062_0056__DISCERNIBLE,R_0062_0058__THE_R_0062_0059__PATH,R_0062_0052__THE_R_0062_0053__EIGHT_OR_TEN_R_0062_0054__BEEHIVES,Z_0062_5031,R_0062_0043__BEATING,R_0062_0062__ITS,R_0062_0065__THE_R_0062_0066__EAVES,R_0062_0071__BUCKETS,R_0062_0073__PANS,R_0062_0082__THE_R_0062_0083__COTTAGE,R_0062_0079__THE_R_0062_0080__WALLS,Z_0062_5042___STAR_,R_0062_0075__HAD_R_0062_0076__BEEN_R_0062_0077__PLACED,R_0062_0072__AND,R_0062_0068__A_R_0062_0069__ROW,R_0062_0063__DRIPPING,R_0062_0061__AND,R_0062_0027__AN_R_0062_0028__ACCOMPANIMENT,R_0062_0023__REACHED,R_0062_0001__WHILE] :
      ( r_0062_0002__he(R_0062_0002__HE)
      & r_0062_0012__adjacent(R_0062_0012__ADJACENT)
      & r_0062_0017__lesser(R_0062_0017__LESSER)
      & r_0062_0020__the_r_0062_0021__fiddler(R_0062_0020__THE_R_0062_0021__FIDDLER)
      & r_0062_0024__the_r_0062_0025__spot(R_0062_0024__THE_R_0062_0025__SPOT)
      & r_0062_0031__surging(R_0062_0031__SURGING)
      & r_0062_0035__flying(R_0062_0035__FLYING)
      & r_0062_0038__the_r_0062_0039__sod(R_0062_0038__THE_R_0062_0039__SOD)
      & r_0062_0041__its(R_0062_0041__ITS)
      & r_0062_0042__louder(R_0062_0042__LOUDER)
      & r_0062_0048__the_r_0062_0049__garden(R_0062_0048__THE_R_0062_0049__GARDEN)
      & r_0062_0055__just(R_0062_0055__JUST)
      & r_0062_0058__the_r_0062_0059__path(R_0062_0058__THE_R_0062_0059__PATH)
      & r_0062_0062__its(R_0062_0062__ITS)
      & r_0062_0065__the_r_0062_0066__eaves(R_0062_0065__THE_R_0062_0066__EAVES)
      & r_0062_0071__buckets(R_0062_0071__BUCKETS)
      & r_0062_0073__pans(R_0062_0073__PANS)
      & r_0062_0082__the_r_0062_0083__cottage(R_0062_0082__THE_R_0062_0083__COTTAGE)
      & z_0062_5042___star_(Z_0062_5042___STAR_)
      & r_0062_0001__While(R_0062_0001__WHILE)
      & has_conj2(R_0062_0001__WHILE,R_0062_0023__REACHED)
      & r_0062_0023__reached(R_0062_0023__REACHED)
      & has_r_0062_0026__as__nim(R_0062_0023__REACHED,R_0062_0027__AN_R_0062_0028__ACCOMPANIMENT)
      & r_0062_0027__an_r_0062_0028__accompaniment(R_0062_0027__AN_R_0062_0028__ACCOMPANIMENT)
      & has_r_0062_0029__to(R_0062_0027__AN_R_0062_0028__ACCOMPANIMENT,R_0062_0061__AND)
      & r_0062_0061__and(R_0062_0061__AND)
      & has_conj3(R_0062_0061__AND,R_0062_0063__DRIPPING)
      & r_0062_0063__dripping(R_0062_0063__DRIPPING)
      & has_r_0062_0067__into(R_0062_0063__DRIPPING,R_0062_0068__A_R_0062_0069__ROW)
      & r_0062_0068__a_r_0062_0069__row(R_0062_0068__A_R_0062_0069__ROW)
      & has_r_0062_0070__of(R_0062_0068__A_R_0062_0069__ROW,R_0062_0072__AND)
      & r_0062_0072__and(R_0062_0072__AND)
      & has_inv_arg1(R_0062_0072__AND,R_0062_0075__HAD_R_0062_0076__BEEN_R_0062_0077__PLACED)
      & r_0062_0075__had_r_0062_0076__been_r_0062_0077__placed(R_0062_0075__HAD_R_0062_0076__BEEN_R_0062_0077__PLACED)
      & has_arg0(R_0062_0075__HAD_R_0062_0076__BEEN_R_0062_0077__PLACED,Z_0062_5042___STAR_)
      & has_r_0062_0078__under__nim(R_0062_0075__HAD_R_0062_0076__BEEN_R_0062_0077__PLACED,R_0062_0079__THE_R_0062_0080__WALLS)
      & r_0062_0079__the_r_0062_0080__walls(R_0062_0079__THE_R_0062_0080__WALLS)
      & has_r_0062_0081__of(R_0062_0079__THE_R_0062_0080__WALLS,R_0062_0082__THE_R_0062_0083__COTTAGE)
      & has_conj2(R_0062_0072__AND,R_0062_0073__PANS)
      & has_conj1(R_0062_0072__AND,R_0062_0071__BUCKETS)
      & has_r_0062_0064__from(R_0062_0063__DRIPPING,R_0062_0065__THE_R_0062_0066__EAVES)
      & has_gen(R_0062_0063__DRIPPING,R_0062_0062__ITS)
      & has_conj2(R_0062_0061__AND,R_0062_0043__BEATING)
      & r_0062_0043__beating(R_0062_0043__BEATING)
      & has_z_0062_5023(R_0062_0043__BEATING,Z_0062_5031)
      & z_0062_5031(Z_0062_5031)
      & has_r_0062_0051__on(Z_0062_5031,R_0062_0052__THE_R_0062_0053__EIGHT_OR_TEN_R_0062_0054__BEEHIVES)
      & r_0062_0052__the_r_0062_0053__eight_or_ten_r_0062_0054__beehives(R_0062_0052__THE_R_0062_0053__EIGHT_OR_TEN_R_0062_0054__BEEHIVES)
      & has_r_0062_0057__by(R_0062_0052__THE_R_0062_0053__EIGHT_OR_TEN_R_0062_0054__BEEHIVES,R_0062_0058__THE_R_0062_0059__PATH)
      & has_attrib(R_0062_0052__THE_R_0062_0053__EIGHT_OR_TEN_R_0062_0054__BEEHIVES,R_0062_0056__DISCERNIBLE)
      & r_0062_0056__discernible(R_0062_0056__DISCERNIBLE)
      & has_qual(R_0062_0056__DISCERNIBLE,R_0062_0055__JUST)
      & has_r_0062_0044__on(Z_0062_5031,R_0062_0045__THE_R_0062_0046__CABBAGE__HYPHEN__LEAVES)
      & r_0062_0045__the_r_0062_0046__cabbage__hyphen__leaves(R_0062_0045__THE_R_0062_0046__CABBAGE__HYPHEN__LEAVES)
      & has_r_0062_0047__of(R_0062_0045__THE_R_0062_0046__CABBAGE__HYPHEN__LEAVES,R_0062_0048__THE_R_0062_0049__GARDEN)
      & has_attrib(R_0062_0043__BEATING,R_0062_0042__LOUDER)
      & has_gen(R_0062_0043__BEATING,R_0062_0041__ITS)
      & has_conj1(R_0062_0061__AND,R_0062_0030__THE_R_0062_0032__HISS)
      & r_0062_0030__the_r_0062_0032__hiss(R_0062_0030__THE_R_0062_0032__HISS)
      & has_r_0062_0033__of(R_0062_0030__THE_R_0062_0032__HISS,R_0062_0034__THE_R_0062_0036__RAIN)
      & r_0062_0034__the_r_0062_0036__rain(R_0062_0034__THE_R_0062_0036__RAIN)
      & has_r_0062_0037__on(R_0062_0034__THE_R_0062_0036__RAIN,R_0062_0038__THE_R_0062_0039__SOD)
      & has_attrib(R_0062_0034__THE_R_0062_0036__RAIN,R_0062_0035__FLYING)
      & has_attrib(R_0062_0030__THE_R_0062_0032__HISS,R_0062_0031__SURGING)
      & has_arg1(R_0062_0023__REACHED,R_0062_0024__THE_R_0062_0025__SPOT)
      & has_arg0(R_0062_0023__REACHED,R_0062_0015__AND)
      & r_0062_0015__and(R_0062_0015__AND)
      & has_conj2(R_0062_0015__AND,R_0062_0016__THE_R_0062_0018__STRAINS)
      & r_0062_0016__the_r_0062_0018__strains(R_0062_0016__THE_R_0062_0018__STRAINS)
      & has_r_0062_0019__of(R_0062_0016__THE_R_0062_0018__STRAINS,R_0062_0020__THE_R_0062_0021__FIDDLER)
      & has_attrib(R_0062_0016__THE_R_0062_0018__STRAINS,R_0062_0017__LESSER)
      & has_conj1(R_0062_0015__AND,R_0062_0005__THE_R_0062_0006__BOOM)
      & r_0062_0005__the_r_0062_0006__boom(R_0062_0005__THE_R_0062_0006__BOOM)
      & has_r_0062_0007__of(R_0062_0005__THE_R_0062_0006__BOOM,R_0062_0008__THE_R_0062_0009__SERPENT)
      & r_0062_0008__the_r_0062_0009__serpent(R_0062_0008__THE_R_0062_0009__SERPENT)
      & has_r_0062_0010__within(R_0062_0008__THE_R_0062_0009__SERPENT,R_0062_0011__THE_R_0062_0013__HOUSE)
      & r_0062_0011__the_r_0062_0013__house(R_0062_0011__THE_R_0062_0013__HOUSE)
      & has_attrib(R_0062_0011__THE_R_0062_0013__HOUSE,R_0062_0012__ADJACENT)
      & has_conj1(R_0062_0001__WHILE,R_0062_0003__STOOD)
      & r_0062_0003__stood(R_0062_0003__STOOD)
      & has_arg0(R_0062_0003__STOOD,R_0062_0002__HE) ) ).