TSPC 74_a_hardy

74_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.

arc(r_0074_0003__stretched, r_0074_0001__The_r_0074_0002__garden__hyphen__path, arg0).
arc(r_0074_0003__stretched, r_0074_0004__downward, clr11).
arc(r_0074_0003__stretched, r_0074_0007__feet, r_0074_0005__from_nim17).
arc(r_0074_0007__feet, r_0074_0006__his, gen).
arc(r_0074_0009__gleaming, r_0074_0001__The_r_0074_0002__garden__hyphen__path, arg0).
arc(r_0074_0009__gleaming, r_0074_0011__the_r_0074_0012__track, r_0074_0010__like_nim32).
arc(r_0074_0011__the_r_0074_0012__track, r_0074_0014__a_r_0074_0015__snail, r_0074_0013__of).
arc(r_0074_0017__the_r_0074_0018__roof, r_0074_0020__the_r_0074_0022__well, r_0074_0019__of).
arc(r_0074_0020__the_r_0074_0022__well, r_0074_0021__little, attrib62).
arc(r_0074_0020__the_r_0074_0022__well, r_0074_0025__dry, attrib67).
arc(r_0074_0025__dry, r_0074_0024__mostly, qual70).
arc(r_0074_0031__the_r_0074_0033__rail, r_0074_0032__top, attrib91).
arc(r_0074_0031__the_r_0074_0033__rail, r_0074_0035__the_r_0074_0036__garden__hyphen__gate, r_0074_0034__of).
arc(r_0074_0038__were, r_0074_0039__varnished, scope).
arc(r_0074_0039__varnished, r_0074_0041__the_r_0074_0045__glaze, r_0074_0040__with_nim116).
arc(r_0074_0039__varnished, z_000_74_a_hardy_1883_109, arg0).
arc(r_0074_0039__varnished, z_000_74_a_hardy_1883_50, arg1).
arc(r_0074_0041__the_r_0074_0045__glaze, r_0074_0042__same, attrib119).
arc(r_0074_0041__the_r_0074_0045__glaze, r_0074_0043__dull, attrib122).
arc(r_0074_0041__the_r_0074_0045__glaze, r_0074_0044__liquid, attrib125).
arc(r_0074_0047__while, r_0074_0038__were, scope).
arc(r_0074_0047__while, r_0074_0063__showed, restriction).
arc(r_0074_0050__away, r_0074_0049__far, qual139).
arc(r_0074_0050__away, r_0074_0052__the_r_0074_0053__vale, r_0074_0051__in).
arc(r_0074_0055__a_r_0074_0057__whiteness, r_0074_0056__faint, attrib157).
arc(r_0074_0055__a_r_0074_0057__whiteness, r_0074_0062__extent, r_0074_0058__of).
arc(r_0074_0059__more, z_000_74_a_hardy_1883_172, r_0074_0060__than).
arc(r_0074_0062__extent, r_0074_0059__more, attrib166).
arc(r_0074_0063__showed, r_0074_0050__away, nim138).
arc(r_0074_0063__showed, r_0074_0055__a_r_0074_0057__whiteness, arg0).
arc(r_0074_0063__showed, r_0074_0064__that_r_0074_0067__were, arg1).
arc(r_0074_0064__that_r_0074_0067__were, r_0074_0065__the_r_0074_0066__rivers, arg0).
arc(r_0074_0064__that_r_0074_0067__were, r_0074_0068__high, prd).
arc(r_0074_0068__high, r_0074_0070__the_r_0074_0071__meads, r_0074_0069__in).
arc(z_000_74_a_hardy_1883_172, r_0074_0061__usual, attrib173).
arc(z_000_74_a_hardy_1883_2, r_0074_0047__while, conj2).
arc(z_000_74_a_hardy_1883_2, z_000_74_a_hardy_1883_25, conj1).
arc(z_000_74_a_hardy_1883_25, r_0074_0003__stretched, scope).
arc(z_000_74_a_hardy_1883_25, r_0074_0009__gleaming, restriction).
arc(z_000_74_a_hardy_1883_50, r_0074_0017__the_r_0074_0018__roof, conj1).
arc(z_000_74_a_hardy_1883_50, r_0074_0028__the_r_0074_0029__well__hyphen__cover, conj2).
arc(z_000_74_a_hardy_1883_50, r_0074_0031__the_r_0074_0033__rail, conj3).

fof(formula,axiom,
    ? [R_0074_0042__SAME,R_0074_0043__DULL,R_0074_0044__LIQUID,R_0074_0041__THE_R_0074_0045__GLAZE,Z_000_74_A_HARDY_1883_109,R_0074_0021__LITTLE,R_0074_0024__MOSTLY,R_0074_0025__DRY,R_0074_0020__THE_R_0074_0022__WELL,R_0074_0017__THE_R_0074_0018__ROOF,R_0074_0028__THE_R_0074_0029__WELL__HYPHEN__COVER,R_0074_0032__TOP,R_0074_0035__THE_R_0074_0036__GARDEN__HYPHEN__GATE,R_0074_0031__THE_R_0074_0033__RAIL,Z_000_74_A_HARDY_1883_50,R_0074_0038__WERE_R_0074_0039__VARNISHED,R_0074_0049__FAR,R_0074_0052__THE_R_0074_0053__VALE,R_0074_0050__AWAY,R_0074_0056__FAINT,R_0074_0061__USUAL,Z_000_74_A_HARDY_1883_172,R_0074_0059__MORE,R_0074_0062__EXTENT,R_0074_0055__A_R_0074_0057__WHITENESS,R_0074_0065__THE_R_0074_0066__RIVERS,R_0074_0070__THE_R_0074_0071__MEADS,R_0074_0068__HIGH,R_0074_0064__THAT_R_0074_0067__WERE,R_0074_0063__SHOWED,R_0074_0047__WHILE,R_0074_0001__THE_R_0074_0002__GARDEN__HYPHEN__PATH,R_0074_0004__DOWNWARD,R_0074_0006__HIS,R_0074_0007__FEET,R_0074_0003__STRETCHED,R_0074_0014__A_R_0074_0015__SNAIL,R_0074_0011__THE_R_0074_0012__TRACK,R_0074_0009__GLEAMING,Z_000_74_A_HARDY_1883_25,Z_000_74_A_HARDY_1883_2] :
      ( r_0074_0001__The_r_0074_0002__garden__hyphen__path(R_0074_0001__THE_R_0074_0002__GARDEN__HYPHEN__PATH)
      & r_0074_0004__downward(R_0074_0004__DOWNWARD)
      & r_0074_0006__his(R_0074_0006__HIS)
      & r_0074_0014__a_r_0074_0015__snail(R_0074_0014__A_R_0074_0015__SNAIL)
      & r_0074_0021__little(R_0074_0021__LITTLE)
      & r_0074_0024__mostly(R_0074_0024__MOSTLY)
      & r_0074_0028__the_r_0074_0029__well__hyphen__cover(R_0074_0028__THE_R_0074_0029__WELL__HYPHEN__COVER)
      & r_0074_0032__top(R_0074_0032__TOP)
      & r_0074_0035__the_r_0074_0036__garden__hyphen__gate(R_0074_0035__THE_R_0074_0036__GARDEN__HYPHEN__GATE)
      & r_0074_0042__same(R_0074_0042__SAME)
      & r_0074_0043__dull(R_0074_0043__DULL)
      & r_0074_0044__liquid(R_0074_0044__LIQUID)
      & r_0074_0049__far(R_0074_0049__FAR)
      & r_0074_0052__the_r_0074_0053__vale(R_0074_0052__THE_R_0074_0053__VALE)
      & r_0074_0056__faint(R_0074_0056__FAINT)
      & r_0074_0061__usual(R_0074_0061__USUAL)
      & r_0074_0065__the_r_0074_0066__rivers(R_0074_0065__THE_R_0074_0066__RIVERS)
      & r_0074_0070__the_r_0074_0071__meads(R_0074_0070__THE_R_0074_0071__MEADS)
      & z_000_74_a_hardy_1883_109(Z_000_74_A_HARDY_1883_109)
      & z_000_74_a_hardy_1883_2(Z_000_74_A_HARDY_1883_2)
      & has_conj1(Z_000_74_A_HARDY_1883_2,Z_000_74_A_HARDY_1883_25)
      & z_000_74_a_hardy_1883_25(Z_000_74_A_HARDY_1883_25)
      & has_conj1(Z_000_74_A_HARDY_1883_25,R_0074_0009__GLEAMING)
      & r_0074_0009__gleaming(R_0074_0009__GLEAMING)
      & has_r_0074_0010__like_nim32(R_0074_0009__GLEAMING,R_0074_0011__THE_R_0074_0012__TRACK)
      & r_0074_0011__the_r_0074_0012__track(R_0074_0011__THE_R_0074_0012__TRACK)
      & has_r_0074_0013__of(R_0074_0011__THE_R_0074_0012__TRACK,R_0074_0014__A_R_0074_0015__SNAIL)
      & has_arg0(R_0074_0009__GLEAMING,R_0074_0001__THE_R_0074_0002__GARDEN__HYPHEN__PATH)
      & has_conj2(Z_000_74_A_HARDY_1883_25,R_0074_0003__STRETCHED)
      & r_0074_0003__stretched(R_0074_0003__STRETCHED)
      & has_r_0074_0005__from_nim17(R_0074_0003__STRETCHED,R_0074_0007__FEET)
      & r_0074_0007__feet(R_0074_0007__FEET)
      & has_gen(R_0074_0007__FEET,R_0074_0006__HIS)
      & has_clr11(R_0074_0003__STRETCHED,R_0074_0004__DOWNWARD)
      & has_arg0(R_0074_0003__STRETCHED,R_0074_0001__THE_R_0074_0002__GARDEN__HYPHEN__PATH)
      & has_conj2(Z_000_74_A_HARDY_1883_2,R_0074_0047__WHILE)
      & r_0074_0047__while(R_0074_0047__WHILE)
      & has_conj1(R_0074_0047__WHILE,R_0074_0063__SHOWED)
      & r_0074_0063__showed(R_0074_0063__SHOWED)
      & has_arg1(R_0074_0063__SHOWED,R_0074_0064__THAT_R_0074_0067__WERE)
      & r_0074_0064__that_r_0074_0067__were(R_0074_0064__THAT_R_0074_0067__WERE)
      & has_prd(R_0074_0064__THAT_R_0074_0067__WERE,R_0074_0068__HIGH)
      & r_0074_0068__high(R_0074_0068__HIGH)
      & has_r_0074_0069__in(R_0074_0068__HIGH,R_0074_0070__THE_R_0074_0071__MEADS)
      & has_arg0(R_0074_0064__THAT_R_0074_0067__WERE,R_0074_0065__THE_R_0074_0066__RIVERS)
      & has_arg0(R_0074_0063__SHOWED,R_0074_0055__A_R_0074_0057__WHITENESS)
      & r_0074_0055__a_r_0074_0057__whiteness(R_0074_0055__A_R_0074_0057__WHITENESS)
      & has_r_0074_0058__of(R_0074_0055__A_R_0074_0057__WHITENESS,R_0074_0062__EXTENT)
      & r_0074_0062__extent(R_0074_0062__EXTENT)
      & has_attrib166(R_0074_0062__EXTENT,R_0074_0059__MORE)
      & r_0074_0059__more(R_0074_0059__MORE)
      & has_r_0074_0060__than(R_0074_0059__MORE,Z_000_74_A_HARDY_1883_172)
      & z_000_74_a_hardy_1883_172(Z_000_74_A_HARDY_1883_172)
      & has_attrib173(Z_000_74_A_HARDY_1883_172,R_0074_0061__USUAL)
      & has_attrib157(R_0074_0055__A_R_0074_0057__WHITENESS,R_0074_0056__FAINT)
      & has_nim138(R_0074_0063__SHOWED,R_0074_0050__AWAY)
      & r_0074_0050__away(R_0074_0050__AWAY)
      & has_r_0074_0051__in(R_0074_0050__AWAY,R_0074_0052__THE_R_0074_0053__VALE)
      & has_qual139(R_0074_0050__AWAY,R_0074_0049__FAR)
      & has_conj2(R_0074_0047__WHILE,R_0074_0038__WERE_R_0074_0039__VARNISHED)
      & r_0074_0038__were_r_0074_0039__varnished(R_0074_0038__WERE_R_0074_0039__VARNISHED)
      & has_arg1(R_0074_0038__WERE_R_0074_0039__VARNISHED,Z_000_74_A_HARDY_1883_50)
      & z_000_74_a_hardy_1883_50(Z_000_74_A_HARDY_1883_50)
      & has_conj3(Z_000_74_A_HARDY_1883_50,R_0074_0031__THE_R_0074_0033__RAIL)
      & r_0074_0031__the_r_0074_0033__rail(R_0074_0031__THE_R_0074_0033__RAIL)
      & has_r_0074_0034__of(R_0074_0031__THE_R_0074_0033__RAIL,R_0074_0035__THE_R_0074_0036__GARDEN__HYPHEN__GATE)
      & has_attrib91(R_0074_0031__THE_R_0074_0033__RAIL,R_0074_0032__TOP)
      & has_conj2(Z_000_74_A_HARDY_1883_50,R_0074_0028__THE_R_0074_0029__WELL__HYPHEN__COVER)
      & has_conj1(Z_000_74_A_HARDY_1883_50,R_0074_0017__THE_R_0074_0018__ROOF)
      & r_0074_0017__the_r_0074_0018__roof(R_0074_0017__THE_R_0074_0018__ROOF)
      & has_r_0074_0019__of(R_0074_0017__THE_R_0074_0018__ROOF,R_0074_0020__THE_R_0074_0022__WELL)
      & r_0074_0020__the_r_0074_0022__well(R_0074_0020__THE_R_0074_0022__WELL)
      & has_attrib67(R_0074_0020__THE_R_0074_0022__WELL,R_0074_0025__DRY)
      & r_0074_0025__dry(R_0074_0025__DRY)
      & has_qual70(R_0074_0025__DRY,R_0074_0024__MOSTLY)
      & has_attrib62(R_0074_0020__THE_R_0074_0022__WELL,R_0074_0021__LITTLE)
      & has_arg0(R_0074_0038__WERE_R_0074_0039__VARNISHED,Z_000_74_A_HARDY_1883_109)
      & has_r_0074_0040__with_nim116(R_0074_0038__WERE_R_0074_0039__VARNISHED,R_0074_0041__THE_R_0074_0045__GLAZE)
      & r_0074_0041__the_r_0074_0045__glaze(R_0074_0041__THE_R_0074_0045__GLAZE)
      & has_attrib125(R_0074_0041__THE_R_0074_0045__GLAZE,R_0074_0044__LIQUID)
      & has_attrib122(R_0074_0041__THE_R_0074_0045__GLAZE,R_0074_0043__DULL)
      & has_attrib119(R_0074_0041__THE_R_0074_0045__GLAZE,R_0074_0042__SAME) ) ).

( (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})
                                                                        (NP (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 74_a_hardy_1883))