8_a_potter_1902
She bought a loaf of brown bread and five currant buns.
arc(r_0008_0002__bought, r_0008_0001__She, arg0).
arc(r_0008_0002__bought, r_0008_0008__and, arg1).
arc(r_0008_0003__a_r_0008_0004__loaf, r_0008_0007__bread, r_0008_0005__of).
arc(r_0008_0007__bread, r_0008_0006__brown, attrib18).
arc(r_0008_0008__and, r_0008_0003__a_r_0008_0004__loaf, conj1).
arc(r_0008_0008__and, r_0008_0009__five_r_0008_0010__currant_r_0008_0011__buns, conj2).
fof(formula,axiom,
? [R_0008_0001__SHE,R_0008_0006__BROWN,R_0008_0007__BREAD,R_0008_0003__A_R_0008_0004__LOAF,R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS,R_0008_0008__AND,R_0008_0002__BOUGHT] :
( r_0008_0001__She(R_0008_0001__SHE)
& r_0008_0006__brown(R_0008_0006__BROWN)
& r_0008_0009__five_r_0008_0010__currant_r_0008_0011__buns(R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS)
& r_0008_0002__bought(R_0008_0002__BOUGHT)
& has_arg1(R_0008_0002__BOUGHT,R_0008_0008__AND)
& r_0008_0008__and(R_0008_0008__AND)
& has_conj2(R_0008_0008__AND,R_0008_0009__FIVE_R_0008_0010__CURRANT_R_0008_0011__BUNS)
& has_conj1(R_0008_0008__AND,R_0008_0003__A_R_0008_0004__LOAF)
& r_0008_0003__a_r_0008_0004__loaf(R_0008_0003__A_R_0008_0004__LOAF)
& has_r_0008_0005__of(R_0008_0003__A_R_0008_0004__LOAF,R_0008_0007__BREAD)
& r_0008_0007__bread(R_0008_0007__BREAD)
& has_attrib18(R_0008_0007__BREAD,R_0008_0006__BROWN)
& has_arg0(R_0008_0002__BOUGHT,R_0008_0001__SHE) ) ).
( (IP-MAT (NP-SBJ;{MOTHER} (PRO She;{she}))
(VBD;_Tn_ bought;{buy})
(NP-OB1 (NLYR (NLYR (D a;{a})
(N loaf;{loaf})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ brown;{brown}))
(N bread;{bread}))))
(CONJP (CONJ and;{and})
(NLYR (NUM five;{five})
(N currant;{currant})
(NS buns;{bun})))))
(PUNC .))
(ID 8_a_potter_1902))