TSPC 55_a_hardy

55_a_hardy_1883
Notwithstanding the regularity of his tread, there was caution in it, as in that of one who mentally feels his way; and despite the fact that it was not a black coat nor a dark garment of any sort that he wore, there was something about him which suggested that he naturally belonged to the black-coated tribes of men.

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE Notwithstanding;{notwithstanding})
                              (NP (D the;{the})
                                  (N regularity;{regularity})
                                  (PP (P-ROLE of;{of})
                                      (NP;{TREAD} (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                  (N tread;{tread})))))
                      (PUNC ,)
                      (EX there;{there})
                      (BED;_ex_Vpr_ was;{be})
                      (NP-ESBJ (N caution;{caution}))
                      (PP-CLR (P-ROLE in;{in})
                              (NP;{TREAD} (PRO it;{it})))
                      (PUNC ,)
                      (PP-NIM (P-ROLE as_in;{as_in})
                              (NP (D;_nphd_ that;{that})
                                  (PP (P-ROLE of;{of})
                                      (NP;{PERSON} (NUM one;{one})
                                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                                           (ADVP-NIM (ADV mentally;{mentally}))
                                                           (VBP;__ feels;{feel})
                                                           (NP-OB1 (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                                                   (N way;{way}))))))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE despite;{despite})
                                     (NP (D the;{the})
                                         (N fact;{fact})
                                         (CP-THT (IP-SUB (C that;{that})
                                                         (NP-SBJ (PRO;_provisional_ it;{it}))
                                                         (BED;_cleft_Vn_ was;{be})
                                                         (NEG not;{not})
                                                         (NP-FOC (NLYR (NLYR (D a;{a})
                                                                             (ADJP (ADJ black;{black}))
                                                                             (N coat;{coat}))
                                                                       (CONJP (CONJ nor;{nor})
                                                                              (NLYR (D a;{a})
                                                                                    (ADJP (ADJ dark;{dark}))
                                                                                    (N garment;{garment})
                                                                                    (PP (P-ROLE of;{of})
                                                                                        (NP (D any;{any})
                                                                                            (N sort;{sort})))))))
                                                         (IP-CLF (C that;{that})
                                                                 (NP-OB1 *T*)
                                                                 (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                                                 (VBD;__ wore;{wear}))))))
                             (PUNC ,)
                             (EX there;{there})
                             (BED;_ex_Vpr_ was;{be})
                             (NP-ESBJ (D;_nphd_ something;{something})
                                      (IP-REL *ICH*-153))
                             (PP-CLR (P-ROLE about;{about})
                                     (NP;{PEDESTRIAN} (PRO him;{he})))
                             (IP-REL-EPD-153 (NP-SBJ (RPRO which;{which}))
                                             (VBD;__ suggested;{suggest})
                                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                 (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                                                 (ADVP-NIM (ADV naturally;{naturally}))
                                                                 (VBD;__ belonged;{belong})
                                                                 (PP-CLR (P-ROLE to;{to})
                                                                         (NP (D the;{the})
                                                                             (ADJP (ADJ black_<hyphen>_coated;{black_coated}))
                                                                             (NS tribes;{tribe})
                                                                             (PP (P-ROLE of;{of})
                                                                                 (NP (NS men;{man})))))))))))
          (PUNC .))
  (ID 55_a_hardy_1883))

arc(r_0055_0002__the_r_0055_0003__regularity,r_0055_0006__tread,r_0055_0004__of).
arc(r_0055_0006__tread,r_0055_0005__his,gen).
arc(r_0055_0009__was_r_0055_0011__in,r_0055_0002__the_r_0055_0003__regularity,r_0055_0001__Notwithstanding__nim).
arc(r_0055_0009__was_r_0055_0011__in,r_0055_0010__caution,arg0).
arc(r_0055_0009__was_r_0055_0011__in,r_0055_0012__it,arg1).
arc(r_0055_0009__was_r_0055_0011__in,r_0055_0015__that,r_0055_0014__as_in__nim).
arc(r_0055_0015__that,r_0055_0017__one,r_0055_0016__of).
arc(r_0055_0020__feels,r_0055_0017__one,arg0).
arc(r_0055_0020__feels,r_0055_0019__mentally,nim).
arc(r_0055_0020__feels,r_0055_0022__way,arg1).
arc(r_0055_0022__way,r_0055_0017__one,gen).
arc(r_0055_0024__and,r_0055_0009__was_r_0055_0011__in,conj1).
arc(r_0055_0024__and,r_0055_0047__was_r_0055_0049__about,conj2).
arc(r_0055_0026__the_r_0055_0027__fact,r_0055_0031__not,emb).
arc(r_0055_0030__was,r_0055_0035__nor,arg0).
arc(r_0055_0030__was,z_0055_5026,prd).
arc(r_0055_0031__not,r_0055_0030__was,keep_scope).
arc(r_0055_0032__a_r_0055_0034__coat,r_0055_0033__black,attrib).
arc(r_0055_0035__nor,r_0055_0032__a_r_0055_0034__coat,conj1).
arc(r_0055_0035__nor,r_0055_0036__a_r_0055_0038__garment,conj2).
arc(r_0055_0036__a_r_0055_0038__garment,r_0055_0037__dark,attrib).
arc(r_0055_0036__a_r_0055_0038__garment,r_0055_0040__any_r_0055_0041__sort,r_0055_0039__of).
arc(r_0055_0044__wore,r_0055_0005__his,arg0).
arc(r_0055_0044__wore,z_0055_5026,arg1).
arc(r_0055_0047__was_r_0055_0049__about,r_0055_0005__his,arg1).
arc(r_0055_0047__was_r_0055_0049__about,r_0055_0026__the_r_0055_0027__fact,r_0055_0025__despite__nim).
arc(r_0055_0047__was_r_0055_0049__about,r_0055_0048__something,arg0).
arc(r_0055_0052__suggested,r_0055_0048__something,arg0).
arc(r_0055_0052__suggested,r_0055_0056__belonged,arg1).
arc(r_0055_0056__belonged,r_0055_0005__his,arg0).
arc(r_0055_0056__belonged,r_0055_0055__naturally,nim).
arc(r_0055_0056__belonged,r_0055_0058__the_r_0055_0060__tribes,r_0055_0057__to__clr).
arc(r_0055_0058__the_r_0055_0060__tribes,r_0055_0059__black__hyphen__coated,attrib).
arc(r_0055_0058__the_r_0055_0060__tribes,r_0055_0062__men,r_0055_0061__of).

fof(formula,axiom,
    ? [R_0055_0017__ONE,R_0055_0019__MENTALLY,R_0055_0022__WAY,R_0055_0020__FEELS,R_0055_0005__HIS,R_0055_0006__TREAD,R_0055_0002__THE_R_0055_0003__REGULARITY,R_0055_0010__CAUTION,R_0055_0012__IT,R_0055_0015__THAT,R_0055_0009__WAS_R_0055_0011__IN,R_0055_0026__THE_R_0055_0027__FACT,R_0055_0048__SOMETHING,R_0055_0047__WAS_R_0055_0049__ABOUT,R_0055_0024__AND,Z_0055_5026,R_0055_0044__WORE,R_0055_0055__NATURALLY,R_0055_0059__BLACK__HYPHEN__COATED,R_0055_0062__MEN,R_0055_0058__THE_R_0055_0060__TRIBES,R_0055_0056__BELONGED,R_0055_0052__SUGGESTED] :
      ( r_0055_0005__his(R_0055_0005__HIS)
      & r_0055_0010__caution(R_0055_0010__CAUTION)
      & r_0055_0012__it(R_0055_0012__IT)
      & r_0055_0017__one(R_0055_0017__ONE)
      & r_0055_0019__mentally(R_0055_0019__MENTALLY)
      & r_0055_0048__something(R_0055_0048__SOMETHING)
      & r_0055_0055__naturally(R_0055_0055__NATURALLY)
      & r_0055_0059__black__hyphen__coated(R_0055_0059__BLACK__HYPHEN__COATED)
      & r_0055_0062__men(R_0055_0062__MEN)
      & z_0055_5026(Z_0055_5026)
      & r_0055_0052__suggested(R_0055_0052__SUGGESTED)
      & has_arg1(R_0055_0052__SUGGESTED,R_0055_0056__BELONGED)
      & r_0055_0056__belonged(R_0055_0056__BELONGED)
      & has_r_0055_0057__to__clr(R_0055_0056__BELONGED,R_0055_0058__THE_R_0055_0060__TRIBES)
      & r_0055_0058__the_r_0055_0060__tribes(R_0055_0058__THE_R_0055_0060__TRIBES)
      & has_r_0055_0061__of(R_0055_0058__THE_R_0055_0060__TRIBES,R_0055_0062__MEN)
      & has_attrib(R_0055_0058__THE_R_0055_0060__TRIBES,R_0055_0059__BLACK__HYPHEN__COATED)
      & has_nim(R_0055_0056__BELONGED,R_0055_0055__NATURALLY)
      & has_arg0(R_0055_0056__BELONGED,R_0055_0005__HIS)
      & has_arg0(R_0055_0052__SUGGESTED,R_0055_0048__SOMETHING)
      & r_0055_0044__wore(R_0055_0044__WORE)
      & has_arg1(R_0055_0044__WORE,Z_0055_5026)
      & has_arg0(R_0055_0044__WORE,R_0055_0005__HIS)
      & r_0055_0024__and(R_0055_0024__AND)
      & has_conj2(R_0055_0024__AND,R_0055_0047__WAS_R_0055_0049__ABOUT)
      & r_0055_0047__was_r_0055_0049__about(R_0055_0047__WAS_R_0055_0049__ABOUT)
      & has_arg0(R_0055_0047__WAS_R_0055_0049__ABOUT,R_0055_0048__SOMETHING)
      & has_r_0055_0025__despite__nim(R_0055_0047__WAS_R_0055_0049__ABOUT,R_0055_0026__THE_R_0055_0027__FACT)
      & r_0055_0026__the_r_0055_0027__fact(R_0055_0026__THE_R_0055_0027__FACT)
      & has_emb(R_0055_0026__THE_R_0055_0027__FACT,R_0055_0031__NOT)
      & ~ ? [R_0055_0033__BLACK,R_0055_0032__A_R_0055_0034__COAT,R_0055_0037__DARK,R_0055_0040__ANY_R_0055_0041__SORT,R_0055_0036__A_R_0055_0038__GARMENT,R_0055_0035__NOR,R_0055_0030__WAS] :
            ( r_0055_0033__black(R_0055_0033__BLACK)
            & r_0055_0037__dark(R_0055_0037__DARK)
            & r_0055_0040__any_r_0055_0041__sort(R_0055_0040__ANY_R_0055_0041__SORT)
            & r_0055_0030__was(R_0055_0030__WAS)
            & has_prd(R_0055_0030__WAS,Z_0055_5026)
            & has_arg0(R_0055_0030__WAS,R_0055_0035__NOR)
            & r_0055_0035__nor(R_0055_0035__NOR)
            & has_conj2(R_0055_0035__NOR,R_0055_0036__A_R_0055_0038__GARMENT)
            & r_0055_0036__a_r_0055_0038__garment(R_0055_0036__A_R_0055_0038__GARMENT)
            & has_r_0055_0039__of(R_0055_0036__A_R_0055_0038__GARMENT,R_0055_0040__ANY_R_0055_0041__SORT)
            & has_attrib(R_0055_0036__A_R_0055_0038__GARMENT,R_0055_0037__DARK)
            & has_conj1(R_0055_0035__NOR,R_0055_0032__A_R_0055_0034__COAT)
            & r_0055_0032__a_r_0055_0034__coat(R_0055_0032__A_R_0055_0034__COAT)
            & has_attrib(R_0055_0032__A_R_0055_0034__COAT,R_0055_0033__BLACK) )
      & has_arg1(R_0055_0047__WAS_R_0055_0049__ABOUT,R_0055_0005__HIS)
      & has_conj1(R_0055_0024__AND,R_0055_0009__WAS_R_0055_0011__IN)
      & r_0055_0009__was_r_0055_0011__in(R_0055_0009__WAS_R_0055_0011__IN)
      & has_r_0055_0014__as_in__nim(R_0055_0009__WAS_R_0055_0011__IN,R_0055_0015__THAT)
      & r_0055_0015__that(R_0055_0015__THAT)
      & has_r_0055_0016__of(R_0055_0015__THAT,R_0055_0017__ONE)
      & has_arg1(R_0055_0009__WAS_R_0055_0011__IN,R_0055_0012__IT)
      & has_arg0(R_0055_0009__WAS_R_0055_0011__IN,R_0055_0010__CAUTION)
      & has_r_0055_0001__Notwithstanding__nim(R_0055_0009__WAS_R_0055_0011__IN,R_0055_0002__THE_R_0055_0003__REGULARITY)
      & r_0055_0002__the_r_0055_0003__regularity(R_0055_0002__THE_R_0055_0003__REGULARITY)
      & has_r_0055_0004__of(R_0055_0002__THE_R_0055_0003__REGULARITY,R_0055_0006__TREAD)
      & r_0055_0006__tread(R_0055_0006__TREAD)
      & has_gen(R_0055_0006__TREAD,R_0055_0005__HIS)
      & r_0055_0020__feels(R_0055_0020__FEELS)
      & has_arg1(R_0055_0020__FEELS,R_0055_0022__WAY)
      & r_0055_0022__way(R_0055_0022__WAY)
      & has_gen(R_0055_0022__WAY,R_0055_0017__ONE)
      & has_nim(R_0055_0020__FEELS,R_0055_0019__MENTALLY)
      & has_arg0(R_0055_0020__FEELS,R_0055_0017__ONE) ) ).