TSPC 97_a_hardy

97_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.’

arc(r_0097_0002__have, r_0097_0003__had, scope).
arc(r_0097_0003__had, r_0097_0001__I, arg0).
arc(r_0097_0003__had, r_0097_0004__some_r_0097_0006__times, arg1).
arc(r_0097_0003__had, r_0097_0007__lately, nim22).
arc(r_0097_0004__some_r_0097_0006__times, r_0097_0005__rough, attrib17).
arc(r_0097_0009__and, r_0097_0002__have, conj1).
arc(r_0097_0009__and, r_0097_0010__have, conj2).
arc(r_0097_0010__have, r_0097_0011__been, scope).
arc(r_0097_0011__been, r_0097_0012__forced, scope).
arc(r_0097_0012__forced, r_0097_0001__I, arg1).
arc(r_0097_0012__forced, r_0097_0013__to_r_0097_0014__pick_r_0097_0015__up, prd).
arc(r_0097_0012__forced, z_000_97_a_hardy_1883_37, arg0).
arc(r_0097_0013__to_r_0097_0014__pick_r_0097_0015__up, x_000_97_a_hardy_1883_41, arg0).
arc(r_0097_0013__to_r_0097_0014__pick_r_0097_0015__up, z_000_97_a_hardy_1883_48, arg1).
arc(r_0097_0018__can, r_0097_0019__get, scope).
arc(r_0097_0019__get, r_0097_0001__I, arg0).
arc(r_0097_0019__get, r_0097_0021__the_r_0097_0022__way, r_0097_0020__in_nim66).
arc(r_0097_0019__get, z_000_97_a_hardy_1883_48, arg1).
arc(r_0097_0021__the_r_0097_0022__way, r_0097_0024__wearing, r_0097_0023__of).
arc(r_0097_0024__wearing, z_000_97_a_hardy_1883_74, arg0).
arc(r_0097_0026__but, r_0097_0009__and, conj1).
arc(r_0097_0026__but, r_0097_0036__when, conj2).
arc(r_0097_0028__must, r_0097_0029__find, scope).
arc(r_0097_0029__find, r_0097_0001__I, arg0).
arc(r_0097_0029__find, r_0097_0030__a_r_0097_0031__suit, arg1).
arc(r_0097_0029__find, r_0097_0033__fit, prd).
arc(r_0097_0033__fit, r_0097_0032__better, qual97).
arc(r_0097_0033__fit, r_0097_0035__working__hyphen__days, r_0097_0034__for).
arc(r_0097_0036__when, r_0097_0028__must, scope).
arc(r_0097_0036__when, r_0097_0038__reach, restriction).
arc(r_0097_0038__reach, r_0097_0001__I, arg0).
arc(r_0097_0038__reach, r_0097_0039__home, clr117).

fof(formula,axiom,
    ? [R_97_18_CAN_GET,R_97_21_THE_WAY,R_97_24_WEARING,Z_97_A_HARDY_1883_74,R_97_26_BUT,R_97_9_AND,R_97_2_HAVE_HAD,R_97_4_SOME_TIMES,R_97_5_ROUGH,R_97_7_LATELY,R_97_10_HAVE_BEEN_FORCED,Z_97_A_HARDY_1883_37,R_97_1_I,R_97_13_TO_PICK_UP,X_97_A_HARDY_1883_41,Z_97_A_HARDY_1883_48] :
      ( rough(R_97_5_ROUGH)
      & lately(R_97_7_LATELY)
      & i(R_97_1_I)
      & can_get(R_97_18_CAN_GET,R_97_1_I,Z_97_A_HARDY_1883_48)
      & in_nim66(R_97_18_CAN_GET,R_97_21_THE_WAY)
      & the_way(R_97_21_THE_WAY)
      & of(R_97_21_THE_WAY,R_97_24_WEARING)
      & wearing(R_97_24_WEARING,Z_97_A_HARDY_1883_74)
      & ! [R_97_38_REACH,R_97_39_HOME] :
          ( ( home(R_97_39_HOME)
            & reach(R_97_38_REACH,R_97_1_I)
            & clr117(R_97_38_REACH,R_97_39_HOME) )
         => ? [R_97_28_MUST_FIND,R_97_30_A_SUIT,R_97_33_FIT,R_97_32_BETTER,R_97_35_WORKING_HYPHEN_DAYS] :
              ( a_suit(R_97_30_A_SUIT)
              & better(R_97_32_BETTER)
              & working_hyphen_days(R_97_35_WORKING_HYPHEN_DAYS)
              & must_find(R_97_28_MUST_FIND,R_97_1_I,R_97_30_A_SUIT,R_97_33_FIT)
              & fit(R_97_33_FIT)
              & qual97(R_97_33_FIT,R_97_32_BETTER)
              & for(R_97_33_FIT,R_97_35_WORKING_HYPHEN_DAYS) ) )
      & conj2(CONJ2)
      & but(R_97_26_BUT)
      & conj1(R_97_26_BUT,R_97_9_AND)
      & and(R_97_9_AND)
      & conj1(R_97_9_AND,R_97_2_HAVE_HAD)
      & have_had(R_97_2_HAVE_HAD,R_97_1_I,R_97_4_SOME_TIMES)
      & some_times(R_97_4_SOME_TIMES)
      & attrib17(R_97_4_SOME_TIMES,R_97_5_ROUGH)
      & nim22(R_97_2_HAVE_HAD,R_97_7_LATELY)
      & conj2(R_97_9_AND,R_97_10_HAVE_BEEN_FORCED)
      & have_been_forced(R_97_10_HAVE_BEEN_FORCED,Z_97_A_HARDY_1883_37,R_97_1_I,R_97_13_TO_PICK_UP)
      & to_pick_up(R_97_13_TO_PICK_UP,X_97_A_HARDY_1883_41,Z_97_A_HARDY_1883_48) ) ).

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