TSPC 86_a_hardy

86_a_hardy_1883
‘And faith, you've been lucky in choosing your time, for we are having a bit of a fling for a glad cause — though, to be sure, a man could hardly wish that glad cause to happen more than once a year.’

arc(r_0086_0002__And_r_0086_0003__faith_r_0086_0006___apos_ve, r_0086_0007__been, scope).
arc(r_0086_0007__been, r_0086_0005__you, arg0).
arc(r_0086_0007__been, r_0086_0008__lucky, prd).
arc(r_0086_0008__lucky, r_0086_0010__choosing, r_0086_0009__in).
arc(r_0086_0010__choosing, r_0086_0012__time, arg1).
arc(r_0086_0010__choosing, z_000_86_a_hardy_1883_25, arg0).
arc(r_0086_0012__time, r_0086_0005__you, gen).
arc(r_0086_0014__for, r_0086_0002__And_r_0086_0003__faith_r_0086_0006___apos_ve, scope).
arc(r_0086_0014__for, r_0086_0016__are, restriction).
arc(r_0086_0016__are, r_0086_0017__having, scope).
arc(r_0086_0017__having, r_0086_0015__we, arg0).
arc(r_0086_0017__having, r_0086_0018__a_bit, arg1).
arc(r_0086_0017__having, z_000_86_a_hardy_1883_60, nim60).
arc(r_0086_0018__a_bit, r_0086_0020__a_r_0086_0021__fling, r_0086_0019__of).
arc(r_0086_0023__a_r_0086_0025__cause, r_0086_0024__glad, attrib67).
arc(r_0086_0027__though, r_0086_0014__for, scope).
arc(r_0086_0027__though, r_0086_0033__could, restriction).
arc(r_0086_0033__could, r_0086_0029__to_be_sure, nim80).
arc(r_0086_0033__could, r_0086_0035__wish, scope).
arc(r_0086_0035__wish, r_0086_0031__a_r_0086_0032__man, arg0).
arc(r_0086_0035__wish, r_0086_0034__hardly, nim93).
arc(r_0086_0035__wish, r_0086_0036__that_r_0086_0038__cause, arg1).
arc(r_0086_0036__that_r_0086_0038__cause, r_0086_0037__glad, attrib101).
arc(r_0086_0039__to_r_0086_0040__happen, r_0086_0036__that_r_0086_0038__cause, arg0).
arc(r_0086_0039__to_r_0086_0040__happen, z_000_86_a_hardy_1883_113, nim113).
arc(r_0086_0041__more, r_0086_0043__once, r_0086_0042__than).
arc(r_0086_0043__once, r_0086_0044__a_r_0086_0045__year, nim123).
arc(z_000_86_a_hardy_1883_113, r_0086_0041__more, attrib114).
arc(z_000_86_a_hardy_1883_60, r_0086_0023__a_r_0086_0025__cause, r_0086_0022__for).

fof(formula,axiom,
    ? [R_0086_0005__YOU,R_0086_0012__TIME,Z_000_86_A_HARDY_1883_25,R_0086_0010__CHOOSING,R_0086_0008__LUCKY,R_0086_0002__AND_R_0086_0003__FAITH_R_0086_0006___APOS_VE_R_0086_0007__BEEN,R_0086_0015__WE,R_0086_0020__A_R_0086_0021__FLING,R_0086_0018__A_BIT,R_0086_0024__GLAD,R_0086_0023__A_R_0086_0025__CAUSE,Z_000_86_A_HARDY_1883_60,R_0086_0016__ARE_R_0086_0017__HAVING,R_0086_0014__FOR,R_0086_0029__TO_BE_SURE,R_0086_0031__A_R_0086_0032__MAN,R_0086_0034__HARDLY,R_0086_0037__GLAD,R_0086_0036__THAT_R_0086_0038__CAUSE,R_0086_0033__COULD_R_0086_0035__WISH,R_0086_0027__THOUGH,R_0086_0044__A_R_0086_0045__YEAR,R_0086_0043__ONCE,R_0086_0041__MORE,Z_000_86_A_HARDY_1883_113,R_0086_0039__TO_R_0086_0040__HAPPEN] :
      ( r_0086_0005__you(R_0086_0005__YOU)
      & r_0086_0015__we(R_0086_0015__WE)
      & r_0086_0020__a_r_0086_0021__fling(R_0086_0020__A_R_0086_0021__FLING)
      & r_0086_0024__glad(R_0086_0024__GLAD)
      & r_0086_0029__to_be_sure(R_0086_0029__TO_BE_SURE)
      & r_0086_0031__a_r_0086_0032__man(R_0086_0031__A_R_0086_0032__MAN)
      & r_0086_0034__hardly(R_0086_0034__HARDLY)
      & r_0086_0037__glad(R_0086_0037__GLAD)
      & r_0086_0044__a_r_0086_0045__year(R_0086_0044__A_R_0086_0045__YEAR)
      & z_000_86_a_hardy_1883_25(Z_000_86_A_HARDY_1883_25)
      & r_0086_0039__to_r_0086_0040__happen(R_0086_0039__TO_R_0086_0040__HAPPEN)
      & has_nim113(R_0086_0039__TO_R_0086_0040__HAPPEN,Z_000_86_A_HARDY_1883_113)
      & z_000_86_a_hardy_1883_113(Z_000_86_A_HARDY_1883_113)
      & has_attrib114(Z_000_86_A_HARDY_1883_113,R_0086_0041__MORE)
      & r_0086_0041__more(R_0086_0041__MORE)
      & has_r_0086_0042__than(R_0086_0041__MORE,R_0086_0043__ONCE)
      & r_0086_0043__once(R_0086_0043__ONCE)
      & has_nim123(R_0086_0043__ONCE,R_0086_0044__A_R_0086_0045__YEAR)
      & has_arg0(R_0086_0039__TO_R_0086_0040__HAPPEN,R_0086_0036__THAT_R_0086_0038__CAUSE)
      & r_0086_0036__that_r_0086_0038__cause(R_0086_0036__THAT_R_0086_0038__CAUSE)
      & has_attrib101(R_0086_0036__THAT_R_0086_0038__CAUSE,R_0086_0037__GLAD)
      & r_0086_0027__though(R_0086_0027__THOUGH)
      & has_conj1(R_0086_0027__THOUGH,R_0086_0033__COULD_R_0086_0035__WISH)
      & r_0086_0033__could_r_0086_0035__wish(R_0086_0033__COULD_R_0086_0035__WISH)
      & has_arg1(R_0086_0033__COULD_R_0086_0035__WISH,R_0086_0036__THAT_R_0086_0038__CAUSE)
      & has_nim93(R_0086_0033__COULD_R_0086_0035__WISH,R_0086_0034__HARDLY)
      & has_arg0(R_0086_0033__COULD_R_0086_0035__WISH,R_0086_0031__A_R_0086_0032__MAN)
      & has_nim80(R_0086_0033__COULD_R_0086_0035__WISH,R_0086_0029__TO_BE_SURE)
      & has_conj2(R_0086_0027__THOUGH,R_0086_0014__FOR)
      & r_0086_0014__for(R_0086_0014__FOR)
      & has_conj1(R_0086_0014__FOR,R_0086_0016__ARE_R_0086_0017__HAVING)
      & r_0086_0016__are_r_0086_0017__having(R_0086_0016__ARE_R_0086_0017__HAVING)
      & has_nim60(R_0086_0016__ARE_R_0086_0017__HAVING,Z_000_86_A_HARDY_1883_60)
      & z_000_86_a_hardy_1883_60(Z_000_86_A_HARDY_1883_60)
      & has_r_0086_0022__for(Z_000_86_A_HARDY_1883_60,R_0086_0023__A_R_0086_0025__CAUSE)
      & r_0086_0023__a_r_0086_0025__cause(R_0086_0023__A_R_0086_0025__CAUSE)
      & has_attrib67(R_0086_0023__A_R_0086_0025__CAUSE,R_0086_0024__GLAD)
      & has_arg1(R_0086_0016__ARE_R_0086_0017__HAVING,R_0086_0018__A_BIT)
      & r_0086_0018__a_bit(R_0086_0018__A_BIT)
      & has_r_0086_0019__of(R_0086_0018__A_BIT,R_0086_0020__A_R_0086_0021__FLING)
      & has_arg0(R_0086_0016__ARE_R_0086_0017__HAVING,R_0086_0015__WE)
      & has_conj2(R_0086_0014__FOR,R_0086_0002__AND_R_0086_0003__FAITH_R_0086_0006___APOS_VE_R_0086_0007__BEEN)
      & r_0086_0002__And_r_0086_0003__faith_r_0086_0006___apos_ve_r_0086_0007__been(R_0086_0002__AND_R_0086_0003__FAITH_R_0086_0006___APOS_VE_R_0086_0007__BEEN)
      & has_prd(R_0086_0002__AND_R_0086_0003__FAITH_R_0086_0006___APOS_VE_R_0086_0007__BEEN,R_0086_0008__LUCKY)
      & r_0086_0008__lucky(R_0086_0008__LUCKY)
      & has_r_0086_0009__in(R_0086_0008__LUCKY,R_0086_0010__CHOOSING)
      & r_0086_0010__choosing(R_0086_0010__CHOOSING)
      & has_arg0(R_0086_0010__CHOOSING,Z_000_86_A_HARDY_1883_25)
      & has_arg1(R_0086_0010__CHOOSING,R_0086_0012__TIME)
      & r_0086_0012__time(R_0086_0012__TIME)
      & has_gen(R_0086_0012__TIME,R_0086_0005__YOU)
      & has_arg0(R_0086_0002__AND_R_0086_0003__FAITH_R_0086_0006___APOS_VE_R_0086_0007__BEEN,R_0086_0005__YOU) ) ).

( (IP-MAT (PULQ <lquo>)
          (ILYR (CONJ;_cl_ And;{and})
                (INTJ faith)
                (PUNC ,)
                (NP-SBJ (PRO you;{you}))
                (HVP;_cat_Ve_ <apos>ve;{have})
                (IP-PPL-CAT (BEN;_La_ been;{be})
                            (ADJP-PRD (ADJ lucky;{lucky})
                                      (PP (P-ROLE in;{in})
                                          (IP-PPL (VAG;_Tn_ choosing;{choose})
                                                  (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                          (N time;{time}))))))
                (PUNC ,)
                (PP-SCON (P-CONN for;{for})
                         (IP-ADV (NP-SBJ (PRO we;{we}))
                                 (BEP;_cat_Vg_ are;{be})
                                 (IP-PPL-CAT (HAG;_Tn_ having;{have})
                                             (NP-OB1 (D;_nphd_ a_bit;{a_bit})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (D a;{a})
                                                             (N fling;{fling}))))
                                             (PP-NIM (NP (PP (P-ROLE for;{for})
                                                             (NP (D a;{a})
                                                                 (ADJP (ADJ glad;{glad}))
                                                                 (N cause;{cause})))))))))
          (PUNC <mdash>)
          (PP-SCON (P-CONN though;{though})
                   (PUNC ,)
                   (IP-ADV (ADVP-NIM (ADV to_be_sure;{to_be_sure}))
                           (PUNC ,)
                           (NP-SBJ (D a;{a})
                                   (N man;{man}))
                           (MD;_cat_Vi_ could;{can})
                           (IP-INF-CAT (ADVP-NIM (ADV hardly;{hardly}))
                                       (VB;_Tn_ wish;{wish})
                                       (NP-OB1 (D that;{that})
                                               (ADJP (ADJ glad;{glad}))
                                               (N cause;{cause})
                                               (IP-INF-REL (NP-SBJ *T*)
                                                           (TO to;{to})
                                                           (VB;_I_ happen;{happen})
                                                           (NP-NIM (ADJP (ADJR more;{more})
                                                                         (PP (P-ROLE than;{than})
                                                                             (ADVP (ADV once;{once})
                                                                                   (NP (D a;{a})
                                                                                       (N year;{year})))))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 86_a_hardy_1883))