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_5_1_AND_MADE,R_5_2_IT,R_5_5_BATTER,R_5_4_HER,R_5_6_BETTER] :
( it(R_5_2_IT)
& her(R_5_4_HER)
& better(R_5_6_BETTER)
& and_made(R_5_1_AND_MADE,R_5_2_IT,R_5_5_BATTER,R_5_6_BETTER)
& batter(R_5_5_BATTER)
& gen(R_5_5_BATTER,R_5_4_HER) ) ).
( (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))