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, r_0026_0040__the_r_0026_0042__man, arg0).
arc(r_0026_0039__said, r_0026_0043__happily, nim115).
arc(r_0026_0039__said, utterance_26_a_genieus_4, arg1).
arc(r_0026_0040__the_r_0026_0042__man, r_0026_0041__young, attrib110).
arc(utterance_26_a_genieus_4, r_0026_0003___apos_m, part1).
arc(utterance_26_a_genieus_4, r_0026_0014__when, part2).
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_26_9_LOVES,R_26_10_THE_PRINCESS,R_26_39_SAID,R_26_40_THE_MAN,R_26_41_YOUNG,UTTERANCE_26_A_GENIEUS_4,R_26_3__APOS_M,R_26_2_I,R_26_4_A_MAN,R_26_5_POOR,R_26_6_YOUNG,R_26_43_HAPPILY] :
      ( the_princess(R_26_10_THE_PRINCESS)
      & young(R_26_41_YOUNG)
      & i(R_26_2_I)
      & poor(R_26_5_POOR)
      & young(R_26_6_YOUNG)
      & happily(R_26_43_HAPPILY)
      & loves(R_26_9_LOVES,R_26_4_A_MAN,R_26_10_THE_PRINCESS)
      & a_man(R_26_4_A_MAN)
      & attrib14(R_26_4_A_MAN,R_26_5_POOR)
      & attrib17(R_26_4_A_MAN,R_26_6_YOUNG)
      & said(R_26_39_SAID,R_26_40_THE_MAN,UTTERANCE_26_A_GENIEUS_4)
      & the_man(R_26_40_THE_MAN)
      & attrib110(R_26_40_THE_MAN,R_26_41_YOUNG)
      & ! [R_26_21_WITH,Z_26_A_GENIEUS_59,R_26_22_YOU,R_26_16_TAKE,R_26_15_I,R_26_17_THE_MAGIC_LAMP,R_26_26_BACK,R_26_28_THE_KING] :
          ( ( you(R_26_22_YOU)
            & i(R_26_15_I)
            & the_magic_lamp(R_26_17_THE_MAGIC_LAMP)
            & the_king(R_26_28_THE_KING)
            & with(R_26_21_WITH)
            & conj1(R_26_21_WITH,Z_26_A_GENIEUS_59)
            & z_26_a_genieus_59(Z_26_A_GENIEUS_59,R_26_22_YOU)
            & in_clr66(Z_26_A_GENIEUS_59,R_26_17_THE_MAGIC_LAMP)
            & conj2(R_26_21_WITH,R_26_16_TAKE)
            & take(R_26_16_TAKE,R_26_15_I,R_26_17_THE_MAGIC_LAMP)
            & clr71(R_26_16_TAKE,R_26_26_BACK)
            & back(R_26_26_BACK)
            & to(R_26_26_BACK,R_26_28_THE_KING) )
         => ? [R_26_13_AND_APOS_LL_LET,R_26_35_MARRY,X_26_A_GENIEUS_95] :
              ( and_apos_ll_let(R_26_13_AND_APOS_LL_LET,R_26_28_THE_KING,R_26_15_I,R_26_35_MARRY)
              & marry(R_26_35_MARRY,X_26_A_GENIEUS_95,R_26_10_THE_PRINCESS) ) )
      & part2(PART2)
      & utterance_26_a_genieus_4(UTTERANCE_26_A_GENIEUS_4)
      & part1(UTTERANCE_26_A_GENIEUS_4,R_26_3__APOS_M)
      & _apos_m(R_26_3__APOS_M,R_26_2_I,R_26_4_A_MAN)
      & nim115(R_26_39_SAID,R_26_43_HAPPILY) ) ).

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