11_a_genieus
poor as a church mouse, and weedy too, and he thinks he's good enough to marry my daughter!
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))