TSPC 57_a_hardy

57_a_hardy_1883
By the time that he had arrived abreast of the shepherd's premises the rain came down, or rather came along, with yet more determined violence.

( (IP-MAT (PP-NIM (P-ROLE By;{by})
                  (NP (D the;{the})
                      (N time;{time})
                      (IP-REL (C that;{that})
                              (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (NP-NIM *T*)
                                          (VVN;__ arrived;{arrive})
                                          (PP-NIM (P-ROLE abreast_of;{abreast_of})
                                                  (NP (NP-GEN;{FENNEL} (D the;{the})
                                                                       (N shepherd;{shepherd})
                                                                       (GENM <apos>s))
                                                      (NS premises;{premise})))))))
          (NP-SBJ (D the;{the})
                  (N rain;{rain}))
          (ILYR (ILYR (VBD;__ came;{come})
                      (RP down;{down}))
                (PUNC ,)
                (CONJP (CONJ or;{or})
                       (ILYR (ADVP-NIM (ADVR rather;{rather}))
                             (VBD;__ came;{come})
                             (ADVP-NIM (ADV along;{along})))))
          (PUNC ,)
          (PP-NIM (P-ROLE with;{with})
                  (NP (ADJP (ADVP (ADV yet;{yet}))
                            (ADJR more;{more}))
                      (ADJP (ADJ determined;{determined}))
                      (N violence;{violence})))
          (PUNC .))
  (ID 57_a_hardy_1883))

arc(r_0057_0006__had,r_0057_0007__arrived,scope).
arc(r_0057_0007__arrived,r_0057_0002__the_r_0057_0003__time,inv_nim).
arc(r_0057_0007__arrived,r_0057_0005__he,arg0).
arc(r_0057_0007__arrived,r_0057_0012__premises,r_0057_0008__abreast_of__nim).
arc(r_0057_0012__premises,r_0057_0009__the_r_0057_0010__shepherd,gen).
arc(r_0057_0015__came_r_0057_0016__down,r_0057_0002__the_r_0057_0003__time,r_0057_0001__By__nim).
arc(r_0057_0015__came_r_0057_0016__down,r_0057_0013__the_r_0057_0014__rain,arg0).
arc(r_0057_0015__came_r_0057_0016__down,r_0057_0027__violence,r_0057_0023__with__nim).
arc(r_0057_0018__or,r_0057_0015__came_r_0057_0016__down,conj1).
arc(r_0057_0018__or,r_0057_0020__came,conj2).
arc(r_0057_0020__came,r_0057_0002__the_r_0057_0003__time,r_0057_0001__By__nim).
arc(r_0057_0020__came,r_0057_0013__the_r_0057_0014__rain,arg0).
arc(r_0057_0020__came,r_0057_0019__rather,nim).
arc(r_0057_0020__came,r_0057_0021__along,nim).
arc(r_0057_0020__came,r_0057_0027__violence,r_0057_0023__with__nim).
arc(r_0057_0025__more,r_0057_0024__yet,qual).
arc(r_0057_0027__violence,r_0057_0025__more,attrib).
arc(r_0057_0027__violence,r_0057_0026__determined,attrib).

fof(formula,axiom,
    ? [R_0057_0005__HE,R_0057_0009__THE_R_0057_0010__SHEPHERD,R_0057_0012__PREMISES,R_0057_0006__HAD_R_0057_0007__ARRIVED,R_0057_0002__THE_R_0057_0003__TIME,R_0057_0013__THE_R_0057_0014__RAIN,R_0057_0024__YET,R_0057_0025__MORE,R_0057_0026__DETERMINED,R_0057_0027__VIOLENCE,R_0057_0015__CAME_R_0057_0016__DOWN,R_0057_0019__RATHER,R_0057_0021__ALONG,R_0057_0020__CAME,R_0057_0018__OR] :
      ( r_0057_0005__he(R_0057_0005__HE)
      & r_0057_0009__the_r_0057_0010__shepherd(R_0057_0009__THE_R_0057_0010__SHEPHERD)
      & r_0057_0013__the_r_0057_0014__rain(R_0057_0013__THE_R_0057_0014__RAIN)
      & r_0057_0019__rather(R_0057_0019__RATHER)
      & r_0057_0021__along(R_0057_0021__ALONG)
      & r_0057_0024__yet(R_0057_0024__YET)
      & r_0057_0026__determined(R_0057_0026__DETERMINED)
      & r_0057_0018__or(R_0057_0018__OR)
      & has_conj2(R_0057_0018__OR,R_0057_0020__CAME)
      & r_0057_0020__came(R_0057_0020__CAME)
      & has_r_0057_0023__with__nim(R_0057_0020__CAME,R_0057_0027__VIOLENCE)
      & r_0057_0027__violence(R_0057_0027__VIOLENCE)
      & has_attrib(R_0057_0027__VIOLENCE,R_0057_0026__DETERMINED)
      & has_attrib(R_0057_0027__VIOLENCE,R_0057_0025__MORE)
      & r_0057_0025__more(R_0057_0025__MORE)
      & has_qual(R_0057_0025__MORE,R_0057_0024__YET)
      & has_nim(R_0057_0020__CAME,R_0057_0021__ALONG)
      & has_nim(R_0057_0020__CAME,R_0057_0019__RATHER)
      & has_arg0(R_0057_0020__CAME,R_0057_0013__THE_R_0057_0014__RAIN)
      & has_r_0057_0001__By__nim(R_0057_0020__CAME,R_0057_0002__THE_R_0057_0003__TIME)
      & r_0057_0002__the_r_0057_0003__time(R_0057_0002__THE_R_0057_0003__TIME)
      & has_inv_nim(R_0057_0002__THE_R_0057_0003__TIME,R_0057_0006__HAD_R_0057_0007__ARRIVED)
      & r_0057_0006__had_r_0057_0007__arrived(R_0057_0006__HAD_R_0057_0007__ARRIVED)
      & has_r_0057_0008__abreast_of__nim(R_0057_0006__HAD_R_0057_0007__ARRIVED,R_0057_0012__PREMISES)
      & r_0057_0012__premises(R_0057_0012__PREMISES)
      & has_gen(R_0057_0012__PREMISES,R_0057_0009__THE_R_0057_0010__SHEPHERD)
      & has_arg0(R_0057_0006__HAD_R_0057_0007__ARRIVED,R_0057_0005__HE)
      & has_conj1(R_0057_0018__OR,R_0057_0015__CAME_R_0057_0016__DOWN)
      & r_0057_0015__came_r_0057_0016__down(R_0057_0015__CAME_R_0057_0016__DOWN)
      & has_r_0057_0023__with__nim(R_0057_0015__CAME_R_0057_0016__DOWN,R_0057_0027__VIOLENCE)
      & has_arg0(R_0057_0015__CAME_R_0057_0016__DOWN,R_0057_0013__THE_R_0057_0014__RAIN)
      & has_r_0057_0001__By__nim(R_0057_0015__CAME_R_0057_0016__DOWN,R_0057_0002__THE_R_0057_0003__TIME) ) ).