5_a_betty_botter
And it made her batter better,
( (IP-MAT (CONJ;_cl_ And;{and})
(NP-SBJ;{BETTER_BUTTER} (PRO it;{it}))
(VBD;_Cn.a_ made;{make})
(NP-OB1 (NP-GEN;{BETTY} (PRO;_genm_ her;{her}))
(N batter;{batter}))
(ADJP-PRD (ADJR better;{good}))
(PUNC ,))
(ID 5_a_betty_botter))
arc(r_0005_0003__made,r_0005_0002__it,arg0).
arc(r_0005_0003__made,r_0005_0005__batter,arg1).
arc(r_0005_0003__made,r_0005_0006__better,prd).
arc(r_0005_0005__batter,r_0005_0004__her,gen).
fof(formula,axiom,
? [R_0005_0002__IT,R_0005_0004__HER,R_0005_0005__BATTER,R_0005_0006__BETTER,R_0005_0003__MADE] :
( r_0005_0002__it(R_0005_0002__IT)
& r_0005_0004__her(R_0005_0004__HER)
& r_0005_0006__better(R_0005_0006__BETTER)
& r_0005_0003__made(R_0005_0003__MADE)
& has_prd(R_0005_0003__MADE,R_0005_0006__BETTER)
& has_arg1(R_0005_0003__MADE,R_0005_0005__BATTER)
& r_0005_0005__batter(R_0005_0005__BATTER)
& has_gen(R_0005_0005__BATTER,R_0005_0004__HER)
& has_arg0(R_0005_0003__MADE,R_0005_0002__IT) ) ).