( (IP-MAT (PURQ <lsquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{YOUNG_MAN} (PRO I;{I}))
                                 (BEP;_Ln_ <apos>m;{be})
                                 (NP-PRD (D a;{a})
                                         (ADJP (ADJ poor;{poor}))
                                         (ADJP (ADJ young;{young}))
                                         (N man;{man})
                                         (IP-REL (NP-SBJ (RPRO who;{who}))
                                                 (VBP;_Tn_ loves;{love})
                                                 (NP-OB1;{PRINCESS} (D the;{the})
                                                                    (N princess;{princess}))))
                                 (PUNC .))
                         (IP-MAT (CONJ;_cl_ And;{and})
                                 (PP-SCON (P-CONN when;{when})
                                          (IP-ADV (NP-SBJ (PRO I;{I}))
                                                  (VBP;_Tn.p_ take;{take})
                                                  (NP-OB1;{LAMP} (D the;{the})
                                                                 (N magic;{magic})
                                                                 (N lamp;{lamp}))
                                                  (PUNC ,)
                                                  (PP-SCON (P-CONN with;{with})
                                                           (IP-ADV (NP-SBJ;{GENIE} (PRO you;{you}))
                                                                   (PP-CLR (P-ROLE in;{in})
                                                                           (NP;{LAMP} (PRO it;{it})))))
                                                  (PUNC ,)
                                                  (ADVP-CLR (ADV back;{back})
                                                            (PP (P-ROLE to;{to})
                                                                (NP;{KING} (D the;{the})
                                                                           (N king;{king}))))))
                                 (PUNC ,)
                                 (NP-SBJ;{KING} (PRO he;{he}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-PPL-CAT (VB;_Cn.i_ let;{let})
                                             (NP-OB1 (PRO me;{I}))
                                             (IP-INF-PRD (VB;_Tn_ marry;{marry})
                                                         (NP-OB1;{PRINCESS} (PRO her;{she}))))))
          (PUNC ,)
          (PURQ <rsquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ young;{young}))
                  (N man;{man}))
          (ADVP-NIM (ADV happily;{happily}))
          (PUNC .))
  (ID 25_a_genieus))

arc(r_0025_0003___apos_m,r_0025_0002__I,arg0).
arc(r_0025_0003___apos_m,r_0025_0004__a_r_0025_0007__man,prd).
arc(r_0025_0004__a_r_0025_0007__man,r_0025_0005__poor,attrib).
arc(r_0025_0004__a_r_0025_0007__man,r_0025_0006__young,attrib).
arc(r_0025_0009__loves,r_0025_0004__a_r_0025_0007__man,arg0).
arc(r_0025_0009__loves,r_0025_0010__the_r_0025_0011__princess,arg1).
arc(r_0025_0013__And,r_0025_0003___apos_m,part1).
arc(r_0025_0013__And,r_0025_0014__when,part2).
arc(r_0025_0014__when,r_0025_0021__with,restriction).
arc(r_0025_0014__when,r_0025_0032___apos_ll,scope).
arc(r_0025_0016__take,r_0025_0015__I,arg0).
arc(r_0025_0016__take,r_0025_0017__the_r_0025_0018__magic_r_0025_0019__lamp,arg1).
arc(r_0025_0016__take,r_0025_0026__back,clr).
arc(r_0025_0021__with,r_0025_0016__take,scope).
arc(r_0025_0021__with,z_0025_5014,restriction).
arc(r_0025_0026__back,r_0025_0028__the_r_0025_0029__king,r_0025_0027__to).
arc(r_0025_0032___apos_ll,r_0025_0033__let,scope).
arc(r_0025_0033__let,r_0025_0015__I,arg1).
arc(r_0025_0033__let,r_0025_0028__the_r_0025_0029__king,arg0).
arc(r_0025_0033__let,r_0025_0035__marry,prd).
arc(r_0025_0035__marry,r_0025_0010__the_r_0025_0011__princess,arg1).
arc(r_0025_0035__marry,z_0025_5022,arg0).
arc(r_0025_0039__said,r_0025_0013__And,arg1).
arc(r_0025_0039__said,r_0025_0040__the_r_0025_0042__man,arg0).
arc(r_0025_0039__said,r_0025_0043__happily,nim).
arc(r_0025_0040__the_r_0025_0042__man,r_0025_0041__young,attrib).
arc(z_0025_5014,r_0025_0017__the_r_0025_0018__magic_r_0025_0019__lamp,r_0025_0023__in__clr).
arc(z_0025_5014,r_0025_0022__you,arg0).

fof(formula,axiom,
    ? [R_0025_0005__POOR,R_0025_0006__YOUNG,R_0025_0004__A_R_0025_0007__MAN,R_0025_0010__THE_R_0025_0011__PRINCESS,R_0025_0009__LOVES,R_0025_0002__I,R_0025_0003___APOS_M,R_0025_0013__AND,R_0025_0041__YOUNG,R_0025_0040__THE_R_0025_0042__MAN,R_0025_0043__HAPPILY,R_0025_0039__SAID] :
      ( r_0025_0002__I(R_0025_0002__I)
      & r_0025_0005__poor(R_0025_0005__POOR)
      & r_0025_0006__young(R_0025_0006__YOUNG)
      & r_0025_0010__the_r_0025_0011__princess(R_0025_0010__THE_R_0025_0011__PRINCESS)
      & r_0025_0041__young(R_0025_0041__YOUNG)
      & r_0025_0043__happily(R_0025_0043__HAPPILY)
      & r_0025_0039__said(R_0025_0039__SAID)
      & has_nim(R_0025_0039__SAID,R_0025_0043__HAPPILY)
      & has_arg0(R_0025_0039__SAID,R_0025_0040__THE_R_0025_0042__MAN)
      & r_0025_0040__the_r_0025_0042__man(R_0025_0040__THE_R_0025_0042__MAN)
      & has_attrib(R_0025_0040__THE_R_0025_0042__MAN,R_0025_0041__YOUNG)
      & has_arg1(R_0025_0039__SAID,R_0025_0013__AND)
      & r_0025_0013__And(R_0025_0013__AND)
      & ! [R_0025_0021__WITH,R_0025_0015__I,R_0025_0017__THE_R_0025_0018__MAGIC_R_0025_0019__LAMP,R_0025_0028__THE_R_0025_0029__KING,R_0025_0026__BACK,R_0025_0016__TAKE,R_0025_0022__YOU,Z_0025_5014] :
          ( ( r_0025_0015__I(R_0025_0015__I)
            & r_0025_0017__the_r_0025_0018__magic_r_0025_0019__lamp(R_0025_0017__THE_R_0025_0018__MAGIC_R_0025_0019__LAMP)
            & r_0025_0022__you(R_0025_0022__YOU)
            & r_0025_0028__the_r_0025_0029__king(R_0025_0028__THE_R_0025_0029__KING)
            & r_0025_0021__with(R_0025_0021__WITH)
            & has_conj1(R_0025_0021__WITH,Z_0025_5014)
            & z_0025_5014(Z_0025_5014)
            & has_arg0(Z_0025_5014,R_0025_0022__YOU)
            & has_r_0025_0023__in__clr(Z_0025_5014,R_0025_0017__THE_R_0025_0018__MAGIC_R_0025_0019__LAMP)
            & has_conj2(R_0025_0021__WITH,R_0025_0016__TAKE)
            & r_0025_0016__take(R_0025_0016__TAKE)
            & has_clr(R_0025_0016__TAKE,R_0025_0026__BACK)
            & r_0025_0026__back(R_0025_0026__BACK)
            & has_r_0025_0027__to(R_0025_0026__BACK,R_0025_0028__THE_R_0025_0029__KING)
            & has_arg1(R_0025_0016__TAKE,R_0025_0017__THE_R_0025_0018__MAGIC_R_0025_0019__LAMP)
            & has_arg0(R_0025_0016__TAKE,R_0025_0015__I) )
         => ? [Z_0025_5022,R_0025_0035__MARRY,R_0025_0032___APOS_LL_R_0025_0033__LET] :
              ( z_0025_5022(Z_0025_5022)
              & r_0025_0032___apos_ll_r_0025_0033__let(R_0025_0032___APOS_LL_R_0025_0033__LET)
              & has_prd(R_0025_0032___APOS_LL_R_0025_0033__LET,R_0025_0035__MARRY)
              & r_0025_0035__marry(R_0025_0035__MARRY)
              & has_arg0(R_0025_0035__MARRY,Z_0025_5022)
              & has_arg1(R_0025_0035__MARRY,R_0025_0010__THE_R_0025_0011__PRINCESS)
              & has_arg0(R_0025_0032___APOS_LL_R_0025_0033__LET,R_0025_0028__THE_R_0025_0029__KING)
              & has_arg1(R_0025_0032___APOS_LL_R_0025_0033__LET,R_0025_0015__I) ) )
      & has_part1(R_0025_0013__AND,R_0025_0003___APOS_M)
      & r_0025_0003___apos_m(R_0025_0003___APOS_M)
      & has_prd(R_0025_0003___APOS_M,R_0025_0004__A_R_0025_0007__MAN)
      & r_0025_0004__a_r_0025_0007__man(R_0025_0004__A_R_0025_0007__MAN)
      & has_attrib(R_0025_0004__A_R_0025_0007__MAN,R_0025_0006__YOUNG)
      & has_attrib(R_0025_0004__A_R_0025_0007__MAN,R_0025_0005__POOR)
      & has_arg0(R_0025_0003___APOS_M,R_0025_0002__I)
      & r_0025_0009__loves(R_0025_0009__LOVES)
      & has_arg1(R_0025_0009__LOVES,R_0025_0010__THE_R_0025_0011__PRINCESS)
      & has_arg0(R_0025_0009__LOVES,R_0025_0004__A_R_0025_0007__MAN) ) ).