TSPC 40_a_wilde_2

40_a_wilde_2_1888
It was really only a little linnet singing outside his window, but it was so long since he had heard a bird sing in his garden that it seemed to him to be the most beautiful music in the world.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{MUSIC} (PRO It;{it}))
                      (BED;_Ln_ was;{be})
                      (ADVP-NIM (ADV really;{really}))
                      (ADVP-NIM (ADV only;{only}))
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ little;{little}))
                              (N linnet;{linnet})
                              (IP-PPL (VAG;__ singing;{sing})
                                      (PP-NIM (P-ROLE outside;{outside})
                                              (NP (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                                  (N window;{window}))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{MUSIC} (PRO it;{it}))
                             (BED;_La_ was;{be})
                             (ADJP-PRD (ADVP (ADV so;{so})
                                             (CP-THT *ICH*-129))
                                       (ADJ long;{long})
                                       (PP (P-CONN since;{since})
                                           (IP-ADV (NP-SBJ;{GIANT} (PRO he;{he}))
                                                   (HVD;_cat_Ve_ had;{have})
                                                   (IP-PPL-CAT (VVN;_Tni_ heard;{hear})
                                                               (NP-DOB1 (D a;{a})
                                                                        (N bird;{bird}))
                                                               (IP-INF-OB1 (VB;__ sing;{sing})
                                                                           (PP-NIM (P-ROLE in;{in})
                                                                                   (NP (NP-GEN;{GIANT} (PRO;_genm_ his;{his}))
                                                                                       (N garden;{garden})))))))
                                       (CP-THT-EPD-129 (IP-SUB (C that;{that})
                                                               (NP-SBJ;{MUSIC} (PRO it;{it}))
                                                               (VBD;_cat_Vt_ seemed;{seem})
                                                               (PP-NIM (P-ROLE to;{to})
                                                                       (NP;{GIANT} (PRO him;{he})))
                                                               (IP-INF-CAT (TO to;{to})
                                                                           (BE;_Ln_ be;{be})
                                                                           (NP-PRD (D the;{the})
                                                                                   (ADJP (ADVP (ADVS most;{most}))
                                                                                         (ADJ beautiful;{beautiful}))
                                                                                   (N music;{music})
                                                                                   (PP (P-ROLE in;{in})
                                                                                       (NP (D the;{the})
                                                                                           (N world;{world})))))))))))
          (PUNC .))
  (ID 40_a_wilde_2_1888))

arc(r_0040_0002__was,r_0040_0001__It,arg0).
arc(r_0040_0002__was,r_0040_0003__really,nim).
arc(r_0040_0002__was,r_0040_0004__only,nim).
arc(r_0040_0002__was,r_0040_0005__a_r_0040_0007__linnet,prd).
arc(r_0040_0005__a_r_0040_0007__linnet,r_0040_0006__little,attrib).
arc(r_0040_0008__singing,r_0040_0005__a_r_0040_0007__linnet,inv_arg0).
arc(r_0040_0008__singing,r_0040_0011__window,r_0040_0009__outside__nim).
arc(r_0040_0011__window,r_0040_0010__his,gen).
arc(r_0040_0013__but,r_0040_0002__was,conj1).
arc(r_0040_0013__but,r_0040_0015__was,conj2).
arc(r_0040_0015__was,r_0040_0001__It,arg0).
arc(r_0040_0015__was,r_0040_0017__long,prd).
arc(r_0040_0016__so,r_0040_0030__seemed,emb).
arc(r_0040_0017__long,r_0040_0016__so,qual).
arc(r_0040_0017__long,r_0040_0020__had,r_0040_0018__since).
arc(r_0040_0020__had,r_0040_0021__heard,scope).
arc(r_0040_0021__heard,r_0040_0010__his,arg0).
arc(r_0040_0021__heard,r_0040_0024__sing,arg1).
arc(r_0040_0024__sing,r_0040_0022__a_r_0040_0023__bird,arg0).
arc(r_0040_0024__sing,r_0040_0027__garden,r_0040_0025__in__nim).
arc(r_0040_0027__garden,r_0040_0010__his,gen).
arc(r_0040_0030__seemed,r_0040_0010__his,r_0040_0031__to__nim).
arc(r_0040_0030__seemed,r_0040_0034__be,scope).
arc(r_0040_0034__be,r_0040_0001__It,arg0).
arc(r_0040_0034__be,r_0040_0035__the_r_0040_0038__music,prd).
arc(r_0040_0035__the_r_0040_0038__music,r_0040_0037__beautiful,attrib).
arc(r_0040_0035__the_r_0040_0038__music,r_0040_0040__the_r_0040_0041__world,r_0040_0039__in).
arc(r_0040_0037__beautiful,r_0040_0036__most,qual).

fof(formula,axiom,
    ? [R_0040_0001__IT,R_0040_0003__REALLY,R_0040_0004__ONLY,R_0040_0006__LITTLE,R_0040_0010__HIS,R_0040_0011__WINDOW,R_0040_0008__SINGING,R_0040_0005__A_R_0040_0007__LINNET,R_0040_0002__WAS,R_0040_0036__MOST,R_0040_0037__BEAUTIFUL,R_0040_0040__THE_R_0040_0041__WORLD,R_0040_0035__THE_R_0040_0038__MUSIC,R_0040_0030__SEEMED_R_0040_0034__BE,R_0040_0016__SO,R_0040_0022__A_R_0040_0023__BIRD,R_0040_0027__GARDEN,R_0040_0024__SING,R_0040_0020__HAD_R_0040_0021__HEARD,R_0040_0017__LONG,R_0040_0015__WAS,R_0040_0013__BUT] :
      ( r_0040_0001__It(R_0040_0001__IT)
      & r_0040_0003__really(R_0040_0003__REALLY)
      & r_0040_0004__only(R_0040_0004__ONLY)
      & r_0040_0006__little(R_0040_0006__LITTLE)
      & r_0040_0010__his(R_0040_0010__HIS)
      & r_0040_0022__a_r_0040_0023__bird(R_0040_0022__A_R_0040_0023__BIRD)
      & r_0040_0036__most(R_0040_0036__MOST)
      & r_0040_0040__the_r_0040_0041__world(R_0040_0040__THE_R_0040_0041__WORLD)
      & r_0040_0013__but(R_0040_0013__BUT)
      & has_conj2(R_0040_0013__BUT,R_0040_0015__WAS)
      & r_0040_0015__was(R_0040_0015__WAS)
      & has_prd(R_0040_0015__WAS,R_0040_0017__LONG)
      & r_0040_0017__long(R_0040_0017__LONG)
      & has_r_0040_0018__since(R_0040_0017__LONG,R_0040_0020__HAD_R_0040_0021__HEARD)
      & r_0040_0020__had_r_0040_0021__heard(R_0040_0020__HAD_R_0040_0021__HEARD)
      & has_arg1(R_0040_0020__HAD_R_0040_0021__HEARD,R_0040_0024__SING)
      & r_0040_0024__sing(R_0040_0024__SING)
      & has_r_0040_0025__in__nim(R_0040_0024__SING,R_0040_0027__GARDEN)
      & r_0040_0027__garden(R_0040_0027__GARDEN)
      & has_gen(R_0040_0027__GARDEN,R_0040_0010__HIS)
      & has_arg0(R_0040_0024__SING,R_0040_0022__A_R_0040_0023__BIRD)
      & has_arg0(R_0040_0020__HAD_R_0040_0021__HEARD,R_0040_0010__HIS)
      & has_qual(R_0040_0017__LONG,R_0040_0016__SO)
      & r_0040_0016__so(R_0040_0016__SO)
      & has_emb(R_0040_0016__SO,R_0040_0030__SEEMED_R_0040_0034__BE)
      & r_0040_0030__seemed_r_0040_0034__be(R_0040_0030__SEEMED_R_0040_0034__BE)
      & has_prd(R_0040_0030__SEEMED_R_0040_0034__BE,R_0040_0035__THE_R_0040_0038__MUSIC)
      & r_0040_0035__the_r_0040_0038__music(R_0040_0035__THE_R_0040_0038__MUSIC)
      & has_r_0040_0039__in(R_0040_0035__THE_R_0040_0038__MUSIC,R_0040_0040__THE_R_0040_0041__WORLD)
      & has_attrib(R_0040_0035__THE_R_0040_0038__MUSIC,R_0040_0037__BEAUTIFUL)
      & r_0040_0037__beautiful(R_0040_0037__BEAUTIFUL)
      & has_qual(R_0040_0037__BEAUTIFUL,R_0040_0036__MOST)
      & has_arg0(R_0040_0030__SEEMED_R_0040_0034__BE,R_0040_0001__IT)
      & has_r_0040_0031__to__nim(R_0040_0030__SEEMED_R_0040_0034__BE,R_0040_0010__HIS)
      & has_arg0(R_0040_0015__WAS,R_0040_0001__IT)
      & has_conj1(R_0040_0013__BUT,R_0040_0002__WAS)
      & r_0040_0002__was(R_0040_0002__WAS)
      & has_prd(R_0040_0002__WAS,R_0040_0005__A_R_0040_0007__LINNET)
      & r_0040_0005__a_r_0040_0007__linnet(R_0040_0005__A_R_0040_0007__LINNET)
      & has_inv_arg0(R_0040_0005__A_R_0040_0007__LINNET,R_0040_0008__SINGING)
      & r_0040_0008__singing(R_0040_0008__SINGING)
      & has_r_0040_0009__outside__nim(R_0040_0008__SINGING,R_0040_0011__WINDOW)
      & r_0040_0011__window(R_0040_0011__WINDOW)
      & has_gen(R_0040_0011__WINDOW,R_0040_0010__HIS)
      & has_attrib(R_0040_0005__A_R_0040_0007__LINNET,R_0040_0006__LITTLE)
      & has_nim(R_0040_0002__WAS,R_0040_0004__ONLY)
      & has_nim(R_0040_0002__WAS,R_0040_0003__REALLY)
      & has_arg0(R_0040_0002__WAS,R_0040_0001__IT) ) ).