arc(utterance_26_a_genieus_4, r_0026_0003___apos_m, part1).
arc(utterance_26_a_genieus_4, r_0026_0014__when, part2).
arc(r_0026_0003___apos_m, r_0026_0002__I, arg0).
arc(r_0026_0003___apos_m, r_0026_0004__a_r_0026_0007__man, prd).
arc(r_0026_0004__a_r_0026_0007__man, r_0026_0005__poor, attrib14).
arc(r_0026_0004__a_r_0026_0007__man, r_0026_0006__young, attrib17).
arc(r_0026_0009__loves, r_0026_0004__a_r_0026_0007__man, arg0).
arc(r_0026_0009__loves, r_0026_0010__the_r_0026_0011__princess, arg1).
arc(r_0026_0013__And_r_0026_0032___apos_ll, r_0026_0033__let, scope).
arc(r_0026_0014__when, r_0026_0013__And_r_0026_0032___apos_ll, scope).
arc(r_0026_0014__when, r_0026_0021__with, restriction).
arc(r_0026_0016__take, r_0026_0015__I, arg0).
arc(r_0026_0016__take, r_0026_0017__the_r_0026_0018__magic_r_0026_0019__lamp, arg1).
arc(r_0026_0016__take, r_0026_0026__back, clr71).
arc(r_0026_0021__with, r_0026_0016__take, scope).
arc(r_0026_0021__with, z_000_26_a_genieus_59, restriction).
arc(r_0026_0026__back, r_0026_0028__the_r_0026_0029__king, r_0026_0027__to).
arc(r_0026_0033__let, r_0026_0015__I, arg1).
arc(r_0026_0033__let, r_0026_0028__the_r_0026_0029__king, arg0).
arc(r_0026_0033__let, r_0026_0035__marry, prd).
arc(r_0026_0035__marry, r_0026_0010__the_r_0026_0011__princess, arg1).
arc(r_0026_0035__marry, x_000_26_a_genieus_95, arg0).
arc(r_0026_0039__said, utterance_26_a_genieus_4, arg1).
arc(r_0026_0039__said, r_0026_0040__the_r_0026_0042__man, arg0).
arc(r_0026_0039__said, r_0026_0043__happily, nim115).
arc(r_0026_0040__the_r_0026_0042__man, r_0026_0041__young, attrib110).
arc(z_000_26_a_genieus_59, r_0026_0017__the_r_0026_0018__magic_r_0026_0019__lamp, r_0026_0023__in_clr66).
arc(z_000_26_a_genieus_59, r_0026_0022__you, arg0).

fof(formula,axiom,
    ? [R_0026_0005__POOR,R_0026_0006__YOUNG,R_0026_0004__A_R_0026_0007__MAN,R_0026_0010__THE_R_0026_0011__PRINCESS,R_0026_0009__LOVES,R_0026_0002__I,R_0026_0003___APOS_M,UTTERANCE_26_A_GENIEUS_4,R_0026_0041__YOUNG,R_0026_0040__THE_R_0026_0042__MAN,R_0026_0043__HAPPILY,R_0026_0039__SAID] :
      ( r_0026_0002__I(R_0026_0002__I)
      & r_0026_0005__poor(R_0026_0005__POOR)
      & r_0026_0006__young(R_0026_0006__YOUNG)
      & r_0026_0010__the_r_0026_0011__princess(R_0026_0010__THE_R_0026_0011__PRINCESS)
      & r_0026_0041__young(R_0026_0041__YOUNG)
      & r_0026_0043__happily(R_0026_0043__HAPPILY)
      & r_0026_0039__said(R_0026_0039__SAID)
      & has_nim115(R_0026_0039__SAID,R_0026_0043__HAPPILY)
      & has_arg0(R_0026_0039__SAID,R_0026_0040__THE_R_0026_0042__MAN)
      & r_0026_0040__the_r_0026_0042__man(R_0026_0040__THE_R_0026_0042__MAN)
      & has_attrib110(R_0026_0040__THE_R_0026_0042__MAN,R_0026_0041__YOUNG)
      & has_arg1(R_0026_0039__SAID,UTTERANCE_26_A_GENIEUS_4)
      & utterance_26_a_genieus_4(UTTERANCE_26_A_GENIEUS_4)
      & ! [R_0026_0021__WITH,R_0026_0015__I,R_0026_0017__THE_R_0026_0018__MAGIC_R_0026_0019__LAMP,R_0026_0028__THE_R_0026_0029__KING,R_0026_0026__BACK,R_0026_0016__TAKE,R_0026_0022__YOU,Z_000_26_A_GENIEUS_59] :
          ( ( r_0026_0015__I(R_0026_0015__I)
            & r_0026_0017__the_r_0026_0018__magic_r_0026_0019__lamp(R_0026_0017__THE_R_0026_0018__MAGIC_R_0026_0019__LAMP)
            & r_0026_0022__you(R_0026_0022__YOU)
            & r_0026_0028__the_r_0026_0029__king(R_0026_0028__THE_R_0026_0029__KING)
            & r_0026_0021__with(R_0026_0021__WITH)
            & has_conj1(R_0026_0021__WITH,Z_000_26_A_GENIEUS_59)
            & z_000_26_a_genieus_59(Z_000_26_A_GENIEUS_59)
            & has_arg0(Z_000_26_A_GENIEUS_59,R_0026_0022__YOU)
            & has_r_0026_0023__in_clr66(Z_000_26_A_GENIEUS_59,R_0026_0017__THE_R_0026_0018__MAGIC_R_0026_0019__LAMP)
            & has_conj2(R_0026_0021__WITH,R_0026_0016__TAKE)
            & r_0026_0016__take(R_0026_0016__TAKE)
            & has_clr71(R_0026_0016__TAKE,R_0026_0026__BACK)
            & r_0026_0026__back(R_0026_0026__BACK)
            & has_r_0026_0027__to(R_0026_0026__BACK,R_0026_0028__THE_R_0026_0029__KING)
            & has_arg1(R_0026_0016__TAKE,R_0026_0017__THE_R_0026_0018__MAGIC_R_0026_0019__LAMP)
            & has_arg0(R_0026_0016__TAKE,R_0026_0015__I) )
         => ? [X_000_26_A_GENIEUS_95,R_0026_0035__MARRY,R_0026_0013__AND_R_0026_0032___APOS_LL_R_0026_0033__LET] :
              ( x_000_26_a_genieus_95(X_000_26_A_GENIEUS_95)
              & r_0026_0013__And_r_0026_0032___apos_ll_r_0026_0033__let(R_0026_0013__AND_R_0026_0032___APOS_LL_R_0026_0033__LET)
              & has_prd(R_0026_0013__AND_R_0026_0032___APOS_LL_R_0026_0033__LET,R_0026_0035__MARRY)
              & r_0026_0035__marry(R_0026_0035__MARRY)
              & has_arg0(R_0026_0035__MARRY,X_000_26_A_GENIEUS_95)
              & has_arg1(R_0026_0035__MARRY,R_0026_0010__THE_R_0026_0011__PRINCESS)
              & has_arg0(R_0026_0013__AND_R_0026_0032___APOS_LL_R_0026_0033__LET,R_0026_0028__THE_R_0026_0029__KING)
              & has_arg1(R_0026_0013__AND_R_0026_0032___APOS_LL_R_0026_0033__LET,R_0026_0015__I) ) )
      & has_part1(UTTERANCE_26_A_GENIEUS_4,R_0026_0003___APOS_M)
      & r_0026_0003___apos_m(R_0026_0003___APOS_M)
      & has_prd(R_0026_0003___APOS_M,R_0026_0004__A_R_0026_0007__MAN)
      & r_0026_0004__a_r_0026_0007__man(R_0026_0004__A_R_0026_0007__MAN)
      & has_attrib17(R_0026_0004__A_R_0026_0007__MAN,R_0026_0006__YOUNG)
      & has_attrib14(R_0026_0004__A_R_0026_0007__MAN,R_0026_0005__POOR)
      & has_arg0(R_0026_0003___APOS_M,R_0026_0002__I)
      & r_0026_0009__loves(R_0026_0009__LOVES)
      & has_arg1(R_0026_0009__LOVES,R_0026_0010__THE_R_0026_0011__PRINCESS)
      & has_arg0(R_0026_0009__LOVES,R_0026_0004__A_R_0026_0007__MAN) ) ).

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