55_a_potter_1902
But Flopsy, Mopsy, and Cotton-tail had bread and milk and blackberries for supper.
( (IP-MAT (CONJ;_cl_ But;{but})
(NP-SBJ (NLYR (NLYR (NPR Flopsy;{Flopsy}))
(PUNC ,)
(CONJP (NLYR (NPR Mopsy;{Mopsy})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NPR Cotton_<hyphen>_tail;{Cotton_tail})))))
(HVD;_Tn_ had;{have})
(NP-OB1 (NLYR (NLYR (NLYR (NLYR (N bread;{bread}))
(CONJP (CONJ and;{and})
(NLYR (N milk;{milk})))))
(CONJP (CONJ and;{and})
(NLYR (NS blackberries;{blackberry})))))
(PP-NIM (P-ROLE for;{for})
(NP (N supper;{supper})))
(PUNC .))
(ID 55_a_potter_1902))
arc(r_0055_0006__and,r_0055_0002__Flopsy,conj1).
arc(r_0055_0006__and,r_0055_0004__Mopsy,conj2).
arc(r_0055_0006__and,r_0055_0007__Cotton__hyphen__tail,conj3).
arc(r_0055_0008__had,r_0055_0006__and,arg0).
arc(r_0055_0008__had,r_0055_0012__and,arg1).
arc(r_0055_0008__had,r_0055_0015__supper,r_0055_0014__for__nim).
arc(r_0055_0010__and,r_0055_0009__bread,conj1).
arc(r_0055_0010__and,r_0055_0011__milk,conj2).
arc(r_0055_0012__and,r_0055_0010__and,conj1).
arc(r_0055_0012__and,r_0055_0013__blackberries,conj2).
fof(formula,axiom,
? [R_0055_0002__FLOPSY,R_0055_0004__MOPSY,R_0055_0007__COTTON__HYPHEN__TAIL,R_0055_0006__AND,R_0055_0009__BREAD,R_0055_0011__MILK,R_0055_0010__AND,R_0055_0013__BLACKBERRIES,R_0055_0012__AND,R_0055_0015__SUPPER,R_0055_0008__HAD] :
( r_0055_0002__Flopsy(R_0055_0002__FLOPSY)
& r_0055_0004__Mopsy(R_0055_0004__MOPSY)
& r_0055_0007__Cotton__hyphen__tail(R_0055_0007__COTTON__HYPHEN__TAIL)
& r_0055_0009__bread(R_0055_0009__BREAD)
& r_0055_0011__milk(R_0055_0011__MILK)
& r_0055_0013__blackberries(R_0055_0013__BLACKBERRIES)
& r_0055_0015__supper(R_0055_0015__SUPPER)
& r_0055_0008__had(R_0055_0008__HAD)
& has_r_0055_0014__for__nim(R_0055_0008__HAD,R_0055_0015__SUPPER)
& has_arg1(R_0055_0008__HAD,R_0055_0012__AND)
& r_0055_0012__and(R_0055_0012__AND)
& has_conj2(R_0055_0012__AND,R_0055_0013__BLACKBERRIES)
& has_conj1(R_0055_0012__AND,R_0055_0010__AND)
& r_0055_0010__and(R_0055_0010__AND)
& has_conj2(R_0055_0010__AND,R_0055_0011__MILK)
& has_conj1(R_0055_0010__AND,R_0055_0009__BREAD)
& has_arg0(R_0055_0008__HAD,R_0055_0006__AND)
& r_0055_0006__and(R_0055_0006__AND)
& has_conj3(R_0055_0006__AND,R_0055_0007__COTTON__HYPHEN__TAIL)
& has_conj2(R_0055_0006__AND,R_0055_0004__MOPSY)
& has_conj1(R_0055_0006__AND,R_0055_0002__FLOPSY) ) ).