Context                Previous, Next                Top


62_a_wilde_1_1888
My courtiers called me the Happy Prince, and happy indeed I was, if pleasure be happiness.

%3 r_0062_0002__courtiers courtiers r_0062_0001__My My r_0062_0002__courtiers->r_0062_0001__My [gen] r_0062_0003__called called r_0062_0003__called->r_0062_0002__courtiers [arg0] r_0062_0004__me me r_0062_0003__called->r_0062_0004__me [arg1] r_0062_0005__the_r_0062_0007__Prince the Prince r_0062_0003__called->r_0062_0005__the_r_0062_0007__Prince [prd] r_0062_0006__Happy Happy r_0062_0005__the_r_0062_0007__Prince->r_0062_0006__Happy [attrib] r_0062_0009__and and r_0062_0009__and->r_0062_0003__called [conj1] r_0062_0015__if if r_0062_0009__and->r_0062_0015__if [conj2] r_0062_0013__was was r_0062_0015__if->r_0062_0013__was [scope] r_0062_0017__be be r_0062_0015__if->r_0062_0017__be [restriction] r_0062_0010__happy happy r_0062_0013__was->r_0062_0010__happy [prd] r_0062_0011__indeed indeed r_0062_0013__was->r_0062_0011__indeed [nim] r_0062_0012__I I r_0062_0013__was->r_0062_0012__I [arg0] r_0062_0016__pleasure pleasure r_0062_0017__be->r_0062_0016__pleasure [arg0] r_0062_0018__happiness happiness r_0062_0017__be->r_0062_0018__happiness [prd] 
arc(r_0062_0002__courtiers, r_0062_0001__My, gen).
arc(r_0062_0003__called, r_0062_0002__courtiers, arg0).
arc(r_0062_0003__called, r_0062_0004__me, arg1).
arc(r_0062_0003__called, r_0062_0005__the_r_0062_0007__Prince, prd).
arc(r_0062_0005__the_r_0062_0007__Prince, r_0062_0006__Happy, attrib18).
arc(r_0062_0009__and, r_0062_0003__called, conj1).
arc(r_0062_0009__and, r_0062_0015__if, conj2).
arc(r_0062_0013__was, r_0062_0010__happy, prd).
arc(r_0062_0013__was, r_0062_0011__indeed, nim32).
arc(r_0062_0013__was, r_0062_0012__I, arg0).
arc(r_0062_0015__if, r_0062_0013__was, scope).
arc(r_0062_0015__if, r_0062_0017__be, restriction).
arc(r_0062_0017__be, r_0062_0016__pleasure, arg0).
arc(r_0062_0017__be, r_0062_0018__happiness, prd).


%3 r_0062_0002__courtiers courtiers r_0062_0001__My My r_0062_0002__courtiers->r_0062_0001__My [gen] r_0062_0003__called called r_0062_0003__called->r_0062_0002__courtiers [arg0] r_0062_0004__me me r_0062_0003__called->r_0062_0004__me [arg1] r_0062_0005__the_r_0062_0007__Prince the Prince r_0062_0003__called->r_0062_0005__the_r_0062_0007__Prince [prd] r_0062_0006__Happy Happy r_0062_0005__the_r_0062_0007__Prince->r_0062_0006__Happy [attrib] r_0062_0009__and and r_0062_0009__and->r_0062_0003__called [conj1] r_0062_0015__if if r_0062_0009__and->r_0062_0015__if [conj2] r_0062_0013__was was r_0062_0015__if->r_0062_0013__was [scope] r_0062_0017__be be r_0062_0015__if->r_0062_0017__be [restriction] r_0062_0010__happy happy r_0062_0013__was->r_0062_0010__happy [prd] r_0062_0011__indeed indeed r_0062_0013__was->r_0062_0011__indeed [nim] r_0062_0012__I I r_0062_0013__was->r_0062_0012__I [arg0] r_0062_0016__pleasure pleasure r_0062_0017__be->r_0062_0016__pleasure [arg0] r_0062_0018__happiness happiness r_0062_0017__be->r_0062_0018__happiness [prd] 
fof(formula,axiom,
    ? [R_62_9_AND,R_62_3_CALLED,R_62_2_COURTIERS,R_62_1_MY,R_62_4_ME,R_62_5_THE_PRINCE,R_62_6_HAPPY] :
      ( my(R_62_1_MY)
      & me(R_62_4_ME)
      & happy(R_62_6_HAPPY)
      & ! [R_62_17_BE,R_62_16_PLEASURE,R_62_18_HAPPINESS] :
          ( ( pleasure(R_62_16_PLEASURE)
            & happiness(R_62_18_HAPPINESS)
            & be(R_62_17_BE,R_62_16_PLEASURE,R_62_18_HAPPINESS) )
         => ? [R_62_13_WAS,R_62_12_I,R_62_11_INDEED,R_62_10_HAPPY] :
              ( i(R_62_12_I)
              & indeed(R_62_11_INDEED)
              & happy(R_62_10_HAPPY)
              & was(R_62_13_WAS,R_62_12_I,R_62_10_HAPPY)
              & nim32(R_62_13_WAS,R_62_11_INDEED) ) )
      & conj2(CONJ2)
      & and(R_62_9_AND)
      & conj1(R_62_9_AND,R_62_3_CALLED)
      & called(R_62_3_CALLED,R_62_2_COURTIERS,R_62_4_ME,R_62_5_THE_PRINCE)
      & courtiers(R_62_2_COURTIERS)
      & gen(R_62_2_COURTIERS,R_62_1_MY)
      & the_Prince(R_62_5_THE_PRINCE)
      & attrib18(R_62_5_THE_PRINCE,R_62_6_HAPPY) ) ).


n62_a_wilde_1_1888 n62_a_wilde_1_1888_7 My n62_a_wilde_1_1888_9 courtiers n62_a_wilde_1_1888_11 called n62_a_wilde_1_1888_14 me n62_a_wilde_1_1888_17 the n62_a_wilde_1_1888_20 Happy n62_a_wilde_1_1888_22 Prince n62_a_wilde_1_1888_24 , n62_a_wilde_1_1888_27 and n62_a_wilde_1_1888_31 happy n62_a_wilde_1_1888_34 indeed n62_a_wilde_1_1888_37 I n62_a_wilde_1_1888_39 was n62_a_wilde_1_1888_41 , n62_a_wilde_1_1888_44 if n62_a_wilde_1_1888_48 pleasure n62_a_wilde_1_1888_50 be n62_a_wilde_1_1888_53 happiness n62_a_wilde_1_1888_55 . n62_a_wilde_1_1888_1 IP-MAT n62_a_wilde_1_1888_2 ILYR n62_a_wilde_1_1888_1->n62_a_wilde_1_1888_2 n62_a_wilde_1_1888_54 PUNC n62_a_wilde_1_1888_1->n62_a_wilde_1_1888_54 n62_a_wilde_1_1888_3 ILYR n62_a_wilde_1_1888_2->n62_a_wilde_1_1888_3 n62_a_wilde_1_1888_23 PUNC n62_a_wilde_1_1888_2->n62_a_wilde_1_1888_23 n62_a_wilde_1_1888_25 CONJP n62_a_wilde_1_1888_2->n62_a_wilde_1_1888_25 n62_a_wilde_1_1888_4 NP-SBJ n62_a_wilde_1_1888_3->n62_a_wilde_1_1888_4 n62_a_wilde_1_1888_10 VBD;_Cn.n_ n62_a_wilde_1_1888_3->n62_a_wilde_1_1888_10 n62_a_wilde_1_1888_12 NP-OB1 n62_a_wilde_1_1888_3->n62_a_wilde_1_1888_12 n62_a_wilde_1_1888_15 NP-PRD n62_a_wilde_1_1888_3->n62_a_wilde_1_1888_15 n62_a_wilde_1_1888_5 NP-GEN n62_a_wilde_1_1888_4->n62_a_wilde_1_1888_5 n62_a_wilde_1_1888_8 NS n62_a_wilde_1_1888_4->n62_a_wilde_1_1888_8 n62_a_wilde_1_1888_6 PRO;_genm_ n62_a_wilde_1_1888_5->n62_a_wilde_1_1888_6 n62_a_wilde_1_1888_6->n62_a_wilde_1_1888_7 n62_a_wilde_1_1888_8->n62_a_wilde_1_1888_9 n62_a_wilde_1_1888_10->n62_a_wilde_1_1888_11 n62_a_wilde_1_1888_13 PRO n62_a_wilde_1_1888_12->n62_a_wilde_1_1888_13 n62_a_wilde_1_1888_13->n62_a_wilde_1_1888_14 n62_a_wilde_1_1888_16 D n62_a_wilde_1_1888_15->n62_a_wilde_1_1888_16 n62_a_wilde_1_1888_18 ADJP n62_a_wilde_1_1888_15->n62_a_wilde_1_1888_18 n62_a_wilde_1_1888_21 N n62_a_wilde_1_1888_15->n62_a_wilde_1_1888_21 n62_a_wilde_1_1888_16->n62_a_wilde_1_1888_17 n62_a_wilde_1_1888_19 ADJ n62_a_wilde_1_1888_18->n62_a_wilde_1_1888_19 n62_a_wilde_1_1888_19->n62_a_wilde_1_1888_20 n62_a_wilde_1_1888_21->n62_a_wilde_1_1888_22 n62_a_wilde_1_1888_23->n62_a_wilde_1_1888_24 n62_a_wilde_1_1888_26 CONJ n62_a_wilde_1_1888_25->n62_a_wilde_1_1888_26 n62_a_wilde_1_1888_28 ILYR n62_a_wilde_1_1888_25->n62_a_wilde_1_1888_28 n62_a_wilde_1_1888_26->n62_a_wilde_1_1888_27 n62_a_wilde_1_1888_29 ADJP-TPC-PRD n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_29 n62_a_wilde_1_1888_32 ADVP-NIM n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_32 n62_a_wilde_1_1888_35 NP-SBJ n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_35 n62_a_wilde_1_1888_38 BED;_La_ n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_38 n62_a_wilde_1_1888_40 PUNC n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_40 n62_a_wilde_1_1888_42 PP-SCON n62_a_wilde_1_1888_28->n62_a_wilde_1_1888_42 n62_a_wilde_1_1888_30 ADJ n62_a_wilde_1_1888_29->n62_a_wilde_1_1888_30 n62_a_wilde_1_1888_30->n62_a_wilde_1_1888_31 n62_a_wilde_1_1888_33 ADV n62_a_wilde_1_1888_32->n62_a_wilde_1_1888_33 n62_a_wilde_1_1888_33->n62_a_wilde_1_1888_34 n62_a_wilde_1_1888_36 PRO n62_a_wilde_1_1888_35->n62_a_wilde_1_1888_36 n62_a_wilde_1_1888_36->n62_a_wilde_1_1888_37 n62_a_wilde_1_1888_38->n62_a_wilde_1_1888_39 n62_a_wilde_1_1888_40->n62_a_wilde_1_1888_41 n62_a_wilde_1_1888_43 P-CONN n62_a_wilde_1_1888_42->n62_a_wilde_1_1888_43 n62_a_wilde_1_1888_45 IP-ADV% n62_a_wilde_1_1888_42->n62_a_wilde_1_1888_45 n62_a_wilde_1_1888_43->n62_a_wilde_1_1888_44 n62_a_wilde_1_1888_46 NP-SBJ n62_a_wilde_1_1888_45->n62_a_wilde_1_1888_46 n62_a_wilde_1_1888_49 BE;_Ln_ n62_a_wilde_1_1888_45->n62_a_wilde_1_1888_49 n62_a_wilde_1_1888_51 NP-PRD n62_a_wilde_1_1888_45->n62_a_wilde_1_1888_51 n62_a_wilde_1_1888_47 N n62_a_wilde_1_1888_46->n62_a_wilde_1_1888_47 n62_a_wilde_1_1888_47->n62_a_wilde_1_1888_48 n62_a_wilde_1_1888_49->n62_a_wilde_1_1888_50 n62_a_wilde_1_1888_52 N n62_a_wilde_1_1888_51->n62_a_wilde_1_1888_52 n62_a_wilde_1_1888_52->n62_a_wilde_1_1888_53 n62_a_wilde_1_1888_54->n62_a_wilde_1_1888_55 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN;{PRINCE} (PRO;_genm_ My;{my}))
                              (NS courtiers;{courtier}))
                      (VBD;_Cn.n_ called;{call})
                      (NP-OB1;{PRINCE} (PRO me;{I}))
                      (NP-PRD (D the;{the})
                              (ADJP (ADJ Happy;{happy}))
                              (N Prince;{prince})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADJP-TPC-PRD (ADJ happy;{happy}))
                             (ADVP-NIM (ADV indeed;{indeed}))
                             (NP-SBJ;{PRINCE} (PRO I;{I}))
                             (BED;_La_ was;{be})
                             (PUNC ,)
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV% (NP-SBJ (N pleasure;{pleasure}))
                                               (BE;_Ln_ be;{be})
                                               (NP-PRD (N happiness;{happiness})))))))
          (PUNC .))
  (ID 62_a_wilde_1_1888))