TSPC 96_a_hardy

96_a_hardy_1883
I have had some rough times lately, and have been forced to pick up what I can get in the way of wearing, but I must find a suit better fit for working-days when I reach home.’

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (ILYR (ILYR (HVP;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                              (NP-OB1 (D some;{some})
                                                      (ADJP (ADJ rough;{rough}))
                                                      (NS times;{time}))
                                              (ADVP-NIM (ADV lately;{lately}))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (HVP;_cat_Ve_ have;{have})
                                         (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;_Cn.t_ forced;{force})
                                                                 (IP-INF-PRD (TO to;{to})
                                                                             (VB;_phr_Vn<=>p_ pick;{pick[up]})
                                                                             (RP up;{up})
                                                                             (NP-OB1 (IP-REL (NP-118 (RPRO what;{what}))
                                                                                             (NP-SBJ (PRO I;{I}))
                                                                                             (MD;_cat_Vi_ can;{can})
                                                                                             (IP-INF-CAT (NP-OB1 *ICH*-118)
                                                                                                         (VB;_Tn_ get;{get})
                                                                                                         (PP-NIM (P-ROLE in;{in})
                                                                                                                 (NP (D the;{the})
                                                                                                                     (N way;{way})
                                                                                                                     (PP (P-ROLE of;{of})
                                                                                                                         (IP-PPL (VAG;_I_ wearing;{wear})))))))))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (MD;_cat_Vi_ must;{must})
                             (IP-INF-CAT (VB;_Cn.a_ find;{find})
                                         (NP-OB1 (D a;{a})
                                                 (N suit;{suit}))
                                         (ADJP-PRD (ADVP (ADVR better;{well}))
                                                   (ADJ fit;{fit})
                                                   (PP (P-ROLE for;{for})
                                                       (NP (NS working_<hyphen>_days;{working_days})))))
                             (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ (PRO I;{I}))
                                              (VBP;_Ip_ reach;{reach[home]})
                                              (ADVP-CLR (RP home;{home})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 96_a_hardy_1883))

arc(r_0096_0002__have,r_0096_0003__had,scope).
arc(r_0096_0003__had,r_0096_0001__I,arg0).
arc(r_0096_0003__had,r_0096_0004__some_r_0096_0006__times,arg1).
arc(r_0096_0003__had,r_0096_0007__lately,nim).
arc(r_0096_0004__some_r_0096_0006__times,r_0096_0005__rough,attrib).
arc(r_0096_0009__and,r_0096_0002__have,conj1).
arc(r_0096_0009__and,r_0096_0010__have,conj2).
arc(r_0096_0010__have,r_0096_0011__been,scope).
arc(r_0096_0011__been,r_0096_0012__forced,scope).
arc(r_0096_0012__forced,r_0096_0001__I,arg1).
arc(r_0096_0012__forced,r_0096_0014__pick_r_0096_0015__up,prd).
arc(r_0096_0012__forced,z_0096_5023___star_,arg0).
arc(r_0096_0014__pick_r_0096_0015__up,r_0096_0016__what,arg1).
arc(r_0096_0014__pick_r_0096_0015__up,z_0096_5011,arg0).
arc(r_0096_0018__can,r_0096_0019__get,scope).
arc(r_0096_0019__get,r_0096_0001__I,arg0).
arc(r_0096_0019__get,r_0096_0016__what,arg1).
arc(r_0096_0019__get,r_0096_0021__the_r_0096_0022__way,r_0096_0020__in__nim).
arc(r_0096_0021__the_r_0096_0022__way,r_0096_0024__wearing,r_0096_0023__of).
arc(r_0096_0024__wearing,z_0096_5018,arg0).
arc(r_0096_0026__but,r_0096_0009__and,conj1).
arc(r_0096_0026__but,r_0096_0036__when,conj2).
arc(r_0096_0028__must,r_0096_0029__find,scope).
arc(r_0096_0029__find,r_0096_0001__I,arg0).
arc(r_0096_0029__find,r_0096_0030__a_r_0096_0031__suit,arg1).
arc(r_0096_0029__find,r_0096_0033__fit,prd).
arc(r_0096_0033__fit,r_0096_0032__better,qual).
arc(r_0096_0033__fit,r_0096_0035__working__hyphen__days,r_0096_0034__for).
arc(r_0096_0036__when,r_0096_0028__must,scope).
arc(r_0096_0036__when,r_0096_0038__reach_r_0096_0039__home,restriction).
arc(r_0096_0038__reach_r_0096_0039__home,r_0096_0001__I,arg0).

fof(formula,axiom,
    ? [R_0096_0001__I,R_0096_0016__WHAT,Z_0096_5018,R_0096_0024__WEARING,R_0096_0021__THE_R_0096_0022__WAY,R_0096_0018__CAN_R_0096_0019__GET,R_0096_0005__ROUGH,R_0096_0004__SOME_R_0096_0006__TIMES,R_0096_0007__LATELY,R_0096_0002__HAVE_R_0096_0003__HAD,Z_0096_5011,R_0096_0014__PICK_R_0096_0015__UP,Z_0096_5023___STAR_,R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED,R_0096_0009__AND,R_0096_0026__BUT] :
      ( r_0096_0001__I(R_0096_0001__I)
      & r_0096_0005__rough(R_0096_0005__ROUGH)
      & r_0096_0007__lately(R_0096_0007__LATELY)
      & r_0096_0016__what(R_0096_0016__WHAT)
      & z_0096_5011(Z_0096_5011)
      & z_0096_5018(Z_0096_5018)
      & z_0096_5023___star_(Z_0096_5023___STAR_)
      & r_0096_0026__but(R_0096_0026__BUT)
      & ! [R_0096_0038__REACH_R_0096_0039__HOME] :
          ( ( r_0096_0038__reach_r_0096_0039__home(R_0096_0038__REACH_R_0096_0039__HOME)
            & has_arg0(R_0096_0038__REACH_R_0096_0039__HOME,R_0096_0001__I) )
         => ? [R_0096_0030__A_R_0096_0031__SUIT,R_0096_0032__BETTER,R_0096_0035__WORKING__HYPHEN__DAYS,R_0096_0033__FIT,R_0096_0028__MUST_R_0096_0029__FIND] :
              ( r_0096_0030__a_r_0096_0031__suit(R_0096_0030__A_R_0096_0031__SUIT)
              & r_0096_0032__better(R_0096_0032__BETTER)
              & r_0096_0035__working__hyphen__days(R_0096_0035__WORKING__HYPHEN__DAYS)
              & r_0096_0028__must_r_0096_0029__find(R_0096_0028__MUST_R_0096_0029__FIND)
              & has_prd(R_0096_0028__MUST_R_0096_0029__FIND,R_0096_0033__FIT)
              & r_0096_0033__fit(R_0096_0033__FIT)
              & has_r_0096_0034__for(R_0096_0033__FIT,R_0096_0035__WORKING__HYPHEN__DAYS)
              & has_qual(R_0096_0033__FIT,R_0096_0032__BETTER)
              & has_arg1(R_0096_0028__MUST_R_0096_0029__FIND,R_0096_0030__A_R_0096_0031__SUIT)
              & has_arg0(R_0096_0028__MUST_R_0096_0029__FIND,R_0096_0001__I) ) )
      & has_conj1(R_0096_0026__BUT,R_0096_0009__AND)
      & r_0096_0009__and(R_0096_0009__AND)
      & has_conj2(R_0096_0009__AND,R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED)
      & r_0096_0010__have_r_0096_0011__been_r_0096_0012__forced(R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED)
      & has_arg0(R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED,Z_0096_5023___STAR_)
      & has_prd(R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED,R_0096_0014__PICK_R_0096_0015__UP)
      & r_0096_0014__pick_r_0096_0015__up(R_0096_0014__PICK_R_0096_0015__UP)
      & has_arg0(R_0096_0014__PICK_R_0096_0015__UP,Z_0096_5011)
      & has_arg1(R_0096_0014__PICK_R_0096_0015__UP,R_0096_0016__WHAT)
      & has_arg1(R_0096_0010__HAVE_R_0096_0011__BEEN_R_0096_0012__FORCED,R_0096_0001__I)
      & has_conj1(R_0096_0009__AND,R_0096_0002__HAVE_R_0096_0003__HAD)
      & r_0096_0002__have_r_0096_0003__had(R_0096_0002__HAVE_R_0096_0003__HAD)
      & has_nim(R_0096_0002__HAVE_R_0096_0003__HAD,R_0096_0007__LATELY)
      & has_arg1(R_0096_0002__HAVE_R_0096_0003__HAD,R_0096_0004__SOME_R_0096_0006__TIMES)
      & r_0096_0004__some_r_0096_0006__times(R_0096_0004__SOME_R_0096_0006__TIMES)
      & has_attrib(R_0096_0004__SOME_R_0096_0006__TIMES,R_0096_0005__ROUGH)
      & has_arg0(R_0096_0002__HAVE_R_0096_0003__HAD,R_0096_0001__I)
      & r_0096_0018__can_r_0096_0019__get(R_0096_0018__CAN_R_0096_0019__GET)
      & has_r_0096_0020__in__nim(R_0096_0018__CAN_R_0096_0019__GET,R_0096_0021__THE_R_0096_0022__WAY)
      & r_0096_0021__the_r_0096_0022__way(R_0096_0021__THE_R_0096_0022__WAY)
      & has_r_0096_0023__of(R_0096_0021__THE_R_0096_0022__WAY,R_0096_0024__WEARING)
      & r_0096_0024__wearing(R_0096_0024__WEARING)
      & has_arg0(R_0096_0024__WEARING,Z_0096_5018)
      & has_arg1(R_0096_0018__CAN_R_0096_0019__GET,R_0096_0016__WHAT)
      & has_arg0(R_0096_0018__CAN_R_0096_0019__GET,R_0096_0001__I) ) ).