TSPC 73_a_hardy

73_a_hardy_1883
The garden-path stretched downward from his feet, gleaming like the track of a snail; the roof of the little well (mostly dry), the well-cover, the top rail of the garden-gate, were varnished with the same dull liquid glaze; while, far away in the vale, a faint whiteness of more than usual extent showed that the rivers were high in the meads.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N garden_<hyphen>_path;{garden_path}))
                      (VBD;_Ip_ stretched;{stretch[downward]})
                      (ADVP-CLR (RP downward;{downward}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                  (NS feet;{foot})))
                      (PUNC ,)
                      (PP-SCON (IP-PPL2 (VAG;__ gleaming;{gleam})
                                        (PP-NIM (P-ROLE like;{like})
                                                (NP (D the;{the})
                                                    (N track;{track})
                                                    (PP (P-ROLE of;{of})
                                                        (NP (D a;{a})
                                                            (N snail;{snail}))))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NLYR (NLYR (D the;{the})
                                                 (N roof;{roof})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D the;{the})
                                                         (ADJP (ADJ little;{little}))
                                                         (N well;{well})
                                                         (ADJP (PULB -LRB-)
                                                               (ADVP (ADV mostly;{mostly}))
                                                               (ADJ dry;{dry})
                                                               (PURB -RRB-)))))
                                           (PUNC ,)
                                           (CONJP (NLYR (D the;{the})
                                                        (N well_<hyphen>_cover;{well_cover})))
                                           (PUNC ,)
                                           (CONJP (NLYR (D the;{the})
                                                        (ADJP (ADJ top;{top}))
                                                        (N rail;{rail})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (D the;{the})
                                                                (N garden_<hyphen>_gate;{garden_gate})))))))
                             (PUNC ,)
                             (BED;_cat_VePASS_ were;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ varnished;{varnish})
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (D the;{the})
                                                     (ADJP (ADJ same;{same}))
                                                     (ADJP (ADJ dull;{dull}))
                                                     (ADJP (ADJ liquid;{liquid}))
                                                     (N glaze;{glaze}))))
                             (PUNC ;)
                             (PP-SCON (P-CONN while;{while})
                                      (IP-ADV (PUNC ,)
                                              (ADVP-NIM (ADVP (ADV far;{far}))
                                                        (ADV away;{away})
                                                        (PP (P-ROLE in;{in})
                                                            (NP (D the;{the})
                                                                (N vale;{vale}))))
                                              (PUNC ,)
                                              (NP-SBJ (D a;{a})
                                                      (ADJP (ADJ faint;{faint}))
                                                      (N whiteness;{whiteness})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (ADJP (ADJR more;{more})
                                                                    (PP (P-ROLE than;{than})
                                                                        (ADJP (ADJ usual;{usual}))))
                                                              (N extent;{extent}))))
                                              (VBD;__ showed;{show})
                                              (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                  (NP-SBJ (D the;{the})
                                                                          (NS rivers;{river}))
                                                                  (BED;_La_ were;{be})
                                                                  (ADJP-PRD (ADJ high;{high})
                                                                            (PP (P-ROLE in;{in})
                                                                                (NP (D the;{the})
                                                                                    (NS meads;{mead})))))))))))
          (PUNC .))
  (ID 73_a_hardy_1883))

arc(r_0073_0003__stretched_r_0073_0004__downward,r_0073_0001__The_r_0073_0002__garden__hyphen__path,arg0).
arc(r_0073_0003__stretched_r_0073_0004__downward,r_0073_0007__feet,r_0073_0005__from__nim).
arc(r_0073_0007__feet,r_0073_0006__his,gen).
arc(r_0073_0009__gleaming,r_0073_0001__The_r_0073_0002__garden__hyphen__path,arg0).
arc(r_0073_0009__gleaming,r_0073_0011__the_r_0073_0012__track,r_0073_0010__like__nim).
arc(r_0073_0011__the_r_0073_0012__track,r_0073_0014__a_r_0073_0015__snail,r_0073_0013__of).
arc(r_0073_0017__the_r_0073_0018__roof,r_0073_0020__the_r_0073_0022__well,r_0073_0019__of).
arc(r_0073_0020__the_r_0073_0022__well,r_0073_0021__little,attrib).
arc(r_0073_0020__the_r_0073_0022__well,r_0073_0025__dry,attrib).
arc(r_0073_0025__dry,r_0073_0024__mostly,qual).
arc(r_0073_0031__the_r_0073_0033__rail,r_0073_0032__top,attrib).
arc(r_0073_0031__the_r_0073_0033__rail,r_0073_0035__the_r_0073_0036__garden__hyphen__gate,r_0073_0034__of).
arc(r_0073_0038__were,r_0073_0039__varnished,scope).
arc(r_0073_0039__varnished,r_0073_0041__the_r_0073_0045__glaze,r_0073_0040__with__nim).
arc(r_0073_0039__varnished,z_0073_5020,arg1).
arc(r_0073_0039__varnished,z_0073_5041___star_,arg0).
arc(r_0073_0041__the_r_0073_0045__glaze,r_0073_0042__same,attrib).
arc(r_0073_0041__the_r_0073_0045__glaze,r_0073_0043__dull,attrib).
arc(r_0073_0041__the_r_0073_0045__glaze,r_0073_0044__liquid,attrib).
arc(r_0073_0047__while,r_0073_0038__were,scope).
arc(r_0073_0047__while,r_0073_0063__showed,restriction).
arc(r_0073_0050__away,r_0073_0049__far,qual).
arc(r_0073_0050__away,r_0073_0052__the_r_0073_0053__vale,r_0073_0051__in).
arc(r_0073_0055__a_r_0073_0057__whiteness,r_0073_0056__faint,attrib).
arc(r_0073_0055__a_r_0073_0057__whiteness,r_0073_0062__extent,r_0073_0058__of).
arc(r_0073_0059__more,r_0073_0061__usual,r_0073_0060__than).
arc(r_0073_0062__extent,r_0073_0059__more,attrib).
arc(r_0073_0063__showed,r_0073_0050__away,nim).
arc(r_0073_0063__showed,r_0073_0055__a_r_0073_0057__whiteness,arg0).
arc(r_0073_0063__showed,r_0073_0067__were,arg1).
arc(r_0073_0067__were,r_0073_0065__the_r_0073_0066__rivers,arg0).
arc(r_0073_0067__were,r_0073_0068__high,prd).
arc(r_0073_0068__high,r_0073_0070__the_r_0073_0071__meads,r_0073_0069__in).
arc(z_0073_5001,r_0073_0047__while,conj2).
arc(z_0073_5001,z_0073_5003,conj1).
arc(z_0073_5003,r_0073_0003__stretched_r_0073_0004__downward,scope).
arc(z_0073_5003,r_0073_0009__gleaming,restriction).
arc(z_0073_5020,r_0073_0017__the_r_0073_0018__roof,conj1).
arc(z_0073_5020,r_0073_0028__the_r_0073_0029__well__hyphen__cover,conj2).
arc(z_0073_5020,r_0073_0031__the_r_0073_0033__rail,conj3).

fof(formula,axiom,
    ? [R_0073_0042__SAME,R_0073_0043__DULL,R_0073_0044__LIQUID,R_0073_0041__THE_R_0073_0045__GLAZE,R_0073_0021__LITTLE,R_0073_0024__MOSTLY,R_0073_0025__DRY,R_0073_0020__THE_R_0073_0022__WELL,R_0073_0017__THE_R_0073_0018__ROOF,R_0073_0028__THE_R_0073_0029__WELL__HYPHEN__COVER,R_0073_0032__TOP,R_0073_0035__THE_R_0073_0036__GARDEN__HYPHEN__GATE,R_0073_0031__THE_R_0073_0033__RAIL,Z_0073_5020,Z_0073_5041___STAR_,R_0073_0038__WERE_R_0073_0039__VARNISHED,R_0073_0049__FAR,R_0073_0052__THE_R_0073_0053__VALE,R_0073_0050__AWAY,R_0073_0056__FAINT,R_0073_0061__USUAL,R_0073_0059__MORE,R_0073_0062__EXTENT,R_0073_0055__A_R_0073_0057__WHITENESS,R_0073_0065__THE_R_0073_0066__RIVERS,R_0073_0070__THE_R_0073_0071__MEADS,R_0073_0068__HIGH,R_0073_0067__WERE,R_0073_0063__SHOWED,R_0073_0047__WHILE,R_0073_0001__THE_R_0073_0002__GARDEN__HYPHEN__PATH,R_0073_0006__HIS,R_0073_0007__FEET,R_0073_0003__STRETCHED_R_0073_0004__DOWNWARD,R_0073_0014__A_R_0073_0015__SNAIL,R_0073_0011__THE_R_0073_0012__TRACK,R_0073_0009__GLEAMING,Z_0073_5003,Z_0073_5001] :
      ( r_0073_0001__The_r_0073_0002__garden__hyphen__path(R_0073_0001__THE_R_0073_0002__GARDEN__HYPHEN__PATH)
      & r_0073_0006__his(R_0073_0006__HIS)
      & r_0073_0014__a_r_0073_0015__snail(R_0073_0014__A_R_0073_0015__SNAIL)
      & r_0073_0021__little(R_0073_0021__LITTLE)
      & r_0073_0024__mostly(R_0073_0024__MOSTLY)
      & r_0073_0028__the_r_0073_0029__well__hyphen__cover(R_0073_0028__THE_R_0073_0029__WELL__HYPHEN__COVER)
      & r_0073_0032__top(R_0073_0032__TOP)
      & r_0073_0035__the_r_0073_0036__garden__hyphen__gate(R_0073_0035__THE_R_0073_0036__GARDEN__HYPHEN__GATE)
      & r_0073_0042__same(R_0073_0042__SAME)
      & r_0073_0043__dull(R_0073_0043__DULL)
      & r_0073_0044__liquid(R_0073_0044__LIQUID)
      & r_0073_0049__far(R_0073_0049__FAR)
      & r_0073_0052__the_r_0073_0053__vale(R_0073_0052__THE_R_0073_0053__VALE)
      & r_0073_0056__faint(R_0073_0056__FAINT)
      & r_0073_0061__usual(R_0073_0061__USUAL)
      & r_0073_0065__the_r_0073_0066__rivers(R_0073_0065__THE_R_0073_0066__RIVERS)
      & r_0073_0070__the_r_0073_0071__meads(R_0073_0070__THE_R_0073_0071__MEADS)
      & z_0073_5041___star_(Z_0073_5041___STAR_)
      & z_0073_5001(Z_0073_5001)
      & has_conj1(Z_0073_5001,Z_0073_5003)
      & z_0073_5003(Z_0073_5003)
      & has_conj1(Z_0073_5003,R_0073_0009__GLEAMING)
      & r_0073_0009__gleaming(R_0073_0009__GLEAMING)
      & has_r_0073_0010__like__nim(R_0073_0009__GLEAMING,R_0073_0011__THE_R_0073_0012__TRACK)
      & r_0073_0011__the_r_0073_0012__track(R_0073_0011__THE_R_0073_0012__TRACK)
      & has_r_0073_0013__of(R_0073_0011__THE_R_0073_0012__TRACK,R_0073_0014__A_R_0073_0015__SNAIL)
      & has_arg0(R_0073_0009__GLEAMING,R_0073_0001__THE_R_0073_0002__GARDEN__HYPHEN__PATH)
      & has_conj2(Z_0073_5003,R_0073_0003__STRETCHED_R_0073_0004__DOWNWARD)
      & r_0073_0003__stretched_r_0073_0004__downward(R_0073_0003__STRETCHED_R_0073_0004__DOWNWARD)
      & has_r_0073_0005__from__nim(R_0073_0003__STRETCHED_R_0073_0004__DOWNWARD,R_0073_0007__FEET)
      & r_0073_0007__feet(R_0073_0007__FEET)
      & has_gen(R_0073_0007__FEET,R_0073_0006__HIS)
      & has_arg0(R_0073_0003__STRETCHED_R_0073_0004__DOWNWARD,R_0073_0001__THE_R_0073_0002__GARDEN__HYPHEN__PATH)
      & has_conj2(Z_0073_5001,R_0073_0047__WHILE)
      & r_0073_0047__while(R_0073_0047__WHILE)
      & has_conj1(R_0073_0047__WHILE,R_0073_0063__SHOWED)
      & r_0073_0063__showed(R_0073_0063__SHOWED)
      & has_arg1(R_0073_0063__SHOWED,R_0073_0067__WERE)
      & r_0073_0067__were(R_0073_0067__WERE)
      & has_prd(R_0073_0067__WERE,R_0073_0068__HIGH)
      & r_0073_0068__high(R_0073_0068__HIGH)
      & has_r_0073_0069__in(R_0073_0068__HIGH,R_0073_0070__THE_R_0073_0071__MEADS)
      & has_arg0(R_0073_0067__WERE,R_0073_0065__THE_R_0073_0066__RIVERS)
      & has_arg0(R_0073_0063__SHOWED,R_0073_0055__A_R_0073_0057__WHITENESS)
      & r_0073_0055__a_r_0073_0057__whiteness(R_0073_0055__A_R_0073_0057__WHITENESS)
      & has_r_0073_0058__of(R_0073_0055__A_R_0073_0057__WHITENESS,R_0073_0062__EXTENT)
      & r_0073_0062__extent(R_0073_0062__EXTENT)
      & has_attrib(R_0073_0062__EXTENT,R_0073_0059__MORE)
      & r_0073_0059__more(R_0073_0059__MORE)
      & has_r_0073_0060__than(R_0073_0059__MORE,R_0073_0061__USUAL)
      & has_attrib(R_0073_0055__A_R_0073_0057__WHITENESS,R_0073_0056__FAINT)
      & has_nim(R_0073_0063__SHOWED,R_0073_0050__AWAY)
      & r_0073_0050__away(R_0073_0050__AWAY)
      & has_r_0073_0051__in(R_0073_0050__AWAY,R_0073_0052__THE_R_0073_0053__VALE)
      & has_qual(R_0073_0050__AWAY,R_0073_0049__FAR)
      & has_conj2(R_0073_0047__WHILE,R_0073_0038__WERE_R_0073_0039__VARNISHED)
      & r_0073_0038__were_r_0073_0039__varnished(R_0073_0038__WERE_R_0073_0039__VARNISHED)
      & has_arg0(R_0073_0038__WERE_R_0073_0039__VARNISHED,Z_0073_5041___STAR_)
      & has_arg1(R_0073_0038__WERE_R_0073_0039__VARNISHED,Z_0073_5020)
      & z_0073_5020(Z_0073_5020)
      & has_conj3(Z_0073_5020,R_0073_0031__THE_R_0073_0033__RAIL)
      & r_0073_0031__the_r_0073_0033__rail(R_0073_0031__THE_R_0073_0033__RAIL)
      & has_r_0073_0034__of(R_0073_0031__THE_R_0073_0033__RAIL,R_0073_0035__THE_R_0073_0036__GARDEN__HYPHEN__GATE)
      & has_attrib(R_0073_0031__THE_R_0073_0033__RAIL,R_0073_0032__TOP)
      & has_conj2(Z_0073_5020,R_0073_0028__THE_R_0073_0029__WELL__HYPHEN__COVER)
      & has_conj1(Z_0073_5020,R_0073_0017__THE_R_0073_0018__ROOF)
      & r_0073_0017__the_r_0073_0018__roof(R_0073_0017__THE_R_0073_0018__ROOF)
      & has_r_0073_0019__of(R_0073_0017__THE_R_0073_0018__ROOF,R_0073_0020__THE_R_0073_0022__WELL)
      & r_0073_0020__the_r_0073_0022__well(R_0073_0020__THE_R_0073_0022__WELL)
      & has_attrib(R_0073_0020__THE_R_0073_0022__WELL,R_0073_0025__DRY)
      & r_0073_0025__dry(R_0073_0025__DRY)
      & has_qual(R_0073_0025__DRY,R_0073_0024__MOSTLY)
      & has_attrib(R_0073_0020__THE_R_0073_0022__WELL,R_0073_0021__LITTLE)
      & has_r_0073_0040__with__nim(R_0073_0038__WERE_R_0073_0039__VARNISHED,R_0073_0041__THE_R_0073_0045__GLAZE)
      & r_0073_0041__the_r_0073_0045__glaze(R_0073_0041__THE_R_0073_0045__GLAZE)
      & has_attrib(R_0073_0041__THE_R_0073_0045__GLAZE,R_0073_0044__LIQUID)
      & has_attrib(R_0073_0041__THE_R_0073_0045__GLAZE,R_0073_0043__DULL)
      & has_attrib(R_0073_0041__THE_R_0073_0045__GLAZE,R_0073_0042__SAME) ) ).