2_a_potter_1902
Once upon a time there were four little Rabbits, and their names were — Flopsy, Mopsy, Cotton-tail, and Peter.
arc(r_0002_0002__there_r_0002_0003__were, r_0002_0001__Once_upon_a_time, nim4).
arc(r_0002_0002__there_r_0002_0003__were, r_0002_0004__four_r_0002_0006__Rabbits, arg0).
arc(r_0002_0004__four_r_0002_0006__Rabbits, r_0002_0005__little, attrib14).
arc(r_0002_0008__and, r_0002_0002__there_r_0002_0003__were, conj1).
arc(r_0002_0008__and, r_0002_0011__were, conj2).
arc(r_0002_0010__names, r_0002_0004__four_r_0002_0006__Rabbits, gen).
arc(r_0002_0011__were, r_0002_0010__names, arg0).
arc(r_0002_0011__were, r_0002_0019__and, prd).
arc(r_0002_0019__and, r_0002_0013__Flopsy, conj1).
arc(r_0002_0019__and, r_0002_0015__Mopsy, conj2).
arc(r_0002_0019__and, r_0002_0017__Cotton__hyphen__tail, conj3).
arc(r_0002_0019__and, r_0002_0020__Peter, conj4).
fof(formula,axiom,
? [R_2_8_AND,R_2_2_THERE_WERE,R_2_1_ONCE_UPON_A_TIME,R_2_11_WERE,R_2_10_NAMES,R_2_4_FOUR_RABBITS,R_2_5_LITTLE,R_2_19_AND,R_2_13_FLOPSY,R_2_15_MOPSY,R_2_17_COTTON_HYPHEN_TAIL,R_2_20_PETER] :
( once_upon_a_time(R_2_1_ONCE_UPON_A_TIME)
& little(R_2_5_LITTLE)
& flopsy(R_2_13_FLOPSY)
& mopsy(R_2_15_MOPSY)
& cotton_hyphen_tail(R_2_17_COTTON_HYPHEN_TAIL)
& peter(R_2_20_PETER)
& and(R_2_8_AND)
& conj1(R_2_8_AND,R_2_2_THERE_WERE)
& there_were(R_2_2_THERE_WERE,R_2_4_FOUR_RABBITS)
& four_Rabbits(R_2_4_FOUR_RABBITS)
& attrib14(R_2_4_FOUR_RABBITS,R_2_5_LITTLE)
& nim4(R_2_2_THERE_WERE,R_2_1_ONCE_UPON_A_TIME)
& conj2(R_2_8_AND,R_2_11_WERE)
& were(R_2_11_WERE,R_2_10_NAMES,R_2_19_AND)
& names(R_2_10_NAMES)
& gen(R_2_10_NAMES,R_2_4_FOUR_RABBITS)
& and(R_2_19_AND)
& conj1(R_2_19_AND,R_2_13_FLOPSY)
& conj2(R_2_19_AND,R_2_15_MOPSY)
& conj3(R_2_19_AND,R_2_17_COTTON_HYPHEN_TAIL)
& conj4(R_2_19_AND,R_2_20_PETER) ) ).
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Once_upon_a_time;{once_upon_a_time}))
(EX there;{there})
(BED;_ex_V_ were;{be})
(NP-ESBJ;{RABBITS} (NUM four;{four})
(ADJP (ADJ little;{little}))
(NS Rabbits;{rabbit})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (NP-GEN;{RABBITS} (PRO;_genm_ their;{their}))
(NS names;{name}))
(BED;_Ln_ were;{be})
(PUNC <mdash>)
(NP-PRD (NLYR (NLYR (NPR Flopsy;{Flopsy}))
(PUNC ,)
(CONJP (NLYR (NPR Mopsy;{Mopsy})))
(PUNC ,)
(CONJP (NLYR (NPR Cotton_<hyphen>_tail;{Cotton_tail})))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (NPR Peter;{Peter}))))))))
(PUNC .))
(ID 2_a_potter_1902))