TSPC 45_a_hardy

45_a_hardy_1883
Moreover, Oliver Giles, a man of seventeen, one of the dancers, who was enamoured of his partner, a fair girl of thirty-three rolling years, had recklessly handed a new crown-piece to the musicians, as a bribe to keep going as long as they had muscle and wind.

arc(r_0045_0006__a_r_0045_0007__man, r_0045_0009__seventeen, r_0045_0008__of).
arc(r_0045_0011__one, r_0045_0013__the_r_0045_0014__dancers, r_0045_0012__of).
arc(r_0045_0017__was, r_0045_0018__enamoured, scope).
arc(r_0045_0018__enamoured, r_0045_0003__Oliver_r_0045_0004__Giles, arg1).
arc(r_0045_0018__enamoured, r_0045_0021__partner, arg0).
arc(r_0045_0021__partner, r_0045_0003__Oliver_r_0045_0004__Giles, gen).
arc(r_0045_0023__a_r_0045_0025__girl, r_0045_0024__fair, attrib66).
arc(r_0045_0023__a_r_0045_0025__girl, r_0045_0027__thirty__hyphen__three_r_0045_0029__years, r_0045_0026__of).
arc(r_0045_0027__thirty__hyphen__three_r_0045_0029__years, r_0045_0028__rolling, attrib77).
arc(r_0045_0031__had, r_0045_0001__Moreover, nim2).
arc(r_0045_0031__had, r_0045_0033__handed, scope).
arc(r_0045_0033__handed, r_0045_0003__Oliver_r_0045_0004__Giles, arg0).
arc(r_0045_0033__handed, r_0045_0032__recklessly, nim87).
arc(r_0045_0033__handed, r_0045_0034__a_r_0045_0036__crown__hyphen__piece, arg1).
arc(r_0045_0033__handed, r_0045_0038__the_r_0045_0039__musicians, r_0045_0037__to_clr103).
arc(r_0045_0033__handed, r_0045_0042__a_r_0045_0043__bribe, r_0045_0041__as_nim113).
arc(r_0045_0034__a_r_0045_0036__crown__hyphen__piece, r_0045_0035__new, attrib95).
arc(r_0045_0044__to_r_0045_0045__keep, r_0045_0042__a_r_0045_0043__bribe, nim119).
arc(r_0045_0044__to_r_0045_0045__keep, r_0045_0046__going, scope).
arc(r_0045_0046__going, z_000_45_a_hardy_1883_118, arg0).
arc(r_0045_0047__as_long_as, r_0045_0044__to_r_0045_0045__keep, scope).
arc(r_0045_0047__as_long_as, r_0045_0049__had, restriction).
arc(r_0045_0049__had, r_0045_0048__they, arg0).
arc(r_0045_0049__had, r_0045_0051__and, arg1).
arc(r_0045_0051__and, r_0045_0050__muscle, conj1).
arc(r_0045_0051__and, r_0045_0052__wind, conj2).
arc(z_000_45_a_hardy_1883_14, r_0045_0003__Oliver_r_0045_0004__Giles, arg0).
arc(z_000_45_a_hardy_1883_14, r_0045_0006__a_r_0045_0007__man, prd).
arc(z_000_45_a_hardy_1883_28, r_0045_0003__Oliver_r_0045_0004__Giles, arg0).
arc(z_000_45_a_hardy_1883_28, r_0045_0011__one, prd).
arc(z_000_45_a_hardy_1883_62, r_0045_0021__partner, arg0).
arc(z_000_45_a_hardy_1883_62, r_0045_0023__a_r_0045_0025__girl, prd).

fof(formula,axiom,
    ? [R_0045_0003__OLIVER_R_0045_0004__GILES,R_0045_0021__PARTNER,R_0045_0017__WAS_R_0045_0018__ENAMOURED,R_0045_0001__MOREOVER,R_0045_0032__RECKLESSLY,R_0045_0035__NEW,R_0045_0034__A_R_0045_0036__CROWN__HYPHEN__PIECE,R_0045_0038__THE_R_0045_0039__MUSICIANS,R_0045_0042__A_R_0045_0043__BRIBE,R_0045_0031__HAD_R_0045_0033__HANDED,Z_000_45_A_HARDY_1883_118,R_0045_0044__TO_R_0045_0045__KEEP_R_0045_0046__GOING,R_0045_0048__THEY,R_0045_0050__MUSCLE,R_0045_0052__WIND,R_0045_0051__AND,R_0045_0049__HAD,R_0045_0047__AS_LONG_AS,R_0045_0009__SEVENTEEN,R_0045_0006__A_R_0045_0007__MAN,Z_000_45_A_HARDY_1883_14,R_0045_0013__THE_R_0045_0014__DANCERS,R_0045_0011__ONE,Z_000_45_A_HARDY_1883_28,R_0045_0024__FAIR,R_0045_0028__ROLLING,R_0045_0027__THIRTY__HYPHEN__THREE_R_0045_0029__YEARS,R_0045_0023__A_R_0045_0025__GIRL,Z_000_45_A_HARDY_1883_62] :
      ( r_0045_0001__Moreover(R_0045_0001__MOREOVER)
      & r_0045_0003__Oliver_r_0045_0004__Giles(R_0045_0003__OLIVER_R_0045_0004__GILES)
      & r_0045_0009__seventeen(R_0045_0009__SEVENTEEN)
      & r_0045_0013__the_r_0045_0014__dancers(R_0045_0013__THE_R_0045_0014__DANCERS)
      & r_0045_0024__fair(R_0045_0024__FAIR)
      & r_0045_0028__rolling(R_0045_0028__ROLLING)
      & r_0045_0032__recklessly(R_0045_0032__RECKLESSLY)
      & r_0045_0035__new(R_0045_0035__NEW)
      & r_0045_0038__the_r_0045_0039__musicians(R_0045_0038__THE_R_0045_0039__MUSICIANS)
      & r_0045_0042__a_r_0045_0043__bribe(R_0045_0042__A_R_0045_0043__BRIBE)
      & r_0045_0048__they(R_0045_0048__THEY)
      & r_0045_0050__muscle(R_0045_0050__MUSCLE)
      & r_0045_0052__wind(R_0045_0052__WIND)
      & z_000_45_a_hardy_1883_118(Z_000_45_A_HARDY_1883_118)
      & z_000_45_a_hardy_1883_62(Z_000_45_A_HARDY_1883_62)
      & has_prd(Z_000_45_A_HARDY_1883_62,R_0045_0023__A_R_0045_0025__GIRL)
      & r_0045_0023__a_r_0045_0025__girl(R_0045_0023__A_R_0045_0025__GIRL)
      & has_r_0045_0026__of(R_0045_0023__A_R_0045_0025__GIRL,R_0045_0027__THIRTY__HYPHEN__THREE_R_0045_0029__YEARS)
      & r_0045_0027__thirty__hyphen__three_r_0045_0029__years(R_0045_0027__THIRTY__HYPHEN__THREE_R_0045_0029__YEARS)
      & has_attrib77(R_0045_0027__THIRTY__HYPHEN__THREE_R_0045_0029__YEARS,R_0045_0028__ROLLING)
      & has_attrib66(R_0045_0023__A_R_0045_0025__GIRL,R_0045_0024__FAIR)
      & has_arg0(Z_000_45_A_HARDY_1883_62,R_0045_0021__PARTNER)
      & r_0045_0021__partner(R_0045_0021__PARTNER)
      & has_gen(R_0045_0021__PARTNER,R_0045_0003__OLIVER_R_0045_0004__GILES)
      & z_000_45_a_hardy_1883_28(Z_000_45_A_HARDY_1883_28)
      & has_prd(Z_000_45_A_HARDY_1883_28,R_0045_0011__ONE)
      & r_0045_0011__one(R_0045_0011__ONE)
      & has_r_0045_0012__of(R_0045_0011__ONE,R_0045_0013__THE_R_0045_0014__DANCERS)
      & has_arg0(Z_000_45_A_HARDY_1883_28,R_0045_0003__OLIVER_R_0045_0004__GILES)
      & z_000_45_a_hardy_1883_14(Z_000_45_A_HARDY_1883_14)
      & has_prd(Z_000_45_A_HARDY_1883_14,R_0045_0006__A_R_0045_0007__MAN)
      & r_0045_0006__a_r_0045_0007__man(R_0045_0006__A_R_0045_0007__MAN)
      & has_r_0045_0008__of(R_0045_0006__A_R_0045_0007__MAN,R_0045_0009__SEVENTEEN)
      & has_arg0(Z_000_45_A_HARDY_1883_14,R_0045_0003__OLIVER_R_0045_0004__GILES)
      & r_0045_0047__as_long_as(R_0045_0047__AS_LONG_AS)
      & has_conj1(R_0045_0047__AS_LONG_AS,R_0045_0049__HAD)
      & r_0045_0049__had(R_0045_0049__HAD)
      & has_arg1(R_0045_0049__HAD,R_0045_0051__AND)
      & r_0045_0051__and(R_0045_0051__AND)
      & has_conj2(R_0045_0051__AND,R_0045_0052__WIND)
      & has_conj1(R_0045_0051__AND,R_0045_0050__MUSCLE)
      & has_arg0(R_0045_0049__HAD,R_0045_0048__THEY)
      & has_conj2(R_0045_0047__AS_LONG_AS,R_0045_0044__TO_R_0045_0045__KEEP_R_0045_0046__GOING)
      & r_0045_0044__to_r_0045_0045__keep_r_0045_0046__going(R_0045_0044__TO_R_0045_0045__KEEP_R_0045_0046__GOING)
      & has_arg0(R_0045_0044__TO_R_0045_0045__KEEP_R_0045_0046__GOING,Z_000_45_A_HARDY_1883_118)
      & has_nim119(R_0045_0044__TO_R_0045_0045__KEEP_R_0045_0046__GOING,R_0045_0042__A_R_0045_0043__BRIBE)
      & r_0045_0031__had_r_0045_0033__handed(R_0045_0031__HAD_R_0045_0033__HANDED)
      & has_r_0045_0041__as_nim113(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0042__A_R_0045_0043__BRIBE)
      & has_r_0045_0037__to_clr103(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0038__THE_R_0045_0039__MUSICIANS)
      & has_arg1(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0034__A_R_0045_0036__CROWN__HYPHEN__PIECE)
      & r_0045_0034__a_r_0045_0036__crown__hyphen__piece(R_0045_0034__A_R_0045_0036__CROWN__HYPHEN__PIECE)
      & has_attrib95(R_0045_0034__A_R_0045_0036__CROWN__HYPHEN__PIECE,R_0045_0035__NEW)
      & has_nim87(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0032__RECKLESSLY)
      & has_arg0(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0003__OLIVER_R_0045_0004__GILES)
      & has_nim2(R_0045_0031__HAD_R_0045_0033__HANDED,R_0045_0001__MOREOVER)
      & r_0045_0017__was_r_0045_0018__enamoured(R_0045_0017__WAS_R_0045_0018__ENAMOURED)
      & has_arg0(R_0045_0017__WAS_R_0045_0018__ENAMOURED,R_0045_0021__PARTNER)
      & has_arg1(R_0045_0017__WAS_R_0045_0018__ENAMOURED,R_0045_0003__OLIVER_R_0045_0004__GILES) ) ).

( (IP-MAT (ADVP-NIM (ADV Moreover;{moreover}))
          (PUNC ,)
          (NP-SBJ;{GILES} (NPR Oliver;{Oliver})
                          (NPR Giles;{Giles})
                          (PUNC ,)
                          (IP-PPL (NP-PRD (D a;{a})
                                          (N man;{man})
                                          (PP (P-ROLE of;{of})
                                              (NP (NUM seventeen;{seventeen})))))
                          (PUNC ,)
                          (IP-PPL (NP-PRD (NUM one;{one})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (NS dancers;{dancer})))))
                          (PUNC ,)
                          (IP-REL (NP-SBJ (RPRO who;{who}))
                                  (BED;_cat_VePASS_ was;{be})
                                  (IP-PPL-CAT (VVN;__ enamoured;{enamour})
                                              (PP-LGS (P-ROLE;_lgs_ of;{of})
                                                      (NP (NP-GEN;{GILES} (PRO;_genm_ his;{his}))
                                                          (N partner;{partner})
                                                          (PUNC ,)
                                                          (IP-PPL (NP-PRD (D a;{a})
                                                                          (ADJP (ADJ fair;{fair}))
                                                                          (N girl;{girl})
                                                                          (PP (P-ROLE of;{of})
                                                                              (NP (NUM thirty_<hyphen>_three;{thirty_three})
                                                                                  (ADJP (ADJ rolling;{rolling}))
                                                                                  (NS years;{year}))))))))))
          (PUNC ,)
          (HVD;_cat_Ve_ had;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV recklessly;{recklessly}))
                      (VVN;__ handed;{hand})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ new;{new}))
                              (N crown_<hyphen>_piece;{crown_piece}))
                      (PP-CLR (P-ROLE to;{to})
                              (NP;{FIDDLER_SERPENT_PLAYER} (D the;{the})
                                                           (NS musicians;{musician})))
                      (PUNC ,)
                      (PP-NIM (P-ROLE as;{as})
                              (NP (D a;{a})
                                  (N bribe;{bribe})
                                  (IP-INF-REL (NP-NIM *T*)
                                              (TO to;{to})
                                              (VB;_cat_Vg_ keep;{keep})
                                              (IP-PPL-CAT (VAG;_I_ going;{go}))
                                              (PP-SCON (P-CONN as_long_as;{as_long_as})
                                                       (IP-ADV (NP-SBJ;{FIDDLER_SERPENT_PLAYER} (PRO they;{they}))
                                                               (HVD;_Tn_ had;{have})
                                                               (NP-OB1 (NLYR (NLYR (N muscle;{muscle}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (N wind;{wind})))))))))))
          (PUNC .))
  (ID 45_a_hardy_1883))