5_a_betty_botter
And it made her batter better,
arc(r_0005_0001__And_r_0005_0003__made, r_0005_0002__it, arg0).
arc(r_0005_0001__And_r_0005_0003__made, r_0005_0005__batter, arg1).
arc(r_0005_0001__And_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_0001__AND_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_0001__And_r_0005_0003__made(R_0005_0001__AND_R_0005_0003__MADE)
& has_prd(R_0005_0001__AND_R_0005_0003__MADE,R_0005_0006__BETTER)
& has_arg1(R_0005_0001__AND_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_0001__AND_R_0005_0003__MADE,R_0005_0002__IT) ) ).
( (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))