TSPC 78_a_hardy

78_a_hardy_1883
The hedge-carpenter was suggesting a song to the company, which nobody just then was inclined to undertake, so that the knock afforded a not unwelcome diversion.

arc(r_0078_0003__was, r_0078_0004__suggesting, scope).
arc(r_0078_0004__suggesting, r_0078_0001__The_r_0078_0002__hedge__hyphen__carpenter, arg0).
arc(r_0078_0004__suggesting, r_0078_0005__a_r_0078_0006__song, arg1).
arc(r_0078_0004__suggesting, r_0078_0008__the_r_0078_0009__company, r_0078_0007__to_clr22).
arc(r_0078_0012__nobody_quant, r_0078_0020__so_that, scope).
arc(r_0078_0012__nobody_quant, z_000_78_a_hardy_1883_33, restriction).
arc(r_0078_0014__then, r_0078_0013__just, qual37).
arc(r_0078_0015__was, r_0078_0014__then, nim36).
arc(r_0078_0015__was, r_0078_0016__inclined, scope).
arc(r_0078_0016__inclined, r_0078_0017__to_r_0078_0018__undertake, arg1).
arc(r_0078_0016__inclined, z_000_78_a_hardy_1883_33, arg2).
arc(r_0078_0016__inclined, z_000_78_a_hardy_1883_45, arg0).
arc(r_0078_0017__to_r_0078_0018__undertake, r_0078_0005__a_r_0078_0006__song, arg1).
arc(r_0078_0017__to_r_0078_0018__undertake, z_000_78_a_hardy_1883_33, arg0).
arc(r_0078_0020__so_that, r_0078_0015__was, scope).
arc(r_0078_0020__so_that, r_0078_0023__afforded, restriction).
arc(r_0078_0023__afforded, r_0078_0021__the_r_0078_0022__knock, arg0).
arc(r_0078_0023__afforded, r_0078_0024__a_r_0078_0027__diversion, arg1).
arc(r_0078_0024__a_r_0078_0027__diversion, r_0078_0025__not_r_0078_0026__unwelcome, attrib72).

fof(formula,axiom,
    ? [R_0078_0001__THE_R_0078_0002__HEDGE__HYPHEN__CARPENTER,R_0078_0005__A_R_0078_0006__SONG,R_0078_0008__THE_R_0078_0009__COMPANY,R_0078_0003__WAS_R_0078_0004__SUGGESTING] :
      ( r_0078_0001__The_r_0078_0002__hedge__hyphen__carpenter(R_0078_0001__THE_R_0078_0002__HEDGE__HYPHEN__CARPENTER)
      & r_0078_0005__a_r_0078_0006__song(R_0078_0005__A_R_0078_0006__SONG)
      & r_0078_0008__the_r_0078_0009__company(R_0078_0008__THE_R_0078_0009__COMPANY)
      & ! [Z_000_78_A_HARDY_1883_33] :
          ( z_000_78_a_hardy_1883_33(Z_000_78_A_HARDY_1883_33)
         => ? [R_0078_0013__JUST,R_0078_0014__THEN,R_0078_0017__TO_R_0078_0018__UNDERTAKE,Z_000_78_A_HARDY_1883_45,R_0078_0015__WAS_R_0078_0016__INCLINED,R_0078_0021__THE_R_0078_0022__KNOCK,R_0078_0025__NOT_R_0078_0026__UNWELCOME,R_0078_0024__A_R_0078_0027__DIVERSION,R_0078_0023__AFFORDED,R_0078_0020__SO_THAT] :
              ( r_0078_0013__just(R_0078_0013__JUST)
              & r_0078_0021__the_r_0078_0022__knock(R_0078_0021__THE_R_0078_0022__KNOCK)
              & r_0078_0025__not_r_0078_0026__unwelcome(R_0078_0025__NOT_R_0078_0026__UNWELCOME)
              & z_000_78_a_hardy_1883_45(Z_000_78_A_HARDY_1883_45)
              & r_0078_0020__so_that(R_0078_0020__SO_THAT)
              & has_conj1(R_0078_0020__SO_THAT,R_0078_0023__AFFORDED)
              & r_0078_0023__afforded(R_0078_0023__AFFORDED)
              & has_arg1(R_0078_0023__AFFORDED,R_0078_0024__A_R_0078_0027__DIVERSION)
              & r_0078_0024__a_r_0078_0027__diversion(R_0078_0024__A_R_0078_0027__DIVERSION)
              & has_attrib72(R_0078_0024__A_R_0078_0027__DIVERSION,R_0078_0025__NOT_R_0078_0026__UNWELCOME)
              & has_arg0(R_0078_0023__AFFORDED,R_0078_0021__THE_R_0078_0022__KNOCK)
              & has_conj2(R_0078_0020__SO_THAT,R_0078_0015__WAS_R_0078_0016__INCLINED)
              & r_0078_0015__was_r_0078_0016__inclined(R_0078_0015__WAS_R_0078_0016__INCLINED)
              & has_arg0(R_0078_0015__WAS_R_0078_0016__INCLINED,Z_000_78_A_HARDY_1883_45)
              & has_arg2(R_0078_0015__WAS_R_0078_0016__INCLINED,Z_000_78_A_HARDY_1883_33)
              & has_arg1(R_0078_0015__WAS_R_0078_0016__INCLINED,R_0078_0017__TO_R_0078_0018__UNDERTAKE)
              & r_0078_0017__to_r_0078_0018__undertake(R_0078_0017__TO_R_0078_0018__UNDERTAKE)
              & has_arg0(R_0078_0017__TO_R_0078_0018__UNDERTAKE,Z_000_78_A_HARDY_1883_33)
              & has_arg1(R_0078_0017__TO_R_0078_0018__UNDERTAKE,R_0078_0005__A_R_0078_0006__SONG)
              & has_nim36(R_0078_0015__WAS_R_0078_0016__INCLINED,R_0078_0014__THEN)
              & r_0078_0014__then(R_0078_0014__THEN)
              & has_qual37(R_0078_0014__THEN,R_0078_0013__JUST) ) )
      & r_0078_0003__was_r_0078_0004__suggesting(R_0078_0003__WAS_R_0078_0004__SUGGESTING)
      & has_r_0078_0007__to_clr22(R_0078_0003__WAS_R_0078_0004__SUGGESTING,R_0078_0008__THE_R_0078_0009__COMPANY)
      & has_arg1(R_0078_0003__WAS_R_0078_0004__SUGGESTING,R_0078_0005__A_R_0078_0006__SONG)
      & has_arg0(R_0078_0003__WAS_R_0078_0004__SUGGESTING,R_0078_0001__THE_R_0078_0002__HEDGE__HYPHEN__CARPENTER) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N hedge_<hyphen>_carpenter;{hedge_carpenter}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;__ suggesting;{suggest})
                      (NP-OB1 (D a;{a})
                              (N song;{song})
                              (IP-REL *ICH*-151))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (N company;{company})))
                      (PUNC ,)
                      (IP-REL-EPD-151 (NP-148 (RPRO which;{which}))
                                      (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                                      (ADVP-NIM (ADVP (ADV just;{just}))
                                                (ADV then;{then}))
                                      (BED;_cat_VePASS_ was;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;__ inclined;{incline})
                                                  (IP-INF-OB1 (NP-OB1 *ICH*-148)
                                                              (TO to;{to})
                                                              (VB;__ undertake;{undertake})))
                                      (PUNC ,)
                                      (PP-SCON (P-CONN so_that;{so_that})
                                               (IP-ADV (NP-SBJ (D the;{the})
                                                               (N knock;{knock}))
                                                       (VBD;__ afforded;{afford})
                                                       (NP-OB1 (D a;{a})
                                                               (ADJP (NEG not;{not})
                                                                     (ADJ unwelcome;{unwelcome}))
                                                               (N diversion;{diversion}))))))
          (PUNC .))
  (ID 78_a_hardy_1883))