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

arc(r_0077_0003__was,r_0077_0004__suggesting,scope).
arc(r_0077_0004__suggesting,r_0077_0001__The_r_0077_0002__hedge__hyphen__carpenter,arg0).
arc(r_0077_0004__suggesting,r_0077_0005__a_r_0077_0006__song,arg1).
arc(r_0077_0004__suggesting,r_0077_0008__the_r_0077_0009__company,r_0077_0007__to__clr).
arc(r_0077_0012__nobody__quant,r_0077_0020__so_that,scope).
arc(r_0077_0012__nobody__quant,z_0077_5005,restriction).
arc(r_0077_0014__then,r_0077_0013__just,qual).
arc(r_0077_0015__was,r_0077_0014__then,nim).
arc(r_0077_0015__was,r_0077_0016__inclined,scope).
arc(r_0077_0016__inclined,r_0077_0018__undertake,arg1).
arc(r_0077_0016__inclined,z_0077_5005,arg2).
arc(r_0077_0016__inclined,z_0077_5016___star_,arg0).
arc(r_0077_0018__undertake,r_0077_0005__a_r_0077_0006__song,arg1).
arc(r_0077_0018__undertake,z_0077_5005,arg0).
arc(r_0077_0020__so_that,r_0077_0015__was,scope).
arc(r_0077_0020__so_that,r_0077_0023__afforded,restriction).
arc(r_0077_0023__afforded,r_0077_0021__the_r_0077_0022__knock,arg0).
arc(r_0077_0023__afforded,r_0077_0024__a_r_0077_0027__diversion,arg1).
arc(r_0077_0024__a_r_0077_0027__diversion,r_0077_0025__not_r_0077_0026__unwelcome,attrib).

fof(formula,axiom,
    ? [R_0077_0001__THE_R_0077_0002__HEDGE__HYPHEN__CARPENTER,R_0077_0005__A_R_0077_0006__SONG,R_0077_0008__THE_R_0077_0009__COMPANY,R_0077_0003__WAS_R_0077_0004__SUGGESTING] :
      ( r_0077_0001__The_r_0077_0002__hedge__hyphen__carpenter(R_0077_0001__THE_R_0077_0002__HEDGE__HYPHEN__CARPENTER)
      & r_0077_0005__a_r_0077_0006__song(R_0077_0005__A_R_0077_0006__SONG)
      & r_0077_0008__the_r_0077_0009__company(R_0077_0008__THE_R_0077_0009__COMPANY)
      & ! [Z_0077_5005] :
          ( z_0077_5005(Z_0077_5005)
         => ? [R_0077_0013__JUST,R_0077_0014__THEN,R_0077_0018__UNDERTAKE,Z_0077_5016___STAR_,R_0077_0015__WAS_R_0077_0016__INCLINED,R_0077_0021__THE_R_0077_0022__KNOCK,R_0077_0025__NOT_R_0077_0026__UNWELCOME,R_0077_0024__A_R_0077_0027__DIVERSION,R_0077_0023__AFFORDED,R_0077_0020__SO_THAT] :
              ( r_0077_0013__just(R_0077_0013__JUST)
              & r_0077_0021__the_r_0077_0022__knock(R_0077_0021__THE_R_0077_0022__KNOCK)
              & r_0077_0025__not_r_0077_0026__unwelcome(R_0077_0025__NOT_R_0077_0026__UNWELCOME)
              & z_0077_5016___star_(Z_0077_5016___STAR_)
              & r_0077_0020__so_that(R_0077_0020__SO_THAT)
              & has_conj1(R_0077_0020__SO_THAT,R_0077_0023__AFFORDED)
              & r_0077_0023__afforded(R_0077_0023__AFFORDED)
              & has_arg1(R_0077_0023__AFFORDED,R_0077_0024__A_R_0077_0027__DIVERSION)
              & r_0077_0024__a_r_0077_0027__diversion(R_0077_0024__A_R_0077_0027__DIVERSION)
              & has_attrib(R_0077_0024__A_R_0077_0027__DIVERSION,R_0077_0025__NOT_R_0077_0026__UNWELCOME)
              & has_arg0(R_0077_0023__AFFORDED,R_0077_0021__THE_R_0077_0022__KNOCK)
              & has_conj2(R_0077_0020__SO_THAT,R_0077_0015__WAS_R_0077_0016__INCLINED)
              & r_0077_0015__was_r_0077_0016__inclined(R_0077_0015__WAS_R_0077_0016__INCLINED)
              & has_arg0(R_0077_0015__WAS_R_0077_0016__INCLINED,Z_0077_5016___STAR_)
              & has_arg2(R_0077_0015__WAS_R_0077_0016__INCLINED,Z_0077_5005)
              & has_arg1(R_0077_0015__WAS_R_0077_0016__INCLINED,R_0077_0018__UNDERTAKE)
              & r_0077_0018__undertake(R_0077_0018__UNDERTAKE)
              & has_arg0(R_0077_0018__UNDERTAKE,Z_0077_5005)
              & has_arg1(R_0077_0018__UNDERTAKE,R_0077_0005__A_R_0077_0006__SONG)
              & has_nim(R_0077_0015__WAS_R_0077_0016__INCLINED,R_0077_0014__THEN)
              & r_0077_0014__then(R_0077_0014__THEN)
              & has_qual(R_0077_0014__THEN,R_0077_0013__JUST) ) )
      & r_0077_0003__was_r_0077_0004__suggesting(R_0077_0003__WAS_R_0077_0004__SUGGESTING)
      & has_r_0077_0007__to__clr(R_0077_0003__WAS_R_0077_0004__SUGGESTING,R_0077_0008__THE_R_0077_0009__COMPANY)
      & has_arg1(R_0077_0003__WAS_R_0077_0004__SUGGESTING,R_0077_0005__A_R_0077_0006__SONG)
      & has_arg0(R_0077_0003__WAS_R_0077_0004__SUGGESTING,R_0077_0001__THE_R_0077_0002__HEDGE__HYPHEN__CARPENTER) ) ).