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_64_30_AND,R_64_1_AND_HAVE_SET_UP,R_64_7_THEY,R_64_12_HERE,R_64_2_NOW,R_64_3_THAT_AM,R_64_4_I,R_64_6_DEAD,R_64_14_HIGH,R_64_13_SO,R_64_15_THAT_CAN_SEE,R_64_22_AND,R_64_20_THE_UGLINESS,R_64_24_THE_MISERY,R_64_28_CITY,R_64_10_ME,R_64_31_THOUGH,R_64_34_IS_MADE,Z_64_A_WILDE_1_1888_104,R_64_33_HEART,R_64_32_MY,R_64_37_LEAD,R_64_43_BUT,R_64_44_WEEP,R_64_39_I,R_64_38_YET] :
      ( ( they(R_64_7_THEY)
        & here(R_64_12_HERE)
        & i(R_64_4_I)
        & dead(R_64_6_DEAD)
        & the_ugliness(R_64_20_THE_UGLINESS)
        & the_misery(R_64_24_THE_MISERY)
        & me(R_64_10_ME)
        & my(R_64_32_MY)
        & lead(R_64_37_LEAD)
        & i(R_64_39_I)
        & yet(R_64_38_YET)
        & and(R_64_30_AND)
        & conj1(R_64_30_AND,R_64_1_AND_HAVE_SET_UP)
        & and_have_set_up(R_64_1_AND_HAVE_SET_UP,R_64_7_THEY,R_64_10_ME,R_64_14_HIGH)
        & high(R_64_14_HIGH)
        & qual38(R_64_14_HIGH,R_64_13_SO)
        & so(R_64_13_SO)
        & emb46(R_64_13_SO,R_64_15_THAT_CAN_SEE)
        & that_can_see(R_64_15_THAT_CAN_SEE,R_64_10_ME,R_64_22_AND)
        & and(R_64_22_AND)
        & conj1(R_64_22_AND,R_64_20_THE_UGLINESS)
        & conj2(R_64_22_AND,R_64_24_THE_MISERY)
        & of(R_64_22_AND,R_64_28_CITY)
        & city(R_64_28_CITY)
        & gen(R_64_28_CITY,R_64_10_ME)
        & nim34(R_64_1_AND_HAVE_SET_UP,R_64_12_HERE)
        & nim6(R_64_1_AND_HAVE_SET_UP,R_64_2_NOW)
        & now(R_64_2_NOW)
        & emb10(R_64_2_NOW,R_64_3_THAT_AM)
        & that_am(R_64_3_THAT_AM,R_64_4_I,R_64_6_DEAD)
        & conj2(R_64_30_AND,R_64_31_THOUGH)
        & though(R_64_31_THOUGH)
        & conj1(R_64_31_THOUGH,R_64_34_IS_MADE)
        & is_made(R_64_34_IS_MADE,Z_64_A_WILDE_1_1888_104,R_64_33_HEART)
        & heart(R_64_33_HEART)
        & gen(R_64_33_HEART,R_64_32_MY)
        & of_clr111(R_64_34_IS_MADE,R_64_37_LEAD)
        & conj2(R_64_31_THOUGH,R_64_43_BUT)
        & but(R_64_43_BUT)
        & conj1(R_64_43_BUT,R_64_41_NOT)
        & ~ ? [R_64_40_CAN_CHOOSE] :
              ( can_choose(R_64_40_CAN_CHOOSE,R_64_39_I)
              & nim114(R_64_40_CAN_CHOOSE,R_64_38_YET) )
        & conj2(R_64_43_BUT,R_64_44_WEEP)
        & weep(R_64_44_WEEP,R_64_39_I)
        & nim114(R_64_44_WEEP,R_64_38_YET) )
     => ( true
       => true ) ) ).

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