TSPC 41_a_hardy

41_a_hardy_1883
The fiddler was a boy of those parts, about twelve years of age, who had a wonderful dexterity in jigs and reels, though his fingers were so small and short as to necessitate a constant shifting for the high notes, from which he scrambled back to the first position with sounds not of unmixed purity of tone.

arc(r_0041_0003__was, r_0041_0001__The_r_0041_0002__fiddler, arg0).
arc(r_0041_0003__was, r_0041_0004__a_r_0041_0005__boy, prd).
arc(r_0041_0004__a_r_0041_0005__boy, r_0041_0007__those_r_0041_0008__parts, r_0041_0006__of).
arc(r_0041_0004__a_r_0041_0005__boy, r_0041_0011__twelve_r_0041_0012__years, nim24).
arc(r_0041_0011__twelve_r_0041_0012__years, r_0041_0010__about, qual25).
arc(r_0041_0011__twelve_r_0041_0012__years, r_0041_0014__age, r_0041_0013__of).
arc(r_0041_0017__had, r_0041_0004__a_r_0041_0005__boy, arg0).
arc(r_0041_0017__had, r_0041_0018__a_r_0041_0020__dexterity, arg1).
arc(r_0041_0017__had, r_0041_0023__and, r_0041_0021__in_nim57).
arc(r_0041_0018__a_r_0041_0020__dexterity, r_0041_0019__wonderful, attrib49).
arc(r_0041_0023__and, r_0041_0022__jigs, conj1).
arc(r_0041_0023__and, r_0041_0024__reels, conj2).
arc(r_0041_0026__though, r_0041_0017__had, scope).
arc(r_0041_0026__though, r_0041_0029__were, restriction).
arc(r_0041_0028__fingers, r_0041_0001__The_r_0041_0002__fiddler, gen).
arc(r_0041_0029__were, r_0041_0028__fingers, arg0).
arc(r_0041_0029__were, r_0041_0032__and, prd).
arc(r_0041_0030__so, r_0041_0035__to_r_0041_0036__necessitate, r_0041_0034__as).
arc(r_0041_0032__and, r_0041_0030__so, qual83).
arc(r_0041_0032__and, r_0041_0031__small, conj1).
arc(r_0041_0032__and, r_0041_0033__short, conj2).
arc(r_0041_0035__to_r_0041_0036__necessitate, r_0041_0037__a_r_0041_0039__shifting, arg1).
arc(r_0041_0035__to_r_0041_0036__necessitate, z_000_41_a_hardy_1883_101, arg0).
arc(r_0041_0037__a_r_0041_0039__shifting, r_0041_0038__constant, attrib109).
arc(r_0041_0037__a_r_0041_0039__shifting, r_0041_0041__the_r_0041_0043__notes, r_0041_0040__for).
arc(r_0041_0041__the_r_0041_0043__notes, r_0041_0042__high, attrib120).
arc(r_0041_0048__scrambled_r_0041_0049__back, r_0041_0001__The_r_0041_0002__fiddler, arg0).
arc(r_0041_0048__scrambled_r_0041_0049__back, r_0041_0037__a_r_0041_0039__shifting, r_0041_0045__from_nim131).
arc(r_0041_0048__scrambled_r_0041_0049__back, r_0041_0051__the_r_0041_0052__first_r_0041_0053__position, r_0041_0050__to_nim144).
arc(r_0041_0048__scrambled_r_0041_0049__back, r_0041_0055__sounds, r_0041_0054__with_nim154).
arc(r_0041_0055__sounds, r_0041_0059__purity, r_0041_0056__not_r_0041_0057__of).
arc(r_0041_0059__purity, r_0041_0058__unmixed, attrib163).
arc(r_0041_0059__purity, r_0041_0061__tone, r_0041_0060__of).

fof(formula,axiom,
    ? [R_0041_0001__THE_R_0041_0002__FIDDLER,R_0041_0007__THOSE_R_0041_0008__PARTS,R_0041_0010__ABOUT,R_0041_0014__AGE,R_0041_0011__TWELVE_R_0041_0012__YEARS,R_0041_0004__A_R_0041_0005__BOY,R_0041_0003__WAS,R_0041_0019__WONDERFUL,R_0041_0018__A_R_0041_0020__DEXTERITY,R_0041_0022__JIGS,R_0041_0024__REELS,R_0041_0023__AND,R_0041_0017__HAD,R_0041_0028__FINGERS,R_0041_0038__CONSTANT,R_0041_0042__HIGH,R_0041_0041__THE_R_0041_0043__NOTES,R_0041_0037__A_R_0041_0039__SHIFTING,Z_000_41_A_HARDY_1883_101,R_0041_0035__TO_R_0041_0036__NECESSITATE,R_0041_0030__SO,R_0041_0031__SMALL,R_0041_0033__SHORT,R_0041_0032__AND,R_0041_0029__WERE,R_0041_0026__THOUGH,R_0041_0051__THE_R_0041_0052__FIRST_R_0041_0053__POSITION,R_0041_0058__UNMIXED,R_0041_0061__TONE,R_0041_0059__PURITY,R_0041_0055__SOUNDS,R_0041_0048__SCRAMBLED_R_0041_0049__BACK] :
      ( r_0041_0001__The_r_0041_0002__fiddler(R_0041_0001__THE_R_0041_0002__FIDDLER)
      & r_0041_0007__those_r_0041_0008__parts(R_0041_0007__THOSE_R_0041_0008__PARTS)
      & r_0041_0010__about(R_0041_0010__ABOUT)
      & r_0041_0014__age(R_0041_0014__AGE)
      & r_0041_0019__wonderful(R_0041_0019__WONDERFUL)
      & r_0041_0022__jigs(R_0041_0022__JIGS)
      & r_0041_0024__reels(R_0041_0024__REELS)
      & r_0041_0031__small(R_0041_0031__SMALL)
      & r_0041_0033__short(R_0041_0033__SHORT)
      & r_0041_0038__constant(R_0041_0038__CONSTANT)
      & r_0041_0042__high(R_0041_0042__HIGH)
      & r_0041_0051__the_r_0041_0052__first_r_0041_0053__position(R_0041_0051__THE_R_0041_0052__FIRST_R_0041_0053__POSITION)
      & r_0041_0058__unmixed(R_0041_0058__UNMIXED)
      & r_0041_0061__tone(R_0041_0061__TONE)
      & z_000_41_a_hardy_1883_101(Z_000_41_A_HARDY_1883_101)
      & r_0041_0048__scrambled_r_0041_0049__back(R_0041_0048__SCRAMBLED_R_0041_0049__BACK)
      & has_r_0041_0054__with_nim154(R_0041_0048__SCRAMBLED_R_0041_0049__BACK,R_0041_0055__SOUNDS)
      & r_0041_0055__sounds(R_0041_0055__SOUNDS)
      & has_r_0041_0056__not_r_0041_0057__of(R_0041_0055__SOUNDS,R_0041_0059__PURITY)
      & r_0041_0059__purity(R_0041_0059__PURITY)
      & has_r_0041_0060__of(R_0041_0059__PURITY,R_0041_0061__TONE)
      & has_attrib163(R_0041_0059__PURITY,R_0041_0058__UNMIXED)
      & has_r_0041_0050__to_nim144(R_0041_0048__SCRAMBLED_R_0041_0049__BACK,R_0041_0051__THE_R_0041_0052__FIRST_R_0041_0053__POSITION)
      & has_r_0041_0045__from_nim131(R_0041_0048__SCRAMBLED_R_0041_0049__BACK,R_0041_0037__A_R_0041_0039__SHIFTING)
      & r_0041_0037__a_r_0041_0039__shifting(R_0041_0037__A_R_0041_0039__SHIFTING)
      & has_r_0041_0040__for(R_0041_0037__A_R_0041_0039__SHIFTING,R_0041_0041__THE_R_0041_0043__NOTES)
      & ~ has_attrib120(R_0041_0041__THE_R_0041_0043__NOTES,R_0041_0042__HIGH)
      & has_attrib109(R_0041_0037__A_R_0041_0039__SHIFTING,R_0041_0038__CONSTANT)
      & has_arg0(R_0041_0048__SCRAMBLED_R_0041_0049__BACK,R_0041_0001__THE_R_0041_0002__FIDDLER)
      & r_0041_0026__though(R_0041_0026__THOUGH)
      & has_conj1(R_0041_0026__THOUGH,R_0041_0029__WERE)
      & r_0041_0029__were(R_0041_0029__WERE)
      & has_prd(R_0041_0029__WERE,R_0041_0032__AND)
      & r_0041_0032__and(R_0041_0032__AND)
      & has_conj2(R_0041_0032__AND,R_0041_0033__SHORT)
      & has_conj1(R_0041_0032__AND,R_0041_0031__SMALL)
      & has_qual83(R_0041_0032__AND,R_0041_0030__SO)
      & r_0041_0030__so(R_0041_0030__SO)
      & has_r_0041_0034__as(R_0041_0030__SO,R_0041_0035__TO_R_0041_0036__NECESSITATE)
      & r_0041_0035__to_r_0041_0036__necessitate(R_0041_0035__TO_R_0041_0036__NECESSITATE)
      & has_arg0(R_0041_0035__TO_R_0041_0036__NECESSITATE,Z_000_41_A_HARDY_1883_101)
      & has_arg1(R_0041_0035__TO_R_0041_0036__NECESSITATE,R_0041_0037__A_R_0041_0039__SHIFTING)
      & has_arg0(R_0041_0029__WERE,R_0041_0028__FINGERS)
      & r_0041_0028__fingers(R_0041_0028__FINGERS)
      & has_gen(R_0041_0028__FINGERS,R_0041_0001__THE_R_0041_0002__FIDDLER)
      & has_conj2(R_0041_0026__THOUGH,R_0041_0017__HAD)
      & r_0041_0017__had(R_0041_0017__HAD)
      & has_r_0041_0021__in_nim57(R_0041_0017__HAD,R_0041_0023__AND)
      & r_0041_0023__and(R_0041_0023__AND)
      & has_conj2(R_0041_0023__AND,R_0041_0024__REELS)
      & has_conj1(R_0041_0023__AND,R_0041_0022__JIGS)
      & has_arg1(R_0041_0017__HAD,R_0041_0018__A_R_0041_0020__DEXTERITY)
      & r_0041_0018__a_r_0041_0020__dexterity(R_0041_0018__A_R_0041_0020__DEXTERITY)
      & has_attrib49(R_0041_0018__A_R_0041_0020__DEXTERITY,R_0041_0019__WONDERFUL)
      & has_arg0(R_0041_0017__HAD,R_0041_0004__A_R_0041_0005__BOY)
      & r_0041_0004__a_r_0041_0005__boy(R_0041_0004__A_R_0041_0005__BOY)
      & has_nim24(R_0041_0004__A_R_0041_0005__BOY,R_0041_0011__TWELVE_R_0041_0012__YEARS)
      & r_0041_0011__twelve_r_0041_0012__years(R_0041_0011__TWELVE_R_0041_0012__YEARS)
      & has_r_0041_0013__of(R_0041_0011__TWELVE_R_0041_0012__YEARS,R_0041_0014__AGE)
      & has_qual25(R_0041_0011__TWELVE_R_0041_0012__YEARS,R_0041_0010__ABOUT)
      & has_r_0041_0006__of(R_0041_0004__A_R_0041_0005__BOY,R_0041_0007__THOSE_R_0041_0008__PARTS)
      & r_0041_0003__was(R_0041_0003__WAS)
      & has_prd(R_0041_0003__WAS,R_0041_0004__A_R_0041_0005__BOY)
      & has_arg0(R_0041_0003__WAS,R_0041_0001__THE_R_0041_0002__FIDDLER) ) ).

( (IP-MAT (NP-SBJ;{FIDDLER} (D The;{the})
                            (N fiddler;{fiddler}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D a;{a})
                  (N boy;{boy})
                  (PP (P-ROLE of;{of})
                      (NP (D those;{those})
                          (NS parts;{part})))
                  (PUNC ,)
                  (NP-NIM (ADVP (ADV about;{about}))
                          (NUM twelve;{twelve})
                          (NS years;{year})
                          (PP (P-ROLE of;{of})
                              (NP (N age;{age}))))
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (HVD;_Tn_ had;{have})
                          (NP-OB1 (D a;{a})
                                  (ADJP (ADJ wonderful;{wonderful}))
                                  (N dexterity;{dexterity}))
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (NLYR (NLYR (NS jigs;{jig}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS reels;{reel}))))))
                          (PUNC ,)
                          (PP-SCON (P-CONN though;{though})
                                   (IP-ADV (NP-SBJ (NP-GEN;{FIDDLER} (PRO;_genm_ his;{his}))
                                                   (NS fingers;{finger}))
                                           (BED;_La_ were;{be})
                                           (ADJP-PRD (ADVP (ADV so;{so})
                                                           (PP *ICH*-213))
                                                     (AJLYR (AJLYR (ADJ small;{small}))
                                                            (CONJP (CONJ and;{and})
                                                                   (AJLYR (ADJ short;{short}))))
                                                     (PP-EPD-213 (P-ROLE as;{as})
                                                                 (IP-INF3 (TO to;{to})
                                                                          (VB;__ necessitate;{necessitate})
                                                                          (NP-OB1 (D a;{a})
                                                                                  (ADJP (ADJ constant;{constant}))
                                                                                  (N shifting;{shifting})
                                                                                  (PP (P-ROLE for;{for})
                                                                                      (NP (D the;{the})
                                                                                          (ADJP (ADJ high;{high}))
                                                                                          (NS notes;{note})))
                                                                                  (PUNC ,)
                                                                                  (IP-REL (PP-NIM (P-ROLE from;{from})
                                                                                                  (NP (RPRO which;{which})))
                                                                                          (NP-SBJ;{FIDDLER} (PRO he;{he}))
                                                                                          (VBD;__ scrambled;{scramble})
                                                                                          (RP back;{back})
                                                                                          (PP-NIM (P-ROLE to;{to})
                                                                                                  (NP (D the;{the})
                                                                                                      (NUM first;{first})
                                                                                                      (N position;{position})))
                                                                                          (PP-NIM (P-ROLE with;{with})
                                                                                                  (NP (NS sounds;{sound})
                                                                                                      (PP (NEG not;{not})
                                                                                                          (P-ROLE of;{of})
                                                                                                          (NP (ADJP (ADJ unmixed;{unmixed}))
                                                                                                              (N purity;{purity})
                                                                                                              (PP (P-ROLE of;{of})
                                                                                                                  (NP (N tone;{tone}))))))))))))))))
          (PUNC .))
  (ID 41_a_hardy_1883))