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_0011_0012__HE,R_0011_0020__MY,R_0011_0021__DAUGHTER,Z_000_11_A_GENIEUS_54,R_0011_0018__TO_R_0011_0019__MARRY,R_0011_0017__ENOUGH,R_0011_0016__GOOD,R_0011_0015___APOS_S,R_0011_0013__THINKS,R_0011_0003__A_R_0011_0004__CHURCH_R_0011_0005__MOUSE,R_0011_0001__POOR,R_0011_0009__TOO,R_0011_0008__WEEDY,R_0011_0007__AND,Z_000_11_A_GENIEUS_3,R_0011_0011__AND] :
( r_0011_0003__a_r_0011_0004__church_r_0011_0005__mouse(R_0011_0003__A_R_0011_0004__CHURCH_R_0011_0005__MOUSE)
& r_0011_0009__too(R_0011_0009__TOO)
& r_0011_0012__he(R_0011_0012__HE)
& r_0011_0020__my(R_0011_0020__MY)
& z_000_11_a_genieus_54(Z_000_11_A_GENIEUS_54)
& r_0011_0011__and(R_0011_0011__AND)
& has_conj1(R_0011_0011__AND,Z_000_11_A_GENIEUS_3)
& z_000_11_a_genieus_3(Z_000_11_A_GENIEUS_3)
& has_prd(Z_000_11_A_GENIEUS_3,R_0011_0007__AND)
& r_0011_0007__and(R_0011_0007__AND)
& has_conj2(R_0011_0007__AND,R_0011_0008__WEEDY)
& r_0011_0008__weedy(R_0011_0008__WEEDY)
& has_qual27(R_0011_0008__WEEDY,R_0011_0009__TOO)
& has_conj1(R_0011_0007__AND,R_0011_0001__POOR)
& r_0011_0001__poor(R_0011_0001__POOR)
& has_r_0011_0002__as(R_0011_0001__POOR,R_0011_0003__A_R_0011_0004__CHURCH_R_0011_0005__MOUSE)
& has_conj2(R_0011_0011__AND,R_0011_0013__THINKS)
& r_0011_0013__thinks(R_0011_0013__THINKS)
& has_arg1(R_0011_0013__THINKS,R_0011_0015___APOS_S)
& r_0011_0015___apos_s(R_0011_0015___APOS_S)
& has_prd(R_0011_0015___APOS_S,R_0011_0016__GOOD)
& r_0011_0016__good(R_0011_0016__GOOD)
& has_qual51(R_0011_0016__GOOD,R_0011_0017__ENOUGH)
& r_0011_0017__enough(R_0011_0017__ENOUGH)
& has_emb54(R_0011_0017__ENOUGH,R_0011_0018__TO_R_0011_0019__MARRY)
& r_0011_0018__to_r_0011_0019__marry(R_0011_0018__TO_R_0011_0019__MARRY)
& has_arg0(R_0011_0018__TO_R_0011_0019__MARRY,Z_000_11_A_GENIEUS_54)
& has_arg1(R_0011_0018__TO_R_0011_0019__MARRY,R_0011_0021__DAUGHTER)
& r_0011_0021__daughter(R_0011_0021__DAUGHTER)
& has_gen(R_0011_0021__DAUGHTER,R_0011_0020__MY)
& has_arg0(R_0011_0015___APOS_S,R_0011_0012__HE)
& has_arg0(R_0011_0013__THINKS,R_0011_0012__HE) ) ).
( (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))