TSPC 40_a_hardy

40_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.

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

arc(r_0040_0003__was,r_0040_0001__The_r_0040_0002__fiddler,arg0).
arc(r_0040_0003__was,r_0040_0004__a_r_0040_0005__boy,prd).
arc(r_0040_0004__a_r_0040_0005__boy,r_0040_0007__those_r_0040_0008__parts,r_0040_0006__of).
arc(r_0040_0004__a_r_0040_0005__boy,r_0040_0011__twelve_r_0040_0012__years,nim).
arc(r_0040_0011__twelve_r_0040_0012__years,r_0040_0010__about,qual).
arc(r_0040_0011__twelve_r_0040_0012__years,r_0040_0014__age,r_0040_0013__of).
arc(r_0040_0017__had,r_0040_0004__a_r_0040_0005__boy,arg0).
arc(r_0040_0017__had,r_0040_0018__a_r_0040_0020__dexterity,arg1).
arc(r_0040_0017__had,r_0040_0023__and,r_0040_0021__in__nim).
arc(r_0040_0018__a_r_0040_0020__dexterity,r_0040_0019__wonderful,attrib).
arc(r_0040_0023__and,r_0040_0022__jigs,conj1).
arc(r_0040_0023__and,r_0040_0024__reels,conj2).
arc(r_0040_0026__though,r_0040_0017__had,scope).
arc(r_0040_0026__though,r_0040_0029__were,restriction).
arc(r_0040_0028__fingers,r_0040_0001__The_r_0040_0002__fiddler,gen).
arc(r_0040_0029__were,r_0040_0028__fingers,arg0).
arc(r_0040_0029__were,r_0040_0032__and,prd).
arc(r_0040_0030__so,r_0040_0036__necessitate,r_0040_0034__as).
arc(r_0040_0032__and,r_0040_0030__so,qual).
arc(r_0040_0032__and,r_0040_0031__small,conj1).
arc(r_0040_0032__and,r_0040_0033__short,conj2).
arc(r_0040_0036__necessitate,r_0040_0037__a_r_0040_0039__shifting,arg1).
arc(r_0040_0036__necessitate,z_0040_5015,arg0).
arc(r_0040_0037__a_r_0040_0039__shifting,r_0040_0038__constant,attrib).
arc(r_0040_0037__a_r_0040_0039__shifting,r_0040_0041__the_r_0040_0043__notes,r_0040_0040__for).
arc(r_0040_0041__the_r_0040_0043__notes,r_0040_0042__high,attrib).
arc(r_0040_0048__scrambled_r_0040_0049__back,r_0040_0001__The_r_0040_0002__fiddler,arg0).
arc(r_0040_0048__scrambled_r_0040_0049__back,r_0040_0037__a_r_0040_0039__shifting,r_0040_0045__from__nim).
arc(r_0040_0048__scrambled_r_0040_0049__back,r_0040_0051__the_r_0040_0052__first_r_0040_0053__position,r_0040_0050__to__nim).
arc(r_0040_0048__scrambled_r_0040_0049__back,r_0040_0055__sounds,r_0040_0054__with__nim).
arc(r_0040_0055__sounds,r_0040_0059__purity,r_0040_0056__not_r_0040_0057__of).
arc(r_0040_0059__purity,r_0040_0058__unmixed,attrib).
arc(r_0040_0059__purity,r_0040_0061__tone,r_0040_0060__of).

fof(formula,axiom,
    ? [R_0040_0001__THE_R_0040_0002__FIDDLER,R_0040_0007__THOSE_R_0040_0008__PARTS,R_0040_0010__ABOUT,R_0040_0014__AGE,R_0040_0011__TWELVE_R_0040_0012__YEARS,R_0040_0004__A_R_0040_0005__BOY,R_0040_0003__WAS,R_0040_0019__WONDERFUL,R_0040_0018__A_R_0040_0020__DEXTERITY,R_0040_0022__JIGS,R_0040_0024__REELS,R_0040_0023__AND,R_0040_0017__HAD,R_0040_0028__FINGERS,R_0040_0038__CONSTANT,R_0040_0042__HIGH,R_0040_0041__THE_R_0040_0043__NOTES,R_0040_0037__A_R_0040_0039__SHIFTING,Z_0040_5015,R_0040_0036__NECESSITATE,R_0040_0030__SO,R_0040_0031__SMALL,R_0040_0033__SHORT,R_0040_0032__AND,R_0040_0029__WERE,R_0040_0026__THOUGH,R_0040_0051__THE_R_0040_0052__FIRST_R_0040_0053__POSITION,R_0040_0058__UNMIXED,R_0040_0061__TONE,R_0040_0059__PURITY,R_0040_0055__SOUNDS,R_0040_0048__SCRAMBLED_R_0040_0049__BACK] :
      ( r_0040_0001__The_r_0040_0002__fiddler(R_0040_0001__THE_R_0040_0002__FIDDLER)
      & r_0040_0007__those_r_0040_0008__parts(R_0040_0007__THOSE_R_0040_0008__PARTS)
      & r_0040_0010__about(R_0040_0010__ABOUT)
      & r_0040_0014__age(R_0040_0014__AGE)
      & r_0040_0019__wonderful(R_0040_0019__WONDERFUL)
      & r_0040_0022__jigs(R_0040_0022__JIGS)
      & r_0040_0024__reels(R_0040_0024__REELS)
      & r_0040_0031__small(R_0040_0031__SMALL)
      & r_0040_0033__short(R_0040_0033__SHORT)
      & r_0040_0038__constant(R_0040_0038__CONSTANT)
      & r_0040_0042__high(R_0040_0042__HIGH)
      & r_0040_0051__the_r_0040_0052__first_r_0040_0053__position(R_0040_0051__THE_R_0040_0052__FIRST_R_0040_0053__POSITION)
      & r_0040_0058__unmixed(R_0040_0058__UNMIXED)
      & r_0040_0061__tone(R_0040_0061__TONE)
      & z_0040_5015(Z_0040_5015)
      & r_0040_0048__scrambled_r_0040_0049__back(R_0040_0048__SCRAMBLED_R_0040_0049__BACK)
      & has_r_0040_0054__with__nim(R_0040_0048__SCRAMBLED_R_0040_0049__BACK,R_0040_0055__SOUNDS)
      & r_0040_0055__sounds(R_0040_0055__SOUNDS)
      & has_r_0040_0056__not_r_0040_0057__of(R_0040_0055__SOUNDS,R_0040_0059__PURITY)
      & r_0040_0059__purity(R_0040_0059__PURITY)
      & has_r_0040_0060__of(R_0040_0059__PURITY,R_0040_0061__TONE)
      & has_attrib(R_0040_0059__PURITY,R_0040_0058__UNMIXED)
      & has_r_0040_0050__to__nim(R_0040_0048__SCRAMBLED_R_0040_0049__BACK,R_0040_0051__THE_R_0040_0052__FIRST_R_0040_0053__POSITION)
      & has_r_0040_0045__from__nim(R_0040_0048__SCRAMBLED_R_0040_0049__BACK,R_0040_0037__A_R_0040_0039__SHIFTING)
      & r_0040_0037__a_r_0040_0039__shifting(R_0040_0037__A_R_0040_0039__SHIFTING)
      & has_r_0040_0040__for(R_0040_0037__A_R_0040_0039__SHIFTING,R_0040_0041__THE_R_0040_0043__NOTES)
      & ~ has_attrib(R_0040_0041__THE_R_0040_0043__NOTES,R_0040_0042__HIGH)
      & has_attrib(R_0040_0037__A_R_0040_0039__SHIFTING,R_0040_0038__CONSTANT)
      & has_arg0(R_0040_0048__SCRAMBLED_R_0040_0049__BACK,R_0040_0001__THE_R_0040_0002__FIDDLER)
      & r_0040_0026__though(R_0040_0026__THOUGH)
      & has_conj1(R_0040_0026__THOUGH,R_0040_0029__WERE)
      & r_0040_0029__were(R_0040_0029__WERE)
      & has_prd(R_0040_0029__WERE,R_0040_0032__AND)
      & r_0040_0032__and(R_0040_0032__AND)
      & has_conj2(R_0040_0032__AND,R_0040_0033__SHORT)
      & has_conj1(R_0040_0032__AND,R_0040_0031__SMALL)
      & has_qual(R_0040_0032__AND,R_0040_0030__SO)
      & r_0040_0030__so(R_0040_0030__SO)
      & has_r_0040_0034__as(R_0040_0030__SO,R_0040_0036__NECESSITATE)
      & r_0040_0036__necessitate(R_0040_0036__NECESSITATE)
      & has_arg0(R_0040_0036__NECESSITATE,Z_0040_5015)
      & has_arg1(R_0040_0036__NECESSITATE,R_0040_0037__A_R_0040_0039__SHIFTING)
      & has_arg0(R_0040_0029__WERE,R_0040_0028__FINGERS)
      & r_0040_0028__fingers(R_0040_0028__FINGERS)
      & has_gen(R_0040_0028__FINGERS,R_0040_0001__THE_R_0040_0002__FIDDLER)
      & has_conj2(R_0040_0026__THOUGH,R_0040_0017__HAD)
      & r_0040_0017__had(R_0040_0017__HAD)
      & has_r_0040_0021__in__nim(R_0040_0017__HAD,R_0040_0023__AND)
      & r_0040_0023__and(R_0040_0023__AND)
      & has_conj2(R_0040_0023__AND,R_0040_0024__REELS)
      & has_conj1(R_0040_0023__AND,R_0040_0022__JIGS)
      & has_arg1(R_0040_0017__HAD,R_0040_0018__A_R_0040_0020__DEXTERITY)
      & r_0040_0018__a_r_0040_0020__dexterity(R_0040_0018__A_R_0040_0020__DEXTERITY)
      & has_attrib(R_0040_0018__A_R_0040_0020__DEXTERITY,R_0040_0019__WONDERFUL)
      & has_arg0(R_0040_0017__HAD,R_0040_0004__A_R_0040_0005__BOY)
      & r_0040_0004__a_r_0040_0005__boy(R_0040_0004__A_R_0040_0005__BOY)
      & has_nim(R_0040_0004__A_R_0040_0005__BOY,R_0040_0011__TWELVE_R_0040_0012__YEARS)
      & r_0040_0011__twelve_r_0040_0012__years(R_0040_0011__TWELVE_R_0040_0012__YEARS)
      & has_r_0040_0013__of(R_0040_0011__TWELVE_R_0040_0012__YEARS,R_0040_0014__AGE)
      & has_qual(R_0040_0011__TWELVE_R_0040_0012__YEARS,R_0040_0010__ABOUT)
      & has_r_0040_0006__of(R_0040_0004__A_R_0040_0005__BOY,R_0040_0007__THOSE_R_0040_0008__PARTS)
      & r_0040_0003__was(R_0040_0003__WAS)
      & has_prd(R_0040_0003__WAS,R_0040_0004__A_R_0040_0005__BOY)
      & has_arg0(R_0040_0003__WAS,R_0040_0001__THE_R_0040_0002__FIDDLER) ) ).