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_86_27_THOUGH,R_86_33_COULD_WISH,R_86_31_A_MAN,R_86_29_TO_BE_SURE,R_86_34_HARDLY,R_86_14_FOR,R_86_16_ARE_HAVING,R_86_15_WE,R_86_18_A_BIT,R_86_20_A_FLING,Z_86_A_HARDY_1883_60,R_86_23_A_CAUSE,R_86_24_GLAD,R_86_2_AND_FAITH_APOS_VE_BEEN,R_86_8_LUCKY,R_86_10_CHOOSING,Z_86_A_HARDY_1883_25,R_86_12_TIME,R_86_5_YOU,R_86_39_TO_HAPPEN,R_86_36_THAT_CAUSE,R_86_37_GLAD,Z_86_A_HARDY_1883_113,R_86_41_MORE,R_86_43_ONCE,R_86_44_A_YEAR] :
      ( a_man(R_86_31_A_MAN)
      & to_be_sure(R_86_29_TO_BE_SURE)
      & hardly(R_86_34_HARDLY)
      & we(R_86_15_WE)
      & a_fling(R_86_20_A_FLING)
      & glad(R_86_24_GLAD)
      & you(R_86_5_YOU)
      & glad(R_86_37_GLAD)
      & a_year(R_86_44_A_YEAR)
      & though(R_86_27_THOUGH)
      & conj1(R_86_27_THOUGH,R_86_33_COULD_WISH)
      & could_wish(R_86_33_COULD_WISH,R_86_31_A_MAN,R_86_36_THAT_CAUSE)
      & that_cause(R_86_36_THAT_CAUSE)
      & attrib101(R_86_36_THAT_CAUSE,R_86_37_GLAD)
      & nim80(R_86_33_COULD_WISH,R_86_29_TO_BE_SURE)
      & nim93(R_86_33_COULD_WISH,R_86_34_HARDLY)
      & conj2(R_86_27_THOUGH,R_86_14_FOR)
      & for(R_86_14_FOR)
      & conj1(R_86_14_FOR,R_86_16_ARE_HAVING)
      & are_having(R_86_16_ARE_HAVING,R_86_15_WE,R_86_18_A_BIT)
      & a_bit(R_86_18_A_BIT)
      & of(R_86_18_A_BIT,R_86_20_A_FLING)
      & nim60(R_86_16_ARE_HAVING,Z_86_A_HARDY_1883_60)
      & z_86_a_hardy_1883_60(Z_86_A_HARDY_1883_60)
      & for(Z_86_A_HARDY_1883_60,R_86_23_A_CAUSE)
      & a_cause(R_86_23_A_CAUSE)
      & attrib67(R_86_23_A_CAUSE,R_86_24_GLAD)
      & conj2(R_86_14_FOR,R_86_2_AND_FAITH_APOS_VE_BEEN)
      & and_faith_apos_ve_been(R_86_2_AND_FAITH_APOS_VE_BEEN,R_86_5_YOU,R_86_8_LUCKY)
      & lucky(R_86_8_LUCKY)
      & in(R_86_8_LUCKY,R_86_10_CHOOSING)
      & choosing(R_86_10_CHOOSING,Z_86_A_HARDY_1883_25,R_86_12_TIME)
      & time(R_86_12_TIME)
      & gen(R_86_12_TIME,R_86_5_YOU)
      & to_happen(R_86_39_TO_HAPPEN,R_86_36_THAT_CAUSE)
      & nim113(R_86_39_TO_HAPPEN,Z_86_A_HARDY_1883_113)
      & z_86_a_hardy_1883_113(Z_86_A_HARDY_1883_113)
      & attrib114(Z_86_A_HARDY_1883_113,R_86_41_MORE)
      & more(R_86_41_MORE)
      & than(R_86_41_MORE,R_86_43_ONCE)
      & once(R_86_43_ONCE)
      & nim123(R_86_43_ONCE,R_86_44_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 86_a_hardy_1883))