TSPC 85_a_hardy

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

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

arc(r_0085_0006___apos_ve,r_0085_0007__been,scope).
arc(r_0085_0007__been,r_0085_0005__you,arg0).
arc(r_0085_0007__been,r_0085_0008__lucky,prd).
arc(r_0085_0008__lucky,r_0085_0010__choosing,r_0085_0009__in).
arc(r_0085_0010__choosing,r_0085_0012__time,arg1).
arc(r_0085_0010__choosing,z_0085_5029,arg0).
arc(r_0085_0012__time,r_0085_0005__you,gen).
arc(r_0085_0014__for,r_0085_0006___apos_ve,scope).
arc(r_0085_0014__for,r_0085_0016__are,restriction).
arc(r_0085_0016__are,r_0085_0017__having,scope).
arc(r_0085_0017__having,r_0085_0015__we,arg0).
arc(r_0085_0017__having,r_0085_0018__a_bit,arg1).
arc(r_0085_0017__having,z_0085_5022,nim).
arc(r_0085_0018__a_bit,r_0085_0020__a_r_0085_0021__fling,r_0085_0019__of).
arc(r_0085_0023__a_r_0085_0025__cause,r_0085_0024__glad,attrib).
arc(r_0085_0027__though,r_0085_0014__for,scope).
arc(r_0085_0027__though,r_0085_0033__could,restriction).
arc(r_0085_0033__could,r_0085_0029__to_be_sure,nim).
arc(r_0085_0033__could,r_0085_0035__wish,scope).
arc(r_0085_0035__wish,r_0085_0031__a_r_0085_0032__man,arg0).
arc(r_0085_0035__wish,r_0085_0034__hardly,nim).
arc(r_0085_0035__wish,r_0085_0036__that_r_0085_0038__cause,arg1).
arc(r_0085_0036__that_r_0085_0038__cause,r_0085_0037__glad,attrib).
arc(r_0085_0040__happen,r_0085_0036__that_r_0085_0038__cause,inv_arg0).
arc(r_0085_0040__happen,z_0085_5011,nim).
arc(r_0085_0041__more,r_0085_0043__once,r_0085_0042__than).
arc(r_0085_0043__once,r_0085_0044__a_r_0085_0045__year,nim).
arc(z_0085_5011,r_0085_0041__more,attrib).
arc(z_0085_5022,r_0085_0023__a_r_0085_0025__cause,r_0085_0022__for).

fof(formula,axiom,
    ? [R_0085_0005__YOU,R_0085_0012__TIME,Z_0085_5029,R_0085_0010__CHOOSING,R_0085_0008__LUCKY,R_0085_0006___APOS_VE_R_0085_0007__BEEN,R_0085_0015__WE,R_0085_0020__A_R_0085_0021__FLING,R_0085_0018__A_BIT,R_0085_0024__GLAD,R_0085_0023__A_R_0085_0025__CAUSE,Z_0085_5022,R_0085_0016__ARE_R_0085_0017__HAVING,R_0085_0014__FOR,R_0085_0029__TO_BE_SURE,R_0085_0031__A_R_0085_0032__MAN,R_0085_0034__HARDLY,R_0085_0037__GLAD,R_0085_0044__A_R_0085_0045__YEAR,R_0085_0043__ONCE,R_0085_0041__MORE,Z_0085_5011,R_0085_0040__HAPPEN,R_0085_0036__THAT_R_0085_0038__CAUSE,R_0085_0033__COULD_R_0085_0035__WISH,R_0085_0027__THOUGH] :
      ( r_0085_0005__you(R_0085_0005__YOU)
      & r_0085_0015__we(R_0085_0015__WE)
      & r_0085_0020__a_r_0085_0021__fling(R_0085_0020__A_R_0085_0021__FLING)
      & r_0085_0024__glad(R_0085_0024__GLAD)
      & r_0085_0029__to_be_sure(R_0085_0029__TO_BE_SURE)
      & r_0085_0031__a_r_0085_0032__man(R_0085_0031__A_R_0085_0032__MAN)
      & r_0085_0034__hardly(R_0085_0034__HARDLY)
      & r_0085_0037__glad(R_0085_0037__GLAD)
      & r_0085_0044__a_r_0085_0045__year(R_0085_0044__A_R_0085_0045__YEAR)
      & z_0085_5029(Z_0085_5029)
      & r_0085_0027__though(R_0085_0027__THOUGH)
      & has_conj1(R_0085_0027__THOUGH,R_0085_0033__COULD_R_0085_0035__WISH)
      & r_0085_0033__could_r_0085_0035__wish(R_0085_0033__COULD_R_0085_0035__WISH)
      & has_arg1(R_0085_0033__COULD_R_0085_0035__WISH,R_0085_0036__THAT_R_0085_0038__CAUSE)
      & r_0085_0036__that_r_0085_0038__cause(R_0085_0036__THAT_R_0085_0038__CAUSE)
      & has_inv_arg0(R_0085_0036__THAT_R_0085_0038__CAUSE,R_0085_0040__HAPPEN)
      & r_0085_0040__happen(R_0085_0040__HAPPEN)
      & has_nim(R_0085_0040__HAPPEN,Z_0085_5011)
      & z_0085_5011(Z_0085_5011)
      & has_attrib(Z_0085_5011,R_0085_0041__MORE)
      & r_0085_0041__more(R_0085_0041__MORE)
      & has_r_0085_0042__than(R_0085_0041__MORE,R_0085_0043__ONCE)
      & r_0085_0043__once(R_0085_0043__ONCE)
      & has_nim(R_0085_0043__ONCE,R_0085_0044__A_R_0085_0045__YEAR)
      & has_attrib(R_0085_0036__THAT_R_0085_0038__CAUSE,R_0085_0037__GLAD)
      & has_nim(R_0085_0033__COULD_R_0085_0035__WISH,R_0085_0034__HARDLY)
      & has_arg0(R_0085_0033__COULD_R_0085_0035__WISH,R_0085_0031__A_R_0085_0032__MAN)
      & has_nim(R_0085_0033__COULD_R_0085_0035__WISH,R_0085_0029__TO_BE_SURE)
      & has_conj2(R_0085_0027__THOUGH,R_0085_0014__FOR)
      & r_0085_0014__for(R_0085_0014__FOR)
      & has_conj1(R_0085_0014__FOR,R_0085_0016__ARE_R_0085_0017__HAVING)
      & r_0085_0016__are_r_0085_0017__having(R_0085_0016__ARE_R_0085_0017__HAVING)
      & has_nim(R_0085_0016__ARE_R_0085_0017__HAVING,Z_0085_5022)
      & z_0085_5022(Z_0085_5022)
      & has_r_0085_0022__for(Z_0085_5022,R_0085_0023__A_R_0085_0025__CAUSE)
      & r_0085_0023__a_r_0085_0025__cause(R_0085_0023__A_R_0085_0025__CAUSE)
      & has_attrib(R_0085_0023__A_R_0085_0025__CAUSE,R_0085_0024__GLAD)
      & has_arg1(R_0085_0016__ARE_R_0085_0017__HAVING,R_0085_0018__A_BIT)
      & r_0085_0018__a_bit(R_0085_0018__A_BIT)
      & has_r_0085_0019__of(R_0085_0018__A_BIT,R_0085_0020__A_R_0085_0021__FLING)
      & has_arg0(R_0085_0016__ARE_R_0085_0017__HAVING,R_0085_0015__WE)
      & has_conj2(R_0085_0014__FOR,R_0085_0006___APOS_VE_R_0085_0007__BEEN)
      & r_0085_0006___apos_ve_r_0085_0007__been(R_0085_0006___APOS_VE_R_0085_0007__BEEN)
      & has_prd(R_0085_0006___APOS_VE_R_0085_0007__BEEN,R_0085_0008__LUCKY)
      & r_0085_0008__lucky(R_0085_0008__LUCKY)
      & has_r_0085_0009__in(R_0085_0008__LUCKY,R_0085_0010__CHOOSING)
      & r_0085_0010__choosing(R_0085_0010__CHOOSING)
      & has_arg0(R_0085_0010__CHOOSING,Z_0085_5029)
      & has_arg1(R_0085_0010__CHOOSING,R_0085_0012__TIME)
      & r_0085_0012__time(R_0085_0012__TIME)
      & has_gen(R_0085_0012__TIME,R_0085_0005__YOU)
      & has_arg0(R_0085_0006___APOS_VE_R_0085_0007__BEEN,R_0085_0005__YOU) ) ).