TSPC 74_a_hardy

74_a_hardy_1883
Beyond all this winked a few bleared lamplights through the beating drops — lights that denoted the situation of the county - town from which he had appeared to come.

( (IP-MAT (PP-TPC-NIM (P-ROLE Beyond;{beyond})
                      (NP (Q;_nphd_ all;{all})
                          (NLYR (D;_nphd_ this;{this}))))
          (VBD;__ winked;{wink})
          (NP-SBJ (D a_few;{a_few})
                  (ADJP (ADJ bleared;{bleared}))
                  (NS lamplights;{lamplight})
                  (PRN *ICH*-136))
          (PP-NIM (P-ROLE through;{through})
                  (NP (D the;{the})
                      (ADJP (ADJ beating;{beating}))
                      (NS drops;{drop})))
          (PUNC <mdash>)
          (PRN-EPD-136 (NP (NS lights;{light})
                           (IP-REL (C that;{that})
                                   (NP-SBJ *T*)
                                   (VBD;__ denoted;{denote})
                                   (NP-OB1 (D the;{the})
                                           (N situation;{situation})
                                           (PP (P-ROLE of;{of})
                                               (NP (D the;{the})
                                                   (N county;{county})
                                                   (N <hyphen>)
                                                   (N town;{town})
                                                   (IP-REL (PP-172 (P-ROLE from;{from})
                                                                   (NP (RPRO which;{which})))
                                                           (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                                           (HVD;_cat_Ve_ had;{have})
                                                           (IP-PPL-CAT (VVN;_cat_Vt_ appeared;{appear})
                                                                       (IP-INF-CAT (PP-NIM *ICH*-172)
                                                                                   (TO to;{to})
                                                                                   (VB;__ come;{come}))))))))))
          (PUNC .))
  (ID 74_a_hardy_1883))

arc(r_0074_0002__all__quant,r_0074_0004__winked,scope).
arc(r_0074_0002__all__quant,z_0074_5003,restriction).
arc(r_0074_0004__winked,r_0074_0005__a_few_r_0074_0007__lamplights,arg0).
arc(r_0074_0004__winked,r_0074_0009__the_r_0074_0011__drops,r_0074_0008__through__nim).
arc(r_0074_0004__winked,z_0074_5003,r_0074_0001__Beyond__nim).
arc(r_0074_0005__a_few_r_0074_0007__lamplights,r_0074_0006__bleared,attrib).
arc(r_0074_0009__the_r_0074_0011__drops,r_0074_0010__beating,attrib).
arc(r_0074_0015__denoted,r_0074_0013__lights,inv_arg0).
arc(r_0074_0015__denoted,r_0074_0016__the_r_0074_0017__situation,arg1).
arc(r_0074_0016__the_r_0074_0017__situation,r_0074_0019__the_r_0074_0020__county_r_0074_0021___hyphen__r_0074_0022__town,r_0074_0018__of).
arc(r_0074_0026__had,r_0074_0027__appeared,scope).
arc(r_0074_0027__appeared,r_0074_0029__come,scope).
arc(r_0074_0029__come,r_0074_0019__the_r_0074_0020__county_r_0074_0021___hyphen__r_0074_0022__town,r_0074_0023__from__nim).
arc(r_0074_0029__come,r_0074_0025__he,arg0).
arc(z_0074_5003,r_0074_0003__this,nim).
arc(z_0074_5015,r_0074_0005__a_few_r_0074_0007__lamplights,arg0).
arc(z_0074_5015,r_0074_0013__lights,prd).

fof(formula,axiom,
    ? [R_0074_0019__THE_R_0074_0020__COUNTY_R_0074_0021___HYPHEN__R_0074_0022__TOWN,R_0074_0025__HE,R_0074_0026__HAD_R_0074_0027__APPEARED_R_0074_0029__COME,R_0074_0006__BLEARED,R_0074_0005__A_FEW_R_0074_0007__LAMPLIGHTS,R_0074_0016__THE_R_0074_0017__SITUATION,R_0074_0015__DENOTED,R_0074_0013__LIGHTS,Z_0074_5015] :
      ( r_0074_0006__bleared(R_0074_0006__BLEARED)
      & r_0074_0019__the_r_0074_0020__county_r_0074_0021___hyphen__r_0074_0022__town(R_0074_0019__THE_R_0074_0020__COUNTY_R_0074_0021___HYPHEN__R_0074_0022__TOWN)
      & r_0074_0025__he(R_0074_0025__HE)
      & z_0074_5015(Z_0074_5015)
      & has_prd(Z_0074_5015,R_0074_0013__LIGHTS)
      & r_0074_0013__lights(R_0074_0013__LIGHTS)
      & has_inv_arg0(R_0074_0013__LIGHTS,R_0074_0015__DENOTED)
      & r_0074_0015__denoted(R_0074_0015__DENOTED)
      & has_arg1(R_0074_0015__DENOTED,R_0074_0016__THE_R_0074_0017__SITUATION)
      & r_0074_0016__the_r_0074_0017__situation(R_0074_0016__THE_R_0074_0017__SITUATION)
      & has_r_0074_0018__of(R_0074_0016__THE_R_0074_0017__SITUATION,R_0074_0019__THE_R_0074_0020__COUNTY_R_0074_0021___HYPHEN__R_0074_0022__TOWN)
      & has_arg0(Z_0074_5015,R_0074_0005__A_FEW_R_0074_0007__LAMPLIGHTS)
      & r_0074_0005__a_few_r_0074_0007__lamplights(R_0074_0005__A_FEW_R_0074_0007__LAMPLIGHTS)
      & has_attrib(R_0074_0005__A_FEW_R_0074_0007__LAMPLIGHTS,R_0074_0006__BLEARED)
      & r_0074_0026__had_r_0074_0027__appeared_r_0074_0029__come(R_0074_0026__HAD_R_0074_0027__APPEARED_R_0074_0029__COME)
      & has_arg0(R_0074_0026__HAD_R_0074_0027__APPEARED_R_0074_0029__COME,R_0074_0025__HE)
      & has_r_0074_0023__from__nim(R_0074_0026__HAD_R_0074_0027__APPEARED_R_0074_0029__COME,R_0074_0019__THE_R_0074_0020__COUNTY_R_0074_0021___HYPHEN__R_0074_0022__TOWN)
      & ! [Z_0074_5003,R_0074_0003__THIS] :
          ( ( r_0074_0003__this(R_0074_0003__THIS)
            & z_0074_5003(Z_0074_5003)
            & has_nim(Z_0074_5003,R_0074_0003__THIS) )
         => ? [R_0074_0010__BEATING,R_0074_0009__THE_R_0074_0011__DROPS,R_0074_0004__WINKED] :
              ( r_0074_0010__beating(R_0074_0010__BEATING)
              & r_0074_0004__winked(R_0074_0004__WINKED)
              & has_r_0074_0001__Beyond__nim(R_0074_0004__WINKED,Z_0074_5003)
              & has_r_0074_0008__through__nim(R_0074_0004__WINKED,R_0074_0009__THE_R_0074_0011__DROPS)
              & r_0074_0009__the_r_0074_0011__drops(R_0074_0009__THE_R_0074_0011__DROPS)
              & has_attrib(R_0074_0009__THE_R_0074_0011__DROPS,R_0074_0010__BEATING)
              & has_arg0(R_0074_0004__WINKED,R_0074_0005__A_FEW_R_0074_0007__LAMPLIGHTS) ) ) ) ).