arc(utterance_40_a_genieus_4, r_0040_0003___apos_s, part1).
arc(utterance_40_a_genieus_56, r_0040_0022__is, part1).
arc(r_0040_0003___apos_s, r_0040_0002__That, arg0).
arc(r_0040_0003___apos_s, r_0040_0006__it, r_0040_0004__more_r_0040_0005__like_clr16).
arc(r_0040_0010__said, utterance_40_a_genieus_4, arg1).
arc(r_0040_0010__said, r_0040_0009__he, arg0).
arc(r_0040_0012__and, r_0040_0010__said, conj1).
arc(r_0040_0012__and, z_000_40_a_genieus_38, conj2).
arc(r_0040_0013__turned, r_0040_0009__he, arg0).
arc(r_0040_0013__turned, r_0040_0015__the_r_0040_0016__princess, r_0040_0014__to_clr45).
arc(r_0040_0022__is, r_0040_0019__Daughter, nim58).
arc(r_0040_0022__is, r_0040_0021__this, arg0).
arc(r_0040_0022__is, r_0040_0024__future_r_0040_0025__husband, prd).
arc(r_0040_0024__future_r_0040_0025__husband, r_0040_0019__Daughter, gen).
arc(z_000_40_a_genieus_38, r_0040_0013__turned, conj1).
arc(z_000_40_a_genieus_38, z_000_40_a_genieus_53, conj2).
arc(z_000_40_a_genieus_53, utterance_40_a_genieus_56, arg1).
arc(z_000_40_a_genieus_53, r_0040_0009__he, arg0).

fof(formula,axiom,
    ? [R_0040_0002__THAT,R_0040_0006__IT,R_0040_0003___APOS_S,UTTERANCE_40_A_GENIEUS_4,R_0040_0009__HE,R_0040_0010__SAID,R_0040_0015__THE_R_0040_0016__PRINCESS,R_0040_0013__TURNED,R_0040_0019__DAUGHTER,R_0040_0021__THIS,R_0040_0024__FUTURE_R_0040_0025__HUSBAND,R_0040_0022__IS,UTTERANCE_40_A_GENIEUS_56,Z_000_40_A_GENIEUS_53,Z_000_40_A_GENIEUS_38,R_0040_0012__AND] :
      ( r_0040_0002__That(R_0040_0002__THAT)
      & r_0040_0006__it(R_0040_0006__IT)
      & r_0040_0009__he(R_0040_0009__HE)
      & r_0040_0015__the_r_0040_0016__princess(R_0040_0015__THE_R_0040_0016__PRINCESS)
      & r_0040_0019__Daughter(R_0040_0019__DAUGHTER)
      & r_0040_0021__this(R_0040_0021__THIS)
      & r_0040_0012__and(R_0040_0012__AND)
      & has_conj2(R_0040_0012__AND,Z_000_40_A_GENIEUS_38)
      & z_000_40_a_genieus_38(Z_000_40_A_GENIEUS_38)
      & has_conj2(Z_000_40_A_GENIEUS_38,Z_000_40_A_GENIEUS_53)
      & z_000_40_a_genieus_53(Z_000_40_A_GENIEUS_53)
      & has_arg0(Z_000_40_A_GENIEUS_53,R_0040_0009__HE)
      & has_arg1(Z_000_40_A_GENIEUS_53,UTTERANCE_40_A_GENIEUS_56)
      & utterance_40_a_genieus_56(UTTERANCE_40_A_GENIEUS_56)
      & has_part1(UTTERANCE_40_A_GENIEUS_56,R_0040_0022__IS)
      & r_0040_0022__is(R_0040_0022__IS)
      & has_prd(R_0040_0022__IS,R_0040_0024__FUTURE_R_0040_0025__HUSBAND)
      & r_0040_0024__future_r_0040_0025__husband(R_0040_0024__FUTURE_R_0040_0025__HUSBAND)
      & has_gen(R_0040_0024__FUTURE_R_0040_0025__HUSBAND,R_0040_0019__DAUGHTER)
      & has_arg0(R_0040_0022__IS,R_0040_0021__THIS)
      & has_nim58(R_0040_0022__IS,R_0040_0019__DAUGHTER)
      & has_conj1(Z_000_40_A_GENIEUS_38,R_0040_0013__TURNED)
      & r_0040_0013__turned(R_0040_0013__TURNED)
      & has_r_0040_0014__to_clr45(R_0040_0013__TURNED,R_0040_0015__THE_R_0040_0016__PRINCESS)
      & has_arg0(R_0040_0013__TURNED,R_0040_0009__HE)
      & has_conj1(R_0040_0012__AND,R_0040_0010__SAID)
      & r_0040_0010__said(R_0040_0010__SAID)
      & has_arg0(R_0040_0010__SAID,R_0040_0009__HE)
      & has_arg1(R_0040_0010__SAID,UTTERANCE_40_A_GENIEUS_4)
      & utterance_40_a_genieus_4(UTTERANCE_40_A_GENIEUS_4)
      & has_part1(UTTERANCE_40_A_GENIEUS_4,R_0040_0003___APOS_S)
      & r_0040_0003___apos_s(R_0040_0003___APOS_S)
      & has_r_0040_0004__more_r_0040_0005__like_clr16(R_0040_0003___APOS_S,R_0040_0006__IT)
      & has_arg0(R_0040_0003___APOS_S,R_0040_0002__THAT) ) ).

( (IP-MAT (PULQ <lsquo>)
          (utterance-TPC-120 (IP-MAT (NP-SBJ (D That;{that}))
                                     (BEP;_Ipr_ <apos>s;{be[like]})
                                     (PP-CLR (ADVR more;{more})
                                             (P-ROLE like;{like})
                                             (NP;{ARB38} (PRO it;{it})))
                                     (PUNC !)))
          (PULQ <rsquo>)
          (NP-SBJ (PRO he;{he}))
          (ILYR (ILYR (utterance-OB1 *ICH*-120)
                      (VBD;_Tr_ said;{say}))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (VBD;_Ipr_ turned;{turn[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (N princess;{princess}))))
                                   (PUNC ,)
                                   (CONJP (ILYR (PURQ <lsquo>)
                                                (utterance-OB1 (IP-MAT (NP-VOC;{PRINCESS} (N Daughter;{daughter}))
                                                                       (PUNC ,)
                                                                       (NP-SBJ;{GENIE} (D this;{this}))
                                                                       (BEP;_Ln_ is;{be})
                                                                       (NP-PRD (NP-GEN;{PRINCESS} (PRO your;{you}))
                                                                               (N future;{future})
                                                                               (N husband;{husband}))
                                                                       (PUNC !)))
                                                (PULQ <rsquo>))))))))
  (ID 40_a_genieus))