65_a_potter_1902
But Flopsy, Mopsy, and Cotton-tail had bread and milk and blackberries for supper.
arc(r_0065_0001__But_r_0065_0008__had, r_0065_0006__and, arg0).
arc(r_0065_0001__But_r_0065_0008__had, r_0065_0012__and, arg1).
arc(r_0065_0001__But_r_0065_0008__had, r_0065_0015__supper, r_0065_0014__for_nim47).
arc(r_0065_0006__and, r_0065_0002__Flopsy, conj1).
arc(r_0065_0006__and, r_0065_0004__Mopsy, conj2).
arc(r_0065_0006__and, r_0065_0007__Cotton__hyphen__tail, conj3).
arc(r_0065_0010__and, r_0065_0009__bread, conj1).
arc(r_0065_0010__and, r_0065_0011__milk, conj2).
arc(r_0065_0012__and, r_0065_0010__and, conj1).
arc(r_0065_0012__and, r_0065_0013__blackberries, conj2).
fof(formula,axiom,
? [R_65_1_BUT_HAD,R_65_6_AND,R_65_2_FLOPSY,R_65_4_MOPSY,R_65_7_COTTON_HYPHEN_TAIL,R_65_12_AND,R_65_10_AND,R_65_9_BREAD,R_65_11_MILK,R_65_13_BLACKBERRIES,R_65_15_SUPPER] :
( flopsy(R_65_2_FLOPSY)
& mopsy(R_65_4_MOPSY)
& cotton_hyphen_tail(R_65_7_COTTON_HYPHEN_TAIL)
& bread(R_65_9_BREAD)
& milk(R_65_11_MILK)
& blackberries(R_65_13_BLACKBERRIES)
& supper(R_65_15_SUPPER)
& but_had(R_65_1_BUT_HAD,R_65_6_AND,R_65_12_AND)
& and(R_65_6_AND)
& conj1(R_65_6_AND,R_65_2_FLOPSY)
& conj2(R_65_6_AND,R_65_4_MOPSY)
& conj3(R_65_6_AND,R_65_7_COTTON_HYPHEN_TAIL)
& and(R_65_12_AND)
& conj1(R_65_12_AND,R_65_10_AND)
& and(R_65_10_AND)
& conj1(R_65_10_AND,R_65_9_BREAD)
& conj2(R_65_10_AND,R_65_11_MILK)
& conj2(R_65_12_AND,R_65_13_BLACKBERRIES)
& for_nim47(R_65_1_BUT_HAD,R_65_15_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 65_a_potter_1902))