TSPC 2_a_yeats

2_a_yeats_1899
Had I the heavens' embroidered cloths, Enwrought with golden and silver light, The blue and the dim and the dark cloths Of night and light and half-light, I would spread the cloths under your feet:

( (IP-MAT (PP-SCON-CND (IP-ADV (HVD;_Tn_ Had;{have})
                               (NP-SBJ (PRO I;{I}))
                               (NP-OB1;{CLOTHS} (NP-GEN (D the;{the})
                                                        (NS heavens;{heaven})
                                                        (GENM <apos>))
                                                (IP-PPL (NP-LGS *)
                                                        (VVN;_Tn_ embroidered;{embroider}))
                                                (NS cloths;{cloth})
                                                (PUNC ,)
                                                (ADJP (ADJ Enwrought;{wrought})
                                                      (PP (P-ROLE with;{with})
                                                          (NP (ADJP (AJLYR (AJLYR (ADJ golden;{golden}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (AJLYR (ADJ silver;{silver})))))
                                                              (N light;{light}))))
                                                (PUNC ,)
                                                (PRN (NP (NLYR (NLYR (NLYR (D The;{the})
                                                                           (ADJP (ADJ blue;{blue})))
                                                                     (CONJP (CONJ and;{and})
                                                                            (NLYR (NLYR (NLYR (D the;{the})
                                                                                              (ADJP (ADJ dim;{dim})))
                                                                                        (CONJP (CONJ and;{and})
                                                                                               (NLYR (D the;{the})
                                                                                                     (ADJP (ADJ dark;{dark})))))))))
                                                         (NS cloths;{cloth})
                                                         (PP (P-ROLE Of;{of})
                                                             (NP (NLYR (NLYR (NLYR (NLYR (N night;{night}))
                                                                                   (CONJP (CONJ and;{and})
                                                                                          (NLYR (N light;{light})))))
                                                                       (CONJP (CONJ and;{and})
                                                                              (NLYR (N half_<hyphen>_light;{half_light})))))))))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Tn.pr_ spread;{spread[under]})
                      (NP-OB1;{CLOTHS} (D the;{the})
                                       (NS cloths;{cloth}))
                      (PP-CLR (P-ROLE under;{under})
                              (NP (NP-GEN (PRO;_genm_ your;{your}))
                                  (NS feet;{foot}))))
          (PUNC :))
  (ID 2_a_yeats_1899))

arc(r_0002_0001__Had,r_0002_0002__I,arg0).
arc(r_0002_0001__Had,r_0002_0007__cloths,arg1).
arc(r_0002_0006__embroidered,r_0002_0007__cloths,inv_arg1).
arc(r_0002_0006__embroidered,z_0002_5005___star_,arg0).
arc(r_0002_0007__cloths,r_0002_0003__the_r_0002_0004__heavens,gen).
arc(r_0002_0007__cloths,r_0002_0009__Enwrought,attrib).
arc(r_0002_0009__Enwrought,r_0002_0014__light,r_0002_0010__with).
arc(r_0002_0012__and,r_0002_0011__golden,conj1).
arc(r_0002_0012__and,r_0002_0013__silver,conj2).
arc(r_0002_0014__light,r_0002_0012__and,attrib).
arc(r_0002_0016__The,r_0002_0017__blue,attrib).
arc(r_0002_0018__and,r_0002_0016__The,conj1).
arc(r_0002_0018__and,r_0002_0021__and,conj2).
arc(r_0002_0019__the,r_0002_0020__dim,attrib).
arc(r_0002_0021__and,r_0002_0019__the,conj1).
arc(r_0002_0021__and,r_0002_0022__the,conj2).
arc(r_0002_0022__the,r_0002_0023__dark,attrib).
arc(r_0002_0024__cloths,r_0002_0018__and,nim).
arc(r_0002_0024__cloths,r_0002_0029__and,r_0002_0025__Of).
arc(r_0002_0027__and,r_0002_0026__night,conj1).
arc(r_0002_0027__and,r_0002_0028__light,conj2).
arc(r_0002_0029__and,r_0002_0027__and,conj1).
arc(r_0002_0029__and,r_0002_0030__half__hyphen__light,conj2).
arc(r_0002_0033__would,r_0002_0034__spread_r_0002_0037__under,scope).
arc(r_0002_0034__spread_r_0002_0037__under,r_0002_0002__I,arg0).
arc(r_0002_0034__spread_r_0002_0037__under,r_0002_0007__cloths,arg1).
arc(r_0002_0034__spread_r_0002_0037__under,r_0002_0039__feet,arg2).
arc(r_0002_0039__feet,r_0002_0038__your,gen).
arc(z_0002_5001__cnd,r_0002_0001__Had,restriction).
arc(z_0002_5001__cnd,r_0002_0033__would,scope).
arc(z_0002_5026,r_0002_0007__cloths,arg0).
arc(z_0002_5026,r_0002_0024__cloths,prd).

fof(formula,axiom,
    ? [R_0002_0002__I,Z_0002_5005___STAR_,R_0002_0006__EMBROIDERED,R_0002_0003__THE_R_0002_0004__HEAVENS,R_0002_0011__GOLDEN,R_0002_0013__SILVER,R_0002_0012__AND,R_0002_0014__LIGHT,R_0002_0009__ENWROUGHT,R_0002_0007__CLOTHS,R_0002_0001__HAD,R_0002_0038__YOUR,R_0002_0039__FEET,R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER,Z_0002_5001__CND,R_0002_0017__BLUE,R_0002_0016__THE,R_0002_0020__DIM,R_0002_0019__THE,R_0002_0023__DARK,R_0002_0022__THE,R_0002_0021__AND,R_0002_0018__AND,R_0002_0026__NIGHT,R_0002_0028__LIGHT,R_0002_0027__AND,R_0002_0030__HALF__HYPHEN__LIGHT,R_0002_0029__AND,R_0002_0024__CLOTHS,Z_0002_5026] :
      ( r_0002_0002__I(R_0002_0002__I)
      & r_0002_0003__the_r_0002_0004__heavens(R_0002_0003__THE_R_0002_0004__HEAVENS)
      & r_0002_0011__golden(R_0002_0011__GOLDEN)
      & r_0002_0013__silver(R_0002_0013__SILVER)
      & r_0002_0017__blue(R_0002_0017__BLUE)
      & r_0002_0020__dim(R_0002_0020__DIM)
      & r_0002_0023__dark(R_0002_0023__DARK)
      & r_0002_0026__night(R_0002_0026__NIGHT)
      & r_0002_0028__light(R_0002_0028__LIGHT)
      & r_0002_0030__half__hyphen__light(R_0002_0030__HALF__HYPHEN__LIGHT)
      & r_0002_0038__your(R_0002_0038__YOUR)
      & z_0002_5005___star_(Z_0002_5005___STAR_)
      & z_0002_5026(Z_0002_5026)
      & has_prd(Z_0002_5026,R_0002_0024__CLOTHS)
      & r_0002_0024__cloths(R_0002_0024__CLOTHS)
      & has_r_0002_0025__Of(R_0002_0024__CLOTHS,R_0002_0029__AND)
      & r_0002_0029__and(R_0002_0029__AND)
      & has_conj2(R_0002_0029__AND,R_0002_0030__HALF__HYPHEN__LIGHT)
      & has_conj1(R_0002_0029__AND,R_0002_0027__AND)
      & r_0002_0027__and(R_0002_0027__AND)
      & has_conj2(R_0002_0027__AND,R_0002_0028__LIGHT)
      & has_conj1(R_0002_0027__AND,R_0002_0026__NIGHT)
      & has_nim(R_0002_0024__CLOTHS,R_0002_0018__AND)
      & r_0002_0018__and(R_0002_0018__AND)
      & has_conj2(R_0002_0018__AND,R_0002_0021__AND)
      & r_0002_0021__and(R_0002_0021__AND)
      & has_conj2(R_0002_0021__AND,R_0002_0022__THE)
      & r_0002_0022__the(R_0002_0022__THE)
      & has_attrib(R_0002_0022__THE,R_0002_0023__DARK)
      & has_conj1(R_0002_0021__AND,R_0002_0019__THE)
      & r_0002_0019__the(R_0002_0019__THE)
      & has_attrib(R_0002_0019__THE,R_0002_0020__DIM)
      & has_conj1(R_0002_0018__AND,R_0002_0016__THE)
      & r_0002_0016__The(R_0002_0016__THE)
      & has_attrib(R_0002_0016__THE,R_0002_0017__BLUE)
      & has_arg0(Z_0002_5026,R_0002_0007__CLOTHS)
      & r_0002_0007__cloths(R_0002_0007__CLOTHS)
      & has_attrib(R_0002_0007__CLOTHS,R_0002_0009__ENWROUGHT)
      & r_0002_0009__Enwrought(R_0002_0009__ENWROUGHT)
      & has_r_0002_0010__with(R_0002_0009__ENWROUGHT,R_0002_0014__LIGHT)
      & r_0002_0014__light(R_0002_0014__LIGHT)
      & has_attrib(R_0002_0014__LIGHT,R_0002_0012__AND)
      & r_0002_0012__and(R_0002_0012__AND)
      & has_conj2(R_0002_0012__AND,R_0002_0013__SILVER)
      & has_conj1(R_0002_0012__AND,R_0002_0011__GOLDEN)
      & has_gen(R_0002_0007__CLOTHS,R_0002_0003__THE_R_0002_0004__HEAVENS)
      & has_inv_arg1(R_0002_0007__CLOTHS,R_0002_0006__EMBROIDERED)
      & r_0002_0006__embroidered(R_0002_0006__EMBROIDERED)
      & has_arg0(R_0002_0006__EMBROIDERED,Z_0002_5005___STAR_)
      & z_0002_5001__cnd(Z_0002_5001__CND)
      & has_conj2(Z_0002_5001__CND,R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER)
      & r_0002_0033__would_r_0002_0034__spread_r_0002_0037__under(R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER)
      & has_arg2(R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER,R_0002_0039__FEET)
      & r_0002_0039__feet(R_0002_0039__FEET)
      & has_gen(R_0002_0039__FEET,R_0002_0038__YOUR)
      & has_arg1(R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER,R_0002_0007__CLOTHS)
      & has_arg0(R_0002_0033__WOULD_R_0002_0034__SPREAD_R_0002_0037__UNDER,R_0002_0002__I)
      & has_conj1(Z_0002_5001__CND,R_0002_0001__HAD)
      & r_0002_0001__Had(R_0002_0001__HAD)
      & has_arg1(R_0002_0001__HAD,R_0002_0007__CLOTHS)
      & has_arg0(R_0002_0001__HAD,R_0002_0002__I) ) ).