arc(r_0011_0001__poor, r_0011_0003__a_r_0011_0004__church_r_0011_0005__mouse, r_0011_0002__as).
arc(r_0011_0007__and, r_0011_0001__poor, conj1).
arc(r_0011_0007__and, r_0011_0008__weedy, conj2).
arc(r_0011_0008__weedy, r_0011_0009__too, qual27).
arc(r_0011_0011__and, r_0011_0013__thinks, conj2).
arc(r_0011_0011__and, z_000_11_a_genieus_3, conj1).
arc(r_0011_0013__thinks, r_0011_0012__he, arg0).
arc(r_0011_0013__thinks, r_0011_0015___apos_s, arg1).
arc(r_0011_0015___apos_s, r_0011_0012__he, arg0).
arc(r_0011_0015___apos_s, r_0011_0016__good, prd).
arc(r_0011_0016__good, r_0011_0017__enough, qual51).
arc(r_0011_0017__enough, r_0011_0018__to_r_0011_0019__marry, emb54).
arc(r_0011_0018__to_r_0011_0019__marry, r_0011_0021__daughter, arg1).
arc(r_0011_0018__to_r_0011_0019__marry, z_000_11_a_genieus_54, arg0).
arc(r_0011_0021__daughter, r_0011_0020__my, gen).
arc(z_000_11_a_genieus_3, r_0011_0007__and, prd).

fof(formula,axiom,
    ? [R_11_11_AND,Z_11_A_GENIEUS_3,R_11_7_AND,R_11_1_POOR,R_11_3_A_CHURCH_MOUSE,R_11_8_WEEDY,R_11_9_TOO,R_11_13_THINKS,R_11_15__APOS_S,R_11_12_HE,R_11_16_GOOD,R_11_17_ENOUGH,R_11_18_TO_MARRY,Z_11_A_GENIEUS_54,R_11_21_DAUGHTER,R_11_20_MY] :
      ( a_church_mouse(R_11_3_A_CHURCH_MOUSE)
      & too(R_11_9_TOO)
      & he(R_11_12_HE)
      & my(R_11_20_MY)
      & and(R_11_11_AND)
      & conj1(R_11_11_AND,Z_11_A_GENIEUS_3)
      & z_11_a_genieus_3(Z_11_A_GENIEUS_3)
      & prd(Z_11_A_GENIEUS_3,R_11_7_AND)
      & and(R_11_7_AND)
      & conj1(R_11_7_AND,R_11_1_POOR)
      & poor(R_11_1_POOR)
      & as(R_11_1_POOR,R_11_3_A_CHURCH_MOUSE)
      & conj2(R_11_7_AND,R_11_8_WEEDY)
      & weedy(R_11_8_WEEDY)
      & qual27(R_11_8_WEEDY,R_11_9_TOO)
      & conj2(R_11_11_AND,R_11_13_THINKS)
      & thinks(R_11_13_THINKS,R_11_12_HE,R_11_15__APOS_S)
      & _apos_s(R_11_15__APOS_S,R_11_12_HE,R_11_16_GOOD)
      & good(R_11_16_GOOD)
      & qual51(R_11_16_GOOD,R_11_17_ENOUGH)
      & enough(R_11_17_ENOUGH)
      & emb54(R_11_17_ENOUGH,R_11_18_TO_MARRY)
      & to_marry(R_11_18_TO_MARRY,Z_11_A_GENIEUS_54,R_11_21_DAUGHTER)
      & daughter(R_11_21_DAUGHTER)
      & gen(R_11_21_DAUGHTER,R_11_20_MY) ) ).

( (IP-MAT (ILYR (ILYR (ADJP-PRD (AJLYR (AJLYR (ADJ poor;{poor})
                                              (PP (P-ROLE as;{as})
                                                  (NP (D a;{a})
                                                      (N church;{church})
                                                      (N mouse;{mouse}))))
                                       (PUNC ,)
                                       (CONJP (CONJ and;{and})
                                              (AJLYR (ADJ weedy;{weedy})
                                                     (ADVP (ADV too;{too})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{YOUNG_MAN} (PRO he;{he}))
                             (VBP;_Tf_ thinks;{think})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ;{YOUNG_MAN} (PRO he;{he}))
                                                 (BEP;_La_ <apos>s;{be})
                                                 (ADJP-PRD (ADJ good;{good})
                                                           (ADVP (ADV enough;{enough})
                                                                 (IP-INF (TO to;{to})
                                                                         (VB;_Tn_ marry;{marry})
                                                                         (NP-OB1;{PRINCESS} (NP-GEN;{KING} (PRO my;{my}))
                                                                                            (N daughter;{daughter}))))))))))
          (PUNC !))
  (ID 11_a_genieus))