TSPC 62_a_wilde_1

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

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

arc(r_0062_0002__courtiers,r_0062_0001__My,gen).
arc(r_0062_0003__called,r_0062_0001__My,arg1).
arc(r_0062_0003__called,r_0062_0002__courtiers,arg0).
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,attrib).
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_0001__My,arg0).
arc(r_0062_0013__was,r_0062_0010__happy,prd).
arc(r_0062_0013__was,r_0062_0011__indeed,nim).
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).

fof(formula,axiom,
    ? [R_0062_0001__MY,R_0062_0002__COURTIERS,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_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_0013__WAS] :
              ( r_0062_0010__happy(R_0062_0010__HAPPY)
              & r_0062_0011__indeed(R_0062_0011__INDEED)
              & r_0062_0013__was(R_0062_0013__WAS)
              & has_nim(R_0062_0013__WAS,R_0062_0011__INDEED)
              & has_prd(R_0062_0013__WAS,R_0062_0010__HAPPY)
              & has_arg0(R_0062_0013__WAS,R_0062_0001__MY) ) )
      & 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_attrib(R_0062_0005__THE_R_0062_0007__PRINCE,R_0062_0006__HAPPY)
      & 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)
      & has_arg1(R_0062_0003__CALLED,R_0062_0001__MY) ) ).