TSPC 64_a_wilde_1

64_a_wilde_1_1888
And now that I am dead they have set me up here so high that I can see all the ugliness and all the misery of my city, and though my heart is made of lead yet I can not choose but weep.”

arc(r_0064_0001__And_r_0064_0008__have, r_0064_0002__now, nim6).
arc(r_0064_0001__And_r_0064_0008__have, r_0064_0009__set_r_0064_0011__up, scope).
arc(r_0064_0002__now, r_0064_0003__that_r_0064_0005__am, emb10).
arc(r_0064_0003__that_r_0064_0005__am, r_0064_0004__I, arg0).
arc(r_0064_0003__that_r_0064_0005__am, r_0064_0006__dead, prd).
arc(r_0064_0009__set_r_0064_0011__up, r_0064_0007__they, arg0).
arc(r_0064_0009__set_r_0064_0011__up, r_0064_0010__me, arg1).
arc(r_0064_0009__set_r_0064_0011__up, r_0064_0012__here, nim34).
arc(r_0064_0009__set_r_0064_0011__up, r_0064_0014__high, prd).
arc(r_0064_0013__so, r_0064_0015__that_r_0064_0017__can, emb46).
arc(r_0064_0014__high, r_0064_0013__so, qual38).
arc(r_0064_0015__that_r_0064_0017__can, r_0064_0018__see, scope).
arc(r_0064_0018__see, r_0064_0010__me, arg0).
arc(r_0064_0018__see, r_0064_0022__and, arg1).
arc(r_0064_0019__all_quant, r_0064_0020__the_r_0064_0021__ugliness, restriction).
arc(r_0064_0019__all_quant, r_0064_0023__all_quant, scope).
arc(r_0064_0022__and, r_0064_0020__the_r_0064_0021__ugliness, conj1).
arc(r_0064_0022__and, r_0064_0024__the_r_0064_0025__misery, conj2).
arc(r_0064_0022__and, r_0064_0028__city, r_0064_0026__of).
arc(r_0064_0023__all_quant, r_0064_0022__and, scope).
arc(r_0064_0023__all_quant, r_0064_0024__the_r_0064_0025__misery, restriction).
arc(r_0064_0028__city, r_0064_0010__me, gen).
arc(r_0064_0030__and, r_0064_0001__And_r_0064_0008__have, conj1).
arc(r_0064_0030__and, r_0064_0031__though, conj2).
arc(r_0064_0031__though, r_0064_0034__is, restriction).
arc(r_0064_0031__though, r_0064_0043__but, scope).
arc(r_0064_0033__heart, r_0064_0032__my, gen).
arc(r_0064_0034__is, r_0064_0035__made, scope).
arc(r_0064_0035__made, r_0064_0033__heart, arg1).
arc(r_0064_0035__made, r_0064_0037__lead, r_0064_0036__of_clr111).
arc(r_0064_0035__made, z_000_64_a_wilde_1_1888_104, arg0).
arc(r_0064_0040__can, r_0064_0038__yet, nim114).
arc(r_0064_0040__can, r_0064_0042__choose, scope).
arc(r_0064_0041__not, r_0064_0040__can, keep_scope).
arc(r_0064_0042__choose, r_0064_0039__I, arg0).
arc(r_0064_0043__but, r_0064_0041__not, conj1).
arc(r_0064_0043__but, r_0064_0044__weep, conj2).
arc(r_0064_0044__weep, r_0064_0038__yet, nim114).
arc(r_0064_0044__weep, r_0064_0039__I, arg0).

fof(formula,axiom,
    ! [R_0064_0020__THE_R_0064_0021__UGLINESS,R_0064_0004__I,R_0064_0006__DEAD,R_0064_0003__THAT_R_0064_0005__AM,R_0064_0002__NOW,R_0064_0007__THEY,R_0064_0010__ME,R_0064_0012__HERE,R_0064_0024__THE_R_0064_0025__MISERY,R_0064_0028__CITY,R_0064_0022__AND,R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE,R_0064_0013__SO,R_0064_0014__HIGH,R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0032__MY,R_0064_0033__HEART,R_0064_0037__LEAD,Z_000_64_A_WILDE_1_1888_104,R_0064_0034__IS_R_0064_0035__MADE,R_0064_0038__YET,R_0064_0039__I,R_0064_0044__WEEP,R_0064_0043__BUT,R_0064_0031__THOUGH,R_0064_0030__AND] :
      ( ( r_0064_0004__I(R_0064_0004__I)
        & r_0064_0006__dead(R_0064_0006__DEAD)
        & r_0064_0007__they(R_0064_0007__THEY)
        & r_0064_0010__me(R_0064_0010__ME)
        & r_0064_0012__here(R_0064_0012__HERE)
        & r_0064_0020__the_r_0064_0021__ugliness(R_0064_0020__THE_R_0064_0021__UGLINESS)
        & r_0064_0024__the_r_0064_0025__misery(R_0064_0024__THE_R_0064_0025__MISERY)
        & r_0064_0032__my(R_0064_0032__MY)
        & r_0064_0037__lead(R_0064_0037__LEAD)
        & r_0064_0038__yet(R_0064_0038__YET)
        & r_0064_0039__I(R_0064_0039__I)
        & z_000_64_a_wilde_1_1888_104(Z_000_64_A_WILDE_1_1888_104)
        & r_0064_0030__and(R_0064_0030__AND)
        & has_conj2(R_0064_0030__AND,R_0064_0031__THOUGH)
        & r_0064_0031__though(R_0064_0031__THOUGH)
        & has_conj2(R_0064_0031__THOUGH,R_0064_0043__BUT)
        & r_0064_0043__but(R_0064_0043__BUT)
        & has_conj2(R_0064_0043__BUT,R_0064_0044__WEEP)
        & r_0064_0044__weep(R_0064_0044__WEEP)
        & has_arg0(R_0064_0044__WEEP,R_0064_0039__I)
        & has_nim114(R_0064_0044__WEEP,R_0064_0038__YET)
        & has_conj1(R_0064_0043__BUT,R_0064_0041__NOT)
        & ~ ? [R_0064_0040__CAN_R_0064_0042__CHOOSE] :
              ( r_0064_0040__can_r_0064_0042__choose(R_0064_0040__CAN_R_0064_0042__CHOOSE)
              & has_arg0(R_0064_0040__CAN_R_0064_0042__CHOOSE,R_0064_0039__I)
              & has_nim114(R_0064_0040__CAN_R_0064_0042__CHOOSE,R_0064_0038__YET) )
        & has_conj1(R_0064_0031__THOUGH,R_0064_0034__IS_R_0064_0035__MADE)
        & r_0064_0034__is_r_0064_0035__made(R_0064_0034__IS_R_0064_0035__MADE)
        & has_arg0(R_0064_0034__IS_R_0064_0035__MADE,Z_000_64_A_WILDE_1_1888_104)
        & has_r_0064_0036__of_clr111(R_0064_0034__IS_R_0064_0035__MADE,R_0064_0037__LEAD)
        & has_arg1(R_0064_0034__IS_R_0064_0035__MADE,R_0064_0033__HEART)
        & r_0064_0033__heart(R_0064_0033__HEART)
        & has_gen(R_0064_0033__HEART,R_0064_0032__MY)
        & has_conj1(R_0064_0030__AND,R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP)
        & r_0064_0001__And_r_0064_0008__have_r_0064_0009__set_r_0064_0011__up(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP)
        & has_prd(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0014__HIGH)
        & r_0064_0014__high(R_0064_0014__HIGH)
        & has_qual38(R_0064_0014__HIGH,R_0064_0013__SO)
        & r_0064_0013__so(R_0064_0013__SO)
        & has_emb46(R_0064_0013__SO,R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE)
        & r_0064_0015__that_r_0064_0017__can_r_0064_0018__see(R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE)
        & has_arg1(R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE,R_0064_0022__AND)
        & r_0064_0022__and(R_0064_0022__AND)
        & has_r_0064_0026__of(R_0064_0022__AND,R_0064_0028__CITY)
        & r_0064_0028__city(R_0064_0028__CITY)
        & has_gen(R_0064_0028__CITY,R_0064_0010__ME)
        & has_conj2(R_0064_0022__AND,R_0064_0024__THE_R_0064_0025__MISERY)
        & has_conj1(R_0064_0022__AND,R_0064_0020__THE_R_0064_0021__UGLINESS)
        & has_arg0(R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE,R_0064_0010__ME)
        & has_nim34(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0012__HERE)
        & has_arg1(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0010__ME)
        & has_arg0(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0007__THEY)
        & has_nim6(R_0064_0001__AND_R_0064_0008__HAVE_R_0064_0009__SET_R_0064_0011__UP,R_0064_0002__NOW)
        & r_0064_0002__now(R_0064_0002__NOW)
        & has_emb10(R_0064_0002__NOW,R_0064_0003__THAT_R_0064_0005__AM)
        & r_0064_0003__that_r_0064_0005__am(R_0064_0003__THAT_R_0064_0005__AM)
        & has_prd(R_0064_0003__THAT_R_0064_0005__AM,R_0064_0006__DEAD)
        & has_arg0(R_0064_0003__THAT_R_0064_0005__AM,R_0064_0004__I) )
     => ( r_0064_0024__the_r_0064_0025__misery(R_0064_0024__THE_R_0064_0025__MISERY)
       => r_0064_0015__that_r_0064_0017__can_r_0064_0018__see(R_0064_0015__THAT_R_0064_0017__CAN_R_0064_0018__SEE) ) ) ).

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (ADVP-NIM (ADV now;{now})
                                (CP-THT (IP-SUB (C that;{that})
                                                (NP-SBJ;{PRINCE} (PRO I;{I}))
                                                (BEP;_La_ am;{be})
                                                (ADJP-PRD (ADJ dead;{dead})))))
                      (NP-SBJ;{PERSONS} (PRO they;{they}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (VVN;_phr_Vn<=>p_ set;{set[up]})
                                  (NP-OB1;{PRINCE} (PRO me;{I}))
                                  (RP up;{up})
                                  (ADVP-NIM (ADV here;{here}))
                                  (ADJP-PRD (ADVP (ADV so;{so})
                                                  (CP-THT *ICH*-169))
                                            (ADJ high;{high})
                                            (CP-THT-EPD-169 (IP-SUB (C that;{that})
                                                                    (NP-SBJ;{PRINCE} (PRO I;{I}))
                                                                    (MD;_cat_Vi_ can;{can})
                                                                    (IP-INF-CAT (VB;_Tn_ see;{see})
                                                                                (NP-OB1 (NLYR (NLYR (Q;_nphd_ all;{all})
                                                                                                    (D the;{the})
                                                                                                    (N ugliness;{ugliness}))
                                                                                              (CONJP (CONJ and;{and})
                                                                                                     (NLYR (Q;_nphd_ all;{all})
                                                                                                           (D the;{the})
                                                                                                           (N misery;{misery}))))
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (NP-GEN;{PRINCE} (PRO;_genm_ my;{my}))
                                                                                                (N city;{city}))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN though;{though})
                                      (IP-ADV (NP-SBJ (NP-GEN;{PRINCE} (PRO;_genm_ my;{my}))
                                                      (N heart;{heart}))
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tn.pr_ made;{make[of]})
                                                          (PP-CLR (P-ROLE of;{of})
                                                                  (NP (N lead;{lead}))))))
                             (ADVP-NIM (ADV yet;{yet}))
                             (NP-SBJ;{PRINCE} (PRO I;{I}))
                             (ILYR (ILYR (MD;_cat_Vi_ can;{can})
                                         (NEG not;{not})
                                         (IP-INF-CAT (VB;_I_ choose;{choose})))
                                   (CONJP (CONJ but;{but})
                                          (ILYR (VBP;_I_ weep;{weep})))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 64_a_wilde_1_1888))