TSPC 52_a_hardy

52_a_hardy_1883
The sad wan light revealed the lonely pedestrian to be a man of supple frame; his gait suggested that he had somewhat passed the period of perfect and instinctive agility, though not so far as to be otherwise than rapid of motion when occasion required.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (ADJP (ADJ sad;{sad}))
                              (ADJP (ADJ wan;{wan}))
                              (N light;{light}))
                      (VBD;_Tnt_ revealed;{reveal})
                      (NP-DOB1;{PEDESTRIAN} (D the;{the})
                                            (ADJP (ADJ lonely;{lonely}))
                                            (N pedestrian;{pedestrian}))
                      (IP-INF-OB1 (TO to;{to})
                                  (BE;_Ln_ be;{be})
                                  (NP-PRD (D a;{a})
                                          (N man;{man})
                                          (PP (P-ROLE of;{of})
                                              (NP (ADJP (ADJ supple;{supple}))
                                                  (N frame;{frame}))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                     (N gait;{gait}))
                             (VBD;_Tf_ suggested;{suggest})
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                                 (HVD;_cat_Ve_ had;{have})
                                                 (IP-PPL-CAT (ADVP-NIM (ADV somewhat;{somewhat}))
                                                             (VVN;_Tn_ passed;{pass})
                                                             (NP-OB1 (D the;{the})
                                                                     (N period;{period})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (ADJP (AJLYR (AJLYR (ADJ perfect;{perfect}))
                                                                                          (CONJP (CONJ and;{and})
                                                                                                 (AJLYR (ADJ instinctive;{instinctive})))))
                                                                             (N agility;{agility})))))
                                                 (PUNC ,)
                                                 (PP-SCON (P-CONN though;{though})
                                                          (IP-ADV (ADJP-PRD (ADVP (NEG not;{not})
                                                                                  (ADV so;{so})
                                                                                  (PP *ICH*-217))
                                                                            (ADJ far;{far})
                                                                            (PP-EPD-217 (P-ROLE as;{as})
                                                                                        (IP-INF3 (TO to;{to})
                                                                                                 (BE;_Ip_ be;{be[otherwise]})
                                                                                                 (ADVP-CLR (ADV otherwise;{otherwise})
                                                                                                           (PP (P-ROLE than;{than})
                                                                                                               (IP-ADV (NP-PRD (ADJP (ADJ rapid;{rapid}))
                                                                                                                               (PP (P-ROLE of;{of})
                                                                                                                                   (NP (N motion;{motion}))))
                                                                                                                       (PP-SCON (P-CONN when;{when})
                                                                                                                                (IP-ADV (NP-SBJ (N occasion;{occasion}))
                                                                                                                                        (VBD;_I_ required;{require}))))))))))))))))
          (PUNC .))
  (ID 52_a_hardy_1883))

arc(r_0052_0001__The_r_0052_0004__light,r_0052_0002__sad,attrib).
arc(r_0052_0001__The_r_0052_0004__light,r_0052_0003__wan,attrib).
arc(r_0052_0005__revealed,r_0052_0001__The_r_0052_0004__light,arg0).
arc(r_0052_0005__revealed,r_0052_0010__be,arg1).
arc(r_0052_0006__the_r_0052_0008__pedestrian,r_0052_0007__lonely,attrib).
arc(r_0052_0010__be,r_0052_0006__the_r_0052_0008__pedestrian,arg0).
arc(r_0052_0010__be,r_0052_0011__a_r_0052_0012__man,prd).
arc(r_0052_0011__a_r_0052_0012__man,r_0052_0015__frame,r_0052_0013__of).
arc(r_0052_0015__frame,r_0052_0014__supple,attrib).
arc(r_0052_0018__gait,r_0052_0006__the_r_0052_0008__pedestrian,gen).
arc(r_0052_0019__suggested,r_0052_0018__gait,arg0).
arc(r_0052_0019__suggested,r_0052_0033__though,arg1).
arc(r_0052_0022__had,r_0052_0024__passed,scope).
arc(r_0052_0024__passed,r_0052_0006__the_r_0052_0008__pedestrian,arg0).
arc(r_0052_0024__passed,r_0052_0023__somewhat,nim).
arc(r_0052_0024__passed,r_0052_0025__the_r_0052_0026__period,arg1).
arc(r_0052_0025__the_r_0052_0026__period,r_0052_0031__agility,r_0052_0027__of).
arc(r_0052_0029__and,r_0052_0028__perfect,conj1).
arc(r_0052_0029__and,r_0052_0030__instinctive,conj2).
arc(r_0052_0031__agility,r_0052_0029__and,attrib).
arc(r_0052_0033__though,r_0052_0022__had,scope).
arc(r_0052_0033__though,z_0052_5039,restriction).
arc(r_0052_0034__not_r_0052_0035__so,r_0052_0039__be,r_0052_0037__as).
arc(r_0052_0036__far,r_0052_0034__not_r_0052_0035__so,qual).
arc(r_0052_0039__be,r_0052_0040__otherwise,clr).
arc(r_0052_0039__be,z_0052_5023,arg0).
arc(r_0052_0040__otherwise,r_0052_0045__when,r_0052_0041__than).
arc(r_0052_0045__when,r_0052_0047__required,restriction).
arc(r_0052_0045__when,z_0052_5035,scope).
arc(r_0052_0047__required,r_0052_0046__occasion,arg0).
arc(z_0052_5001,r_0052_0005__revealed,conj1).
arc(z_0052_5001,r_0052_0019__suggested,conj2).
arc(z_0052_5034,r_0052_0042__rapid,attrib).
arc(z_0052_5034,r_0052_0044__motion,r_0052_0043__of).
arc(z_0052_5035,z_0052_5027,arg0).
arc(z_0052_5035,z_0052_5034,prd).
arc(z_0052_5039,r_0052_0036__far,prd).
arc(z_0052_5039,z_0052_5019,arg0).

fof(formula,axiom,
    ? [R_0052_0002__SAD,R_0052_0003__WAN,R_0052_0001__THE_R_0052_0004__LIGHT,R_0052_0007__LONELY,R_0052_0006__THE_R_0052_0008__PEDESTRIAN,R_0052_0014__SUPPLE,R_0052_0015__FRAME,R_0052_0011__A_R_0052_0012__MAN,R_0052_0010__BE,R_0052_0005__REVEALED,R_0052_0018__GAIT,R_0052_0023__SOMEWHAT,R_0052_0028__PERFECT,R_0052_0030__INSTINCTIVE,R_0052_0029__AND,R_0052_0031__AGILITY,R_0052_0025__THE_R_0052_0026__PERIOD,R_0052_0022__HAD_R_0052_0024__PASSED,R_0052_0040__OTHERWISE,Z_0052_5023,R_0052_0039__BE,R_0052_0034__NOT_R_0052_0035__SO,R_0052_0036__FAR,Z_0052_5019,Z_0052_5039,R_0052_0033__THOUGH,R_0052_0019__SUGGESTED,Z_0052_5001] :
      ( r_0052_0002__sad(R_0052_0002__SAD)
      & r_0052_0003__wan(R_0052_0003__WAN)
      & r_0052_0007__lonely(R_0052_0007__LONELY)
      & r_0052_0014__supple(R_0052_0014__SUPPLE)
      & r_0052_0023__somewhat(R_0052_0023__SOMEWHAT)
      & r_0052_0028__perfect(R_0052_0028__PERFECT)
      & r_0052_0030__instinctive(R_0052_0030__INSTINCTIVE)
      & z_0052_5019(Z_0052_5019)
      & z_0052_5023(Z_0052_5023)
      & z_0052_5001(Z_0052_5001)
      & has_conj2(Z_0052_5001,R_0052_0019__SUGGESTED)
      & r_0052_0019__suggested(R_0052_0019__SUGGESTED)
      & has_arg1(R_0052_0019__SUGGESTED,R_0052_0033__THOUGH)
      & r_0052_0033__though(R_0052_0033__THOUGH)
      & has_conj1(R_0052_0033__THOUGH,Z_0052_5039)
      & z_0052_5039(Z_0052_5039)
      & has_arg0(Z_0052_5039,Z_0052_5019)
      & has_prd(Z_0052_5039,R_0052_0036__FAR)
      & r_0052_0036__far(R_0052_0036__FAR)
      & has_qual(R_0052_0036__FAR,R_0052_0034__NOT_R_0052_0035__SO)
      & ~ ( has_r_0052_0037__as(R_0052_0034__NOT_R_0052_0035__SO,R_0052_0039__BE)
          & r_0052_0039__be(R_0052_0039__BE)
          & has_arg0(R_0052_0039__BE,Z_0052_5023)
          & has_clr(R_0052_0039__BE,R_0052_0040__OTHERWISE)
          & r_0052_0040__otherwise(R_0052_0040__OTHERWISE)
          & ! [R_0052_0047__REQUIRED,R_0052_0046__OCCASION] :
              ( ( r_0052_0046__occasion(R_0052_0046__OCCASION)
                & r_0052_0047__required(R_0052_0047__REQUIRED)
                & has_arg0(R_0052_0047__REQUIRED,R_0052_0046__OCCASION) )
             => ? [Z_0052_5027,R_0052_0042__RAPID,R_0052_0044__MOTION,Z_0052_5034,Z_0052_5035] :
                  ( r_0052_0042__rapid(R_0052_0042__RAPID)
                  & r_0052_0044__motion(R_0052_0044__MOTION)
                  & z_0052_5027(Z_0052_5027)
                  & z_0052_5035(Z_0052_5035)
                  & has_prd(Z_0052_5035,Z_0052_5034)
                  & z_0052_5034(Z_0052_5034)
                  & has_r_0052_0043__of(Z_0052_5034,R_0052_0044__MOTION)
                  & has_attrib(Z_0052_5034,R_0052_0042__RAPID)
                  & has_arg0(Z_0052_5035,Z_0052_5027) ) ) )
      & has_conj2(R_0052_0033__THOUGH,R_0052_0022__HAD_R_0052_0024__PASSED)
      & r_0052_0022__had_r_0052_0024__passed(R_0052_0022__HAD_R_0052_0024__PASSED)
      & has_arg1(R_0052_0022__HAD_R_0052_0024__PASSED,R_0052_0025__THE_R_0052_0026__PERIOD)
      & r_0052_0025__the_r_0052_0026__period(R_0052_0025__THE_R_0052_0026__PERIOD)
      & has_r_0052_0027__of(R_0052_0025__THE_R_0052_0026__PERIOD,R_0052_0031__AGILITY)
      & r_0052_0031__agility(R_0052_0031__AGILITY)
      & has_attrib(R_0052_0031__AGILITY,R_0052_0029__AND)
      & r_0052_0029__and(R_0052_0029__AND)
      & has_conj2(R_0052_0029__AND,R_0052_0030__INSTINCTIVE)
      & has_conj1(R_0052_0029__AND,R_0052_0028__PERFECT)
      & has_nim(R_0052_0022__HAD_R_0052_0024__PASSED,R_0052_0023__SOMEWHAT)
      & has_arg0(R_0052_0022__HAD_R_0052_0024__PASSED,R_0052_0006__THE_R_0052_0008__PEDESTRIAN)
      & r_0052_0006__the_r_0052_0008__pedestrian(R_0052_0006__THE_R_0052_0008__PEDESTRIAN)
      & has_attrib(R_0052_0006__THE_R_0052_0008__PEDESTRIAN,R_0052_0007__LONELY)
      & has_arg0(R_0052_0019__SUGGESTED,R_0052_0018__GAIT)
      & r_0052_0018__gait(R_0052_0018__GAIT)
      & has_gen(R_0052_0018__GAIT,R_0052_0006__THE_R_0052_0008__PEDESTRIAN)
      & has_conj1(Z_0052_5001,R_0052_0005__REVEALED)
      & r_0052_0005__revealed(R_0052_0005__REVEALED)
      & has_arg1(R_0052_0005__REVEALED,R_0052_0010__BE)
      & r_0052_0010__be(R_0052_0010__BE)
      & has_prd(R_0052_0010__BE,R_0052_0011__A_R_0052_0012__MAN)
      & r_0052_0011__a_r_0052_0012__man(R_0052_0011__A_R_0052_0012__MAN)
      & has_r_0052_0013__of(R_0052_0011__A_R_0052_0012__MAN,R_0052_0015__FRAME)
      & r_0052_0015__frame(R_0052_0015__FRAME)
      & has_attrib(R_0052_0015__FRAME,R_0052_0014__SUPPLE)
      & has_arg0(R_0052_0010__BE,R_0052_0006__THE_R_0052_0008__PEDESTRIAN)
      & has_arg0(R_0052_0005__REVEALED,R_0052_0001__THE_R_0052_0004__LIGHT)
      & r_0052_0001__The_r_0052_0004__light(R_0052_0001__THE_R_0052_0004__LIGHT)
      & has_attrib(R_0052_0001__THE_R_0052_0004__LIGHT,R_0052_0003__WAN)
      & has_attrib(R_0052_0001__THE_R_0052_0004__LIGHT,R_0052_0002__SAD) ) ).