TSPC 56_a_hardy

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

arc(r_0056_0002__the_r_0056_0003__regularity, r_0056_0006__tread, r_0056_0004__of).
arc(r_0056_0006__tread, r_0056_0005__his, gen).
arc(r_0056_0008__there_r_0056_0009__was, r_0056_0002__the_r_0056_0003__regularity, r_0056_0001__Notwithstanding_nim7).
arc(r_0056_0008__there_r_0056_0009__was, r_0056_0006__tread, r_0056_0011__in_clr33).
arc(r_0056_0008__there_r_0056_0009__was, r_0056_0010__caution, arg0).
arc(r_0056_0008__there_r_0056_0009__was, r_0056_0015__that, r_0056_0014__as_in_nim41).
arc(r_0056_0015__that, r_0056_0017__one, r_0056_0016__of).
arc(r_0056_0020__feels, r_0056_0017__one, arg0).
arc(r_0056_0020__feels, r_0056_0019__mentally, nim54).
arc(r_0056_0020__feels, r_0056_0022__way, arg1).
arc(r_0056_0022__way, r_0056_0017__one, gen).
arc(r_0056_0024__and, r_0056_0008__there_r_0056_0009__was, conj1).
arc(r_0056_0024__and, r_0056_0046__there_r_0056_0047__was, conj2).
arc(r_0056_0026__the_r_0056_0027__fact, r_0056_0028__that_r_0056_0030__was_r_0056_0031__not, emb80).
arc(r_0056_0028__that_r_0056_0030__was_r_0056_0031__not, r_0056_0035__nor, arg0).
arc(r_0056_0028__that_r_0056_0030__was_r_0056_0031__not, r_0056_0042__that_r_0056_0044__wore, prd).
arc(r_0056_0032__a_r_0056_0034__coat, r_0056_0033__black, attrib95).
arc(r_0056_0035__nor, r_0056_0032__a_r_0056_0034__coat, conj1).
arc(r_0056_0035__nor, r_0056_0036__a_r_0056_0038__garment, conj2).
arc(r_0056_0036__a_r_0056_0038__garment, r_0056_0037__dark, attrib106).
arc(r_0056_0036__a_r_0056_0038__garment, r_0056_0040__any_r_0056_0041__sort, r_0056_0039__of).
arc(r_0056_0042__that_r_0056_0044__wore, r_0056_0043__he, arg0).
arc(r_0056_0042__that_r_0056_0044__wore, x_000_56_a_hardy_1883_119, arg1).
arc(r_0056_0046__there_r_0056_0047__was, r_0056_0026__the_r_0056_0027__fact, r_0056_0025__despite_nim74).
arc(r_0056_0046__there_r_0056_0047__was, r_0056_0048__something, arg0).
arc(r_0056_0046__there_r_0056_0047__was, r_0056_0050__him, r_0056_0049__about_clr143).
arc(r_0056_0052__suggested, r_0056_0048__something, arg0).
arc(r_0056_0052__suggested, r_0056_0053__that_r_0056_0056__belonged, arg1).
arc(r_0056_0053__that_r_0056_0056__belonged, r_0056_0054__he, arg0).
arc(r_0056_0053__that_r_0056_0056__belonged, r_0056_0055__naturally, nim159).
arc(r_0056_0053__that_r_0056_0056__belonged, r_0056_0058__the_r_0056_0060__tribes, r_0056_0057__to_clr167).
arc(r_0056_0058__the_r_0056_0060__tribes, r_0056_0059__black__hyphen__coated, attrib170).
arc(r_0056_0058__the_r_0056_0060__tribes, r_0056_0062__men, r_0056_0061__of).

fof(formula,axiom,
    ? [R_0056_0017__ONE,R_0056_0019__MENTALLY,R_0056_0022__WAY,R_0056_0020__FEELS,R_0056_0005__HIS,R_0056_0006__TREAD,R_0056_0002__THE_R_0056_0003__REGULARITY,R_0056_0010__CAUTION,R_0056_0015__THAT,R_0056_0008__THERE_R_0056_0009__WAS,R_0056_0033__BLACK,R_0056_0032__A_R_0056_0034__COAT,R_0056_0037__DARK,R_0056_0040__ANY_R_0056_0041__SORT,R_0056_0036__A_R_0056_0038__GARMENT,R_0056_0035__NOR,R_0056_0043__HE,X_000_56_A_HARDY_1883_119,R_0056_0042__THAT_R_0056_0044__WORE,R_0056_0028__THAT_R_0056_0030__WAS_R_0056_0031__NOT,R_0056_0026__THE_R_0056_0027__FACT,R_0056_0048__SOMETHING,R_0056_0050__HIM,R_0056_0046__THERE_R_0056_0047__WAS,R_0056_0024__AND,R_0056_0054__HE,R_0056_0055__NATURALLY,R_0056_0059__BLACK__HYPHEN__COATED,R_0056_0062__MEN,R_0056_0058__THE_R_0056_0060__TRIBES,R_0056_0053__THAT_R_0056_0056__BELONGED,R_0056_0052__SUGGESTED] :
      ( r_0056_0005__his(R_0056_0005__HIS)
      & r_0056_0010__caution(R_0056_0010__CAUTION)
      & r_0056_0017__one(R_0056_0017__ONE)
      & r_0056_0019__mentally(R_0056_0019__MENTALLY)
      & r_0056_0033__black(R_0056_0033__BLACK)
      & r_0056_0037__dark(R_0056_0037__DARK)
      & r_0056_0040__any_r_0056_0041__sort(R_0056_0040__ANY_R_0056_0041__SORT)
      & r_0056_0043__he(R_0056_0043__HE)
      & r_0056_0048__something(R_0056_0048__SOMETHING)
      & r_0056_0050__him(R_0056_0050__HIM)
      & r_0056_0054__he(R_0056_0054__HE)
      & r_0056_0055__naturally(R_0056_0055__NATURALLY)
      & r_0056_0059__black__hyphen__coated(R_0056_0059__BLACK__HYPHEN__COATED)
      & r_0056_0062__men(R_0056_0062__MEN)
      & x_000_56_a_hardy_1883_119(X_000_56_A_HARDY_1883_119)
      & r_0056_0052__suggested(R_0056_0052__SUGGESTED)
      & has_arg1(R_0056_0052__SUGGESTED,R_0056_0053__THAT_R_0056_0056__BELONGED)
      & r_0056_0053__that_r_0056_0056__belonged(R_0056_0053__THAT_R_0056_0056__BELONGED)
      & has_r_0056_0057__to_clr167(R_0056_0053__THAT_R_0056_0056__BELONGED,R_0056_0058__THE_R_0056_0060__TRIBES)
      & r_0056_0058__the_r_0056_0060__tribes(R_0056_0058__THE_R_0056_0060__TRIBES)
      & has_r_0056_0061__of(R_0056_0058__THE_R_0056_0060__TRIBES,R_0056_0062__MEN)
      & has_attrib170(R_0056_0058__THE_R_0056_0060__TRIBES,R_0056_0059__BLACK__HYPHEN__COATED)
      & has_nim159(R_0056_0053__THAT_R_0056_0056__BELONGED,R_0056_0055__NATURALLY)
      & has_arg0(R_0056_0053__THAT_R_0056_0056__BELONGED,R_0056_0054__HE)
      & has_arg0(R_0056_0052__SUGGESTED,R_0056_0048__SOMETHING)
      & r_0056_0024__and(R_0056_0024__AND)
      & has_conj2(R_0056_0024__AND,R_0056_0046__THERE_R_0056_0047__WAS)
      & r_0056_0046__there_r_0056_0047__was(R_0056_0046__THERE_R_0056_0047__WAS)
      & has_r_0056_0049__about_clr143(R_0056_0046__THERE_R_0056_0047__WAS,R_0056_0050__HIM)
      & has_arg0(R_0056_0046__THERE_R_0056_0047__WAS,R_0056_0048__SOMETHING)
      & has_r_0056_0025__despite_nim74(R_0056_0046__THERE_R_0056_0047__WAS,R_0056_0026__THE_R_0056_0027__FACT)
      & r_0056_0026__the_r_0056_0027__fact(R_0056_0026__THE_R_0056_0027__FACT)
      & has_emb80(R_0056_0026__THE_R_0056_0027__FACT,R_0056_0028__THAT_R_0056_0030__WAS_R_0056_0031__NOT)
      & ~ ( has_prd(R_0056_0028__THAT_R_0056_0030__WAS_R_0056_0031__NOT,R_0056_0042__THAT_R_0056_0044__WORE)
          & r_0056_0042__that_r_0056_0044__wore(R_0056_0042__THAT_R_0056_0044__WORE)
          & has_arg1(R_0056_0042__THAT_R_0056_0044__WORE,X_000_56_A_HARDY_1883_119)
          & has_arg0(R_0056_0042__THAT_R_0056_0044__WORE,R_0056_0043__HE)
          & has_arg0(R_0056_0028__THAT_R_0056_0030__WAS_R_0056_0031__NOT,R_0056_0035__NOR)
          & r_0056_0035__nor(R_0056_0035__NOR)
          & has_conj2(R_0056_0035__NOR,R_0056_0036__A_R_0056_0038__GARMENT)
          & r_0056_0036__a_r_0056_0038__garment(R_0056_0036__A_R_0056_0038__GARMENT)
          & has_r_0056_0039__of(R_0056_0036__A_R_0056_0038__GARMENT,R_0056_0040__ANY_R_0056_0041__SORT)
          & has_attrib106(R_0056_0036__A_R_0056_0038__GARMENT,R_0056_0037__DARK)
          & has_conj1(R_0056_0035__NOR,R_0056_0032__A_R_0056_0034__COAT)
          & r_0056_0032__a_r_0056_0034__coat(R_0056_0032__A_R_0056_0034__COAT)
          & has_attrib95(R_0056_0032__A_R_0056_0034__COAT,R_0056_0033__BLACK) )
      & has_conj1(R_0056_0024__AND,R_0056_0008__THERE_R_0056_0009__WAS)
      & r_0056_0008__there_r_0056_0009__was(R_0056_0008__THERE_R_0056_0009__WAS)
      & has_r_0056_0014__as_in_nim41(R_0056_0008__THERE_R_0056_0009__WAS,R_0056_0015__THAT)
      & r_0056_0015__that(R_0056_0015__THAT)
      & has_r_0056_0016__of(R_0056_0015__THAT,R_0056_0017__ONE)
      & has_arg0(R_0056_0008__THERE_R_0056_0009__WAS,R_0056_0010__CAUTION)
      & has_r_0056_0011__in_clr33(R_0056_0008__THERE_R_0056_0009__WAS,R_0056_0006__TREAD)
      & r_0056_0006__tread(R_0056_0006__TREAD)
      & has_gen(R_0056_0006__TREAD,R_0056_0005__HIS)
      & has_r_0056_0001__Notwithstanding_nim7(R_0056_0008__THERE_R_0056_0009__WAS,R_0056_0002__THE_R_0056_0003__REGULARITY)
      & r_0056_0002__the_r_0056_0003__regularity(R_0056_0002__THE_R_0056_0003__REGULARITY)
      & has_r_0056_0004__of(R_0056_0002__THE_R_0056_0003__REGULARITY,R_0056_0006__TREAD)
      & r_0056_0020__feels(R_0056_0020__FEELS)
      & has_arg1(R_0056_0020__FEELS,R_0056_0022__WAY)
      & r_0056_0022__way(R_0056_0022__WAY)
      & has_gen(R_0056_0022__WAY,R_0056_0017__ONE)
      & has_nim54(R_0056_0020__FEELS,R_0056_0019__MENTALLY)
      & has_arg0(R_0056_0020__FEELS,R_0056_0017__ONE) ) ).

( (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 56_a_hardy_1883))