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_0062_0001__MY,R_0062_0002__COURTIERS,R_0062_0004__ME,R_0062_0006__HAPPY,R_0062_0005__THE_R_0062_0007__PRINCE,R_0062_0003__CALLED,R_0062_0009__AND] :
      ( r_0062_0001__My(R_0062_0001__MY)
      & r_0062_0004__me(R_0062_0004__ME)
      & r_0062_0006__Happy(R_0062_0006__HAPPY)
      & r_0062_0009__and(R_0062_0009__AND)
      & ! [R_0062_0017__BE,R_0062_0016__PLEASURE,R_0062_0018__HAPPINESS] :
          ( ( r_0062_0016__pleasure(R_0062_0016__PLEASURE)
            & r_0062_0018__happiness(R_0062_0018__HAPPINESS)
            & r_0062_0017__be(R_0062_0017__BE)
            & has_prd(R_0062_0017__BE,R_0062_0018__HAPPINESS)
            & has_arg0(R_0062_0017__BE,R_0062_0016__PLEASURE) )
         => ? [R_0062_0010__HAPPY,R_0062_0011__INDEED,R_0062_0012__I,R_0062_0013__WAS] :
              ( r_0062_0010__happy(R_0062_0010__HAPPY)
              & r_0062_0011__indeed(R_0062_0011__INDEED)
              & r_0062_0012__I(R_0062_0012__I)
              & r_0062_0013__was(R_0062_0013__WAS)
              & has_arg0(R_0062_0013__WAS,R_0062_0012__I)
              & has_nim32(R_0062_0013__WAS,R_0062_0011__INDEED)
              & has_prd(R_0062_0013__WAS,R_0062_0010__HAPPY) ) )
      & has_conj1(R_0062_0009__AND,R_0062_0003__CALLED)
      & r_0062_0003__called(R_0062_0003__CALLED)
      & has_prd(R_0062_0003__CALLED,R_0062_0005__THE_R_0062_0007__PRINCE)
      & r_0062_0005__the_r_0062_0007__Prince(R_0062_0005__THE_R_0062_0007__PRINCE)
      & has_attrib18(R_0062_0005__THE_R_0062_0007__PRINCE,R_0062_0006__HAPPY)
      & has_arg1(R_0062_0003__CALLED,R_0062_0004__ME)
      & has_arg0(R_0062_0003__CALLED,R_0062_0002__COURTIERS)
      & r_0062_0002__courtiers(R_0062_0002__COURTIERS)
      & has_gen(R_0062_0002__COURTIERS,R_0062_0001__MY) ) ).


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