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_0017__be be r_0062_0018__happiness happiness r_0062_0017__be->r_0062_0018__happiness [prd] r_0062_0016__pleasure pleasure r_0062_0017__be->r_0062_0016__pleasure [arg0] r_0062_0015__if if r_0062_0015__if->r_0062_0017__be [restriction] r_0062_0013__was was r_0062_0015__if->r_0062_0013__was [scope] r_0062_0012__I I r_0062_0013__was->r_0062_0012__I [arg0] r_0062_0011__indeed indeed r_0062_0013__was->r_0062_0011__indeed [nim] r_0062_0010__happy happy r_0062_0013__was->r_0062_0010__happy [prd] r_0062_0009__and and r_0062_0009__and->r_0062_0015__if [conj2] r_0062_0003__called called r_0062_0009__and->r_0062_0003__called [conj1] 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_0004__me me r_0062_0003__called->r_0062_0004__me [arg1] r_0062_0002__courtiers courtiers r_0062_0003__called->r_0062_0002__courtiers [arg0] r_0062_0006__Happy Happy r_0062_0005__the_r_0062_0007__Prince->r_0062_0006__Happy [attrib] r_0062_0001__My My r_0062_0002__courtiers->r_0062_0001__My [gen] 
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__1_1_1_1_1_1_1 My n62_a_wilde_1_1888__1_1_1_1_2_1 courtiers n62_a_wilde_1_1888__1_1_1_2_1 called n62_a_wilde_1_1888__1_1_1_3_1_1 me n62_a_wilde_1_1888__1_1_1_4_1_1 the n62_a_wilde_1_1888__1_1_1_4_2_1_1 Happy n62_a_wilde_1_1888__1_1_1_4_3_1 Prince n62_a_wilde_1_1888__1_1_2_1 , n62_a_wilde_1_1888__1_1_3_1_1 and n62_a_wilde_1_1888__1_1_3_2_1_1_1 happy n62_a_wilde_1_1888__1_1_3_2_2_1_1 indeed n62_a_wilde_1_1888__1_1_3_2_3_1_1 I n62_a_wilde_1_1888__1_1_3_2_4_1 was n62_a_wilde_1_1888__1_1_3_2_5_1 , n62_a_wilde_1_1888__1_1_3_2_6_1_1 if n62_a_wilde_1_1888__1_1_3_2_6_2_1_1_1 pleasure n62_a_wilde_1_1888__1_1_3_2_6_2_2_1 be n62_a_wilde_1_1888__1_1_3_2_6_2_3_1_1 happiness n62_a_wilde_1_1888__1_2_1 . n62_a_wilde_1_1888__1 IP-MAT n62_a_wilde_1_1888__1_1 ILYR n62_a_wilde_1_1888__1->n62_a_wilde_1_1888__1_1 n62_a_wilde_1_1888__1_2 PUNC n62_a_wilde_1_1888__1->n62_a_wilde_1_1888__1_2 n62_a_wilde_1_1888__1_1_1 ILYR n62_a_wilde_1_1888__1_1->n62_a_wilde_1_1888__1_1_1 n62_a_wilde_1_1888__1_1_2 PUNC n62_a_wilde_1_1888__1_1->n62_a_wilde_1_1888__1_1_2 n62_a_wilde_1_1888__1_1_3 CONJP n62_a_wilde_1_1888__1_1->n62_a_wilde_1_1888__1_1_3 n62_a_wilde_1_1888__1_1_1_1 NP-SBJ n62_a_wilde_1_1888__1_1_1->n62_a_wilde_1_1888__1_1_1_1 n62_a_wilde_1_1888__1_1_1_2 VBD;_Cn.n_ n62_a_wilde_1_1888__1_1_1->n62_a_wilde_1_1888__1_1_1_2 n62_a_wilde_1_1888__1_1_1_3 NP-OB1 n62_a_wilde_1_1888__1_1_1->n62_a_wilde_1_1888__1_1_1_3 n62_a_wilde_1_1888__1_1_1_4 NP-PRD n62_a_wilde_1_1888__1_1_1->n62_a_wilde_1_1888__1_1_1_4 n62_a_wilde_1_1888__1_1_1_1_1 NP-GEN n62_a_wilde_1_1888__1_1_1_1->n62_a_wilde_1_1888__1_1_1_1_1 n62_a_wilde_1_1888__1_1_1_1_2 NS n62_a_wilde_1_1888__1_1_1_1->n62_a_wilde_1_1888__1_1_1_1_2 n62_a_wilde_1_1888__1_1_1_1_1_1 PRO;_genm_ n62_a_wilde_1_1888__1_1_1_1_1->n62_a_wilde_1_1888__1_1_1_1_1_1 n62_a_wilde_1_1888__1_1_1_1_1_1->n62_a_wilde_1_1888__1_1_1_1_1_1_1 n62_a_wilde_1_1888__1_1_1_1_2->n62_a_wilde_1_1888__1_1_1_1_2_1 n62_a_wilde_1_1888__1_1_1_2->n62_a_wilde_1_1888__1_1_1_2_1 n62_a_wilde_1_1888__1_1_1_3_1 PRO n62_a_wilde_1_1888__1_1_1_3->n62_a_wilde_1_1888__1_1_1_3_1 n62_a_wilde_1_1888__1_1_1_3_1->n62_a_wilde_1_1888__1_1_1_3_1_1 n62_a_wilde_1_1888__1_1_1_4_1 D n62_a_wilde_1_1888__1_1_1_4->n62_a_wilde_1_1888__1_1_1_4_1 n62_a_wilde_1_1888__1_1_1_4_2 ADJP n62_a_wilde_1_1888__1_1_1_4->n62_a_wilde_1_1888__1_1_1_4_2 n62_a_wilde_1_1888__1_1_1_4_3 N n62_a_wilde_1_1888__1_1_1_4->n62_a_wilde_1_1888__1_1_1_4_3 n62_a_wilde_1_1888__1_1_1_4_1->n62_a_wilde_1_1888__1_1_1_4_1_1 n62_a_wilde_1_1888__1_1_1_4_2_1 ADJ n62_a_wilde_1_1888__1_1_1_4_2->n62_a_wilde_1_1888__1_1_1_4_2_1 n62_a_wilde_1_1888__1_1_1_4_2_1->n62_a_wilde_1_1888__1_1_1_4_2_1_1 n62_a_wilde_1_1888__1_1_1_4_3->n62_a_wilde_1_1888__1_1_1_4_3_1 n62_a_wilde_1_1888__1_1_2->n62_a_wilde_1_1888__1_1_2_1 n62_a_wilde_1_1888__1_1_3_1 CONJ n62_a_wilde_1_1888__1_1_3->n62_a_wilde_1_1888__1_1_3_1 n62_a_wilde_1_1888__1_1_3_2 ILYR n62_a_wilde_1_1888__1_1_3->n62_a_wilde_1_1888__1_1_3_2 n62_a_wilde_1_1888__1_1_3_1->n62_a_wilde_1_1888__1_1_3_1_1 n62_a_wilde_1_1888__1_1_3_2_1 ADJP-TPC-PRD n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_1 n62_a_wilde_1_1888__1_1_3_2_2 ADVP-NIM n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_2 n62_a_wilde_1_1888__1_1_3_2_3 NP-SBJ n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_3 n62_a_wilde_1_1888__1_1_3_2_4 BED;_La_ n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_4 n62_a_wilde_1_1888__1_1_3_2_5 PUNC n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_5 n62_a_wilde_1_1888__1_1_3_2_6 PP-SCON n62_a_wilde_1_1888__1_1_3_2->n62_a_wilde_1_1888__1_1_3_2_6 n62_a_wilde_1_1888__1_1_3_2_1_1 ADJ n62_a_wilde_1_1888__1_1_3_2_1->n62_a_wilde_1_1888__1_1_3_2_1_1 n62_a_wilde_1_1888__1_1_3_2_1_1->n62_a_wilde_1_1888__1_1_3_2_1_1_1 n62_a_wilde_1_1888__1_1_3_2_2_1 ADV n62_a_wilde_1_1888__1_1_3_2_2->n62_a_wilde_1_1888__1_1_3_2_2_1 n62_a_wilde_1_1888__1_1_3_2_2_1->n62_a_wilde_1_1888__1_1_3_2_2_1_1 n62_a_wilde_1_1888__1_1_3_2_3_1 PRO n62_a_wilde_1_1888__1_1_3_2_3->n62_a_wilde_1_1888__1_1_3_2_3_1 n62_a_wilde_1_1888__1_1_3_2_3_1->n62_a_wilde_1_1888__1_1_3_2_3_1_1 n62_a_wilde_1_1888__1_1_3_2_4->n62_a_wilde_1_1888__1_1_3_2_4_1 n62_a_wilde_1_1888__1_1_3_2_5->n62_a_wilde_1_1888__1_1_3_2_5_1 n62_a_wilde_1_1888__1_1_3_2_6_1 P-CONN n62_a_wilde_1_1888__1_1_3_2_6->n62_a_wilde_1_1888__1_1_3_2_6_1 n62_a_wilde_1_1888__1_1_3_2_6_2 IP-ADV% n62_a_wilde_1_1888__1_1_3_2_6->n62_a_wilde_1_1888__1_1_3_2_6_2 n62_a_wilde_1_1888__1_1_3_2_6_1->n62_a_wilde_1_1888__1_1_3_2_6_1_1 n62_a_wilde_1_1888__1_1_3_2_6_2_1 NP-SBJ n62_a_wilde_1_1888__1_1_3_2_6_2->n62_a_wilde_1_1888__1_1_3_2_6_2_1 n62_a_wilde_1_1888__1_1_3_2_6_2_2 BE;_Ln_ n62_a_wilde_1_1888__1_1_3_2_6_2->n62_a_wilde_1_1888__1_1_3_2_6_2_2 n62_a_wilde_1_1888__1_1_3_2_6_2_3 NP-PRD n62_a_wilde_1_1888__1_1_3_2_6_2->n62_a_wilde_1_1888__1_1_3_2_6_2_3 n62_a_wilde_1_1888__1_1_3_2_6_2_1_1 N n62_a_wilde_1_1888__1_1_3_2_6_2_1->n62_a_wilde_1_1888__1_1_3_2_6_2_1_1 n62_a_wilde_1_1888__1_1_3_2_6_2_1_1->n62_a_wilde_1_1888__1_1_3_2_6_2_1_1_1 n62_a_wilde_1_1888__1_1_3_2_6_2_2->n62_a_wilde_1_1888__1_1_3_2_6_2_2_1 n62_a_wilde_1_1888__1_1_3_2_6_2_3_1 N n62_a_wilde_1_1888__1_1_3_2_6_2_3->n62_a_wilde_1_1888__1_1_3_2_6_2_3_1 n62_a_wilde_1_1888__1_1_3_2_6_2_3_1->n62_a_wilde_1_1888__1_1_3_2_6_2_3_1_1 n62_a_wilde_1_1888__1_2->n62_a_wilde_1_1888__1_2_1 
( (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))