TSPC 13_a_hardy

13_a_hardy_1883
But, though the wind up here blew unmistakably when it did blow, and the rain hit hard whenever it fell, the various weathers of the winter season were not quite so formidable on the coomb as they were imagined to be by dwellers on low ground.

( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (PP-SCON (P-CONN though;{though})
                   (IP-ADV (ILYR (ILYR (NP-SBJ;{WIND} (D the;{the})
                                                      (N wind;{wind})
                                                      (PP (P-ROLE up;{up})
                                                          (ADVP (ADV here;{here}))))
                                       (VBD;_I_ blew;{blow})
                                       (ADVP-NIM (ADV unmistakably;{unmistakably}))
                                       (PP-SCON (P-CONN when;{when})
                                                (IP-ADV (NP-SBJ;{WIND} (PRO it;{it}))
                                                        (DOD did;{do})
                                                        (VB;_I_ blow;{blow}))))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ;{RAIN} (D the;{the})
                                                             (N rain;{rain}))
                                              (VBD;_I_ hit;{hit})
                                              (ADVP-NIM (ADV hard;{hard}))
                                              (PP-SCON (P-CONN whenever;{whenever})
                                                       (IP-ADV (NP-SBJ;{RAIN} (PRO it;{it}))
                                                               (VBD;_I_ fell;{fall}))))))))
          (PUNC ,)
          (NP-SBJ;{WEATHERS} (D the;{the})
                             (ADJP (ADJ various;{various}))
                             (NS weathers;{weather})
                             (PP (P-ROLE of;{of})
                                 (NP (D the;{the})
                                     (N winter;{winter})
                                     (N season;{season}))))
          (BED;_La_ were;{be})
          (NEG not;{not})
          (ADJP-PRD (ADVP (ADVP (ADV quite;{quite}))
                          (ADV so;{so})
                          (PP *ICH*-210))
                    (ADJ formidable;{formidable})
                    (PP (P-ROLE on;{on})
                        (NP (D the;{the})
                            (N coomb;{coomb})))
                    (PP-EPD-210 (P-ROLE as;{as})
                                (NP (IP-REL (NP-SBJ;{WEATHERS} (PRO they;{they}))
                                            (BED;_cat_VePASS_ were;{be})
                                            (IP-PPL-CAT (VVN;_Cn.t_ imagined;{imagine})
                                                        (IP-INF-PRD (NP-PRD *T*)
                                                                    (TO to;{to})
                                                                    (BE;_Ln_ be;{be}))
                                                        (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                (NP (NS dwellers;{dweller})
                                                                    (PP (P-ROLE on;{on})
                                                                        (NP (ADJP (ADJ low;{low}))
                                                                            (N ground;{ground}))))))))))
          (PUNC .))
  (ID 13_a_hardy_1883))

arc(r_0013_0003__though,r_0013_0015__and,restriction).
arc(r_0013_0003__though,r_0013_0032__not,scope).
arc(r_0013_0004__the_r_0013_0005__wind,r_0013_0007__here,r_0013_0006__up).
arc(r_0013_0008__blew,r_0013_0004__the_r_0013_0005__wind,arg0).
arc(r_0013_0008__blew,r_0013_0009__unmistakably,nim).
arc(r_0013_0010__when,r_0013_0008__blew,scope).
arc(r_0013_0010__when,r_0013_0012__did_r_0013_0013__blow,restriction).
arc(r_0013_0012__did_r_0013_0013__blow,r_0013_0004__the_r_0013_0005__wind,arg0).
arc(r_0013_0015__and,r_0013_0010__when,conj1).
arc(r_0013_0015__and,r_0013_0020__whenever,conj2).
arc(r_0013_0018__hit,r_0013_0016__the_r_0013_0017__rain,arg0).
arc(r_0013_0018__hit,r_0013_0019__hard,nim).
arc(r_0013_0020__whenever,r_0013_0018__hit,scope).
arc(r_0013_0020__whenever,r_0013_0022__fell,restriction).
arc(r_0013_0022__fell,r_0013_0016__the_r_0013_0017__rain,arg0).
arc(r_0013_0024__the_r_0013_0026__weathers,r_0013_0025__various,attrib).
arc(r_0013_0024__the_r_0013_0026__weathers,r_0013_0028__the_r_0013_0029__winter_r_0013_0030__season,r_0013_0027__of).
arc(r_0013_0031__were,r_0013_0024__the_r_0013_0026__weathers,arg0).
arc(r_0013_0031__were,r_0013_0035__formidable,prd).
arc(r_0013_0032__not,r_0013_0031__were,keep_scope).
arc(r_0013_0034__so,r_0013_0033__quite,qual).
arc(r_0013_0034__so,z_0013_5032,r_0013_0039__as).
arc(r_0013_0035__formidable,r_0013_0034__so,qual).
arc(r_0013_0035__formidable,r_0013_0037__the_r_0013_0038__coomb,r_0013_0036__on).
arc(r_0013_0041__were,r_0013_0042__imagined,scope).
arc(r_0013_0042__imagined,r_0013_0024__the_r_0013_0026__weathers,arg1).
arc(r_0013_0042__imagined,r_0013_0044__be,prd).
arc(r_0013_0042__imagined,r_0013_0046__dwellers,r_0013_0045__by_arg0).
arc(r_0013_0044__be,z_0013_5028,arg0).
arc(r_0013_0044__be,z_0013_5032,inv_prd).
arc(r_0013_0046__dwellers,r_0013_0049__ground,r_0013_0047__on).
arc(r_0013_0049__ground,r_0013_0048__low,attrib).

fof(formula,axiom,
    ? [R_0013_0015__AND,R_0013_0003__THOUGH,R_0013_0025__VARIOUS,R_0013_0028__THE_R_0013_0029__WINTER_R_0013_0030__SEASON,R_0013_0024__THE_R_0013_0026__WEATHERS,Z_0013_5028,R_0013_0044__BE,R_0013_0048__LOW,R_0013_0049__GROUND,R_0013_0046__DWELLERS,R_0013_0041__WERE_R_0013_0042__IMAGINED] :
      ( r_0013_0025__various(R_0013_0025__VARIOUS)
      & r_0013_0028__the_r_0013_0029__winter_r_0013_0030__season(R_0013_0028__THE_R_0013_0029__WINTER_R_0013_0030__SEASON)
      & r_0013_0048__low(R_0013_0048__LOW)
      & z_0013_5028(Z_0013_5028)
      & r_0013_0041__were_r_0013_0042__imagined(R_0013_0041__WERE_R_0013_0042__IMAGINED)
      & has_r_0013_0045__by_arg0(R_0013_0041__WERE_R_0013_0042__IMAGINED,R_0013_0046__DWELLERS)
      & r_0013_0046__dwellers(R_0013_0046__DWELLERS)
      & has_r_0013_0047__on(R_0013_0046__DWELLERS,R_0013_0049__GROUND)
      & r_0013_0049__ground(R_0013_0049__GROUND)
      & has_attrib(R_0013_0049__GROUND,R_0013_0048__LOW)
      & has_prd(R_0013_0041__WERE_R_0013_0042__IMAGINED,R_0013_0044__BE)
      & r_0013_0044__be(R_0013_0044__BE)
      & has_arg0(R_0013_0044__BE,Z_0013_5028)
      & has_arg1(R_0013_0041__WERE_R_0013_0042__IMAGINED,R_0013_0024__THE_R_0013_0026__WEATHERS)
      & r_0013_0024__the_r_0013_0026__weathers(R_0013_0024__THE_R_0013_0026__WEATHERS)
      & has_r_0013_0027__of(R_0013_0024__THE_R_0013_0026__WEATHERS,R_0013_0028__THE_R_0013_0029__WINTER_R_0013_0030__SEASON)
      & has_attrib(R_0013_0024__THE_R_0013_0026__WEATHERS,R_0013_0025__VARIOUS)
      & r_0013_0003__though(R_0013_0003__THOUGH)
      & has_conj2(R_0013_0003__THOUGH,R_0013_0032__NOT)
      & ~ ? [R_0013_0033__QUITE,Z_0013_5032,R_0013_0034__SO,R_0013_0037__THE_R_0013_0038__COOMB,R_0013_0035__FORMIDABLE,R_0013_0031__WERE] :
            ( r_0013_0033__quite(R_0013_0033__QUITE)
            & r_0013_0037__the_r_0013_0038__coomb(R_0013_0037__THE_R_0013_0038__COOMB)
            & r_0013_0031__were(R_0013_0031__WERE)
            & has_prd(R_0013_0031__WERE,R_0013_0035__FORMIDABLE)
            & r_0013_0035__formidable(R_0013_0035__FORMIDABLE)
            & has_r_0013_0036__on(R_0013_0035__FORMIDABLE,R_0013_0037__THE_R_0013_0038__COOMB)
            & has_qual(R_0013_0035__FORMIDABLE,R_0013_0034__SO)
            & r_0013_0034__so(R_0013_0034__SO)
            & has_r_0013_0039__as(R_0013_0034__SO,Z_0013_5032)
            & z_0013_5032(Z_0013_5032)
            & has_inv_prd(Z_0013_5032,R_0013_0044__BE)
            & has_qual(R_0013_0034__SO,R_0013_0033__QUITE)
            & has_arg0(R_0013_0031__WERE,R_0013_0024__THE_R_0013_0026__WEATHERS) )
      & has_conj1(R_0013_0003__THOUGH,R_0013_0015__AND)
      & r_0013_0015__and(R_0013_0015__AND)
      & ! [R_0013_0022__FELL,R_0013_0016__THE_R_0013_0017__RAIN] :
          ( ( r_0013_0016__the_r_0013_0017__rain(R_0013_0016__THE_R_0013_0017__RAIN)
            & r_0013_0022__fell(R_0013_0022__FELL)
            & has_arg0(R_0013_0022__FELL,R_0013_0016__THE_R_0013_0017__RAIN) )
         => ? [R_0013_0019__HARD,R_0013_0018__HIT] :
              ( r_0013_0019__hard(R_0013_0019__HARD)
              & r_0013_0018__hit(R_0013_0018__HIT)
              & has_nim(R_0013_0018__HIT,R_0013_0019__HARD)
              & has_arg0(R_0013_0018__HIT,R_0013_0016__THE_R_0013_0017__RAIN) ) )
      & ! [R_0013_0012__DID_R_0013_0013__BLOW,R_0013_0007__HERE,R_0013_0004__THE_R_0013_0005__WIND] :
          ( ( r_0013_0007__here(R_0013_0007__HERE)
            & r_0013_0012__did_r_0013_0013__blow(R_0013_0012__DID_R_0013_0013__BLOW)
            & has_arg0(R_0013_0012__DID_R_0013_0013__BLOW,R_0013_0004__THE_R_0013_0005__WIND)
            & r_0013_0004__the_r_0013_0005__wind(R_0013_0004__THE_R_0013_0005__WIND)
            & has_r_0013_0006__up(R_0013_0004__THE_R_0013_0005__WIND,R_0013_0007__HERE) )
         => ? [R_0013_0009__UNMISTAKABLY,R_0013_0008__BLEW] :
              ( r_0013_0009__unmistakably(R_0013_0009__UNMISTAKABLY)
              & r_0013_0008__blew(R_0013_0008__BLEW)
              & has_nim(R_0013_0008__BLEW,R_0013_0009__UNMISTAKABLY)
              & has_arg0(R_0013_0008__BLEW,R_0013_0004__THE_R_0013_0005__WIND) ) ) ) ).