TSPC 75_a_hardy

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

arc(r_0075_0002__all_quant, r_0075_0003__this, restriction).
arc(r_0075_0002__all_quant, r_0075_0004__winked, scope).
arc(r_0075_0004__winked, r_0075_0003__this, r_0075_0001__Beyond_nim5).
arc(r_0075_0004__winked, r_0075_0005__a_few_r_0075_0007__lamplights, arg0).
arc(r_0075_0004__winked, r_0075_0009__the_r_0075_0011__drops, r_0075_0008__through_nim25).
arc(r_0075_0005__a_few_r_0075_0007__lamplights, r_0075_0006__bleared, attrib15).
arc(r_0075_0009__the_r_0075_0011__drops, r_0075_0010__beating, attrib28).
arc(r_0075_0014__that_r_0075_0015__denoted, r_0075_0013__lights, arg0).
arc(r_0075_0014__that_r_0075_0015__denoted, r_0075_0016__the_r_0075_0017__situation, arg1).
arc(r_0075_0016__the_r_0075_0017__situation, r_0075_0019__the_r_0075_0020__county_r_0075_0021___hyphen__r_0075_0022__town, r_0075_0018__of).
arc(r_0075_0026__had, r_0075_0027__appeared, scope).
arc(r_0075_0027__appeared, r_0075_0028__to_r_0075_0029__come, scope).
arc(r_0075_0028__to_r_0075_0029__come, r_0075_0019__the_r_0075_0020__county_r_0075_0021___hyphen__r_0075_0022__town, r_0075_0023__from_nim67).
arc(r_0075_0028__to_r_0075_0029__come, r_0075_0025__he, arg0).
arc(z_000_75_a_hardy_1883_35, r_0075_0005__a_few_r_0075_0007__lamplights, arg0).
arc(z_000_75_a_hardy_1883_35, r_0075_0013__lights, prd).

fof(formula,axiom,
    ? [R_0075_0013__LIGHTS,R_0075_0019__THE_R_0075_0020__COUNTY_R_0075_0021___HYPHEN__R_0075_0022__TOWN,R_0075_0016__THE_R_0075_0017__SITUATION,R_0075_0014__THAT_R_0075_0015__DENOTED,R_0075_0025__HE,R_0075_0026__HAD_R_0075_0027__APPEARED_R_0075_0028__TO_R_0075_0029__COME,R_0075_0006__BLEARED,R_0075_0005__A_FEW_R_0075_0007__LAMPLIGHTS,Z_000_75_A_HARDY_1883_35] :
      ( r_0075_0006__bleared(R_0075_0006__BLEARED)
      & r_0075_0013__lights(R_0075_0013__LIGHTS)
      & r_0075_0019__the_r_0075_0020__county_r_0075_0021___hyphen__r_0075_0022__town(R_0075_0019__THE_R_0075_0020__COUNTY_R_0075_0021___HYPHEN__R_0075_0022__TOWN)
      & r_0075_0025__he(R_0075_0025__HE)
      & z_000_75_a_hardy_1883_35(Z_000_75_A_HARDY_1883_35)
      & has_prd(Z_000_75_A_HARDY_1883_35,R_0075_0013__LIGHTS)
      & has_arg0(Z_000_75_A_HARDY_1883_35,R_0075_0005__A_FEW_R_0075_0007__LAMPLIGHTS)
      & r_0075_0005__a_few_r_0075_0007__lamplights(R_0075_0005__A_FEW_R_0075_0007__LAMPLIGHTS)
      & has_attrib15(R_0075_0005__A_FEW_R_0075_0007__LAMPLIGHTS,R_0075_0006__BLEARED)
      & r_0075_0026__had_r_0075_0027__appeared_r_0075_0028__to_r_0075_0029__come(R_0075_0026__HAD_R_0075_0027__APPEARED_R_0075_0028__TO_R_0075_0029__COME)
      & has_arg0(R_0075_0026__HAD_R_0075_0027__APPEARED_R_0075_0028__TO_R_0075_0029__COME,R_0075_0025__HE)
      & has_r_0075_0023__from_nim67(R_0075_0026__HAD_R_0075_0027__APPEARED_R_0075_0028__TO_R_0075_0029__COME,R_0075_0019__THE_R_0075_0020__COUNTY_R_0075_0021___HYPHEN__R_0075_0022__TOWN)
      & r_0075_0014__that_r_0075_0015__denoted(R_0075_0014__THAT_R_0075_0015__DENOTED)
      & has_arg1(R_0075_0014__THAT_R_0075_0015__DENOTED,R_0075_0016__THE_R_0075_0017__SITUATION)
      & r_0075_0016__the_r_0075_0017__situation(R_0075_0016__THE_R_0075_0017__SITUATION)
      & has_r_0075_0018__of(R_0075_0016__THE_R_0075_0017__SITUATION,R_0075_0019__THE_R_0075_0020__COUNTY_R_0075_0021___HYPHEN__R_0075_0022__TOWN)
      & has_arg0(R_0075_0014__THAT_R_0075_0015__DENOTED,R_0075_0013__LIGHTS)
      & ! [R_0075_0003__THIS] :
          ( r_0075_0003__this(R_0075_0003__THIS)
         => ? [R_0075_0010__BEATING,R_0075_0009__THE_R_0075_0011__DROPS,R_0075_0004__WINKED] :
              ( r_0075_0010__beating(R_0075_0010__BEATING)
              & r_0075_0004__winked(R_0075_0004__WINKED)
              & has_r_0075_0008__through_nim25(R_0075_0004__WINKED,R_0075_0009__THE_R_0075_0011__DROPS)
              & r_0075_0009__the_r_0075_0011__drops(R_0075_0009__THE_R_0075_0011__DROPS)
              & has_attrib28(R_0075_0009__THE_R_0075_0011__DROPS,R_0075_0010__BEATING)
              & has_arg0(R_0075_0004__WINKED,R_0075_0005__A_FEW_R_0075_0007__LAMPLIGHTS)
              & has_r_0075_0001__Beyond_nim5(R_0075_0004__WINKED,R_0075_0003__THIS) ) ) ) ).

( (IP-MAT (PP-TPC-NIM (P-ROLE Beyond;{beyond})
                      (NP (Q;_nphd_ all;{all})
                          (D;_nphd_ this;{this})))
          (VBD;__ winked;{wink})
          (NP-SBJ (D a_few;{a_few})
                  (ADJP (ADJ bleared;{bleared}))
                  (NS lamplights;{lamplight})
                  (IP-PPL *ICH*-136))
          (PP-NIM (P-ROLE through;{through})
                  (NP (D the;{the})
                      (ADJP (ADJ beating;{beating}))
                      (NS drops;{drop})))
          (PUNC <mdash>)
          (IP-PPL-EPD-136 (NP-PRD (NS lights;{light})
                                  (IP-REL (C that;{that})
                                          (NP-SBJ *T*)
                                          (VBD;_Tn_ 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;_I_ come;{come}))))))))))
          (PUNC .))
  (ID 75_a_hardy_1883))