2_a_potter_1902
Once upon a time there were four little Rabbits, and their names were — Flopsy, Mopsy, Cotton-tail, and Peter.

%3 r_0002_0002__there_r_0002_0003__were there were r_0002_0001__Once_upon_a_time Once upon a time r_0002_0002__there_r_0002_0003__were->r_0002_0001__Once_upon_a_time [nim] r_0002_0004__four_r_0002_0006__Rabbits four Rabbits r_0002_0002__there_r_0002_0003__were->r_0002_0004__four_r_0002_0006__Rabbits [arg0] r_0002_0005__little little r_0002_0004__four_r_0002_0006__Rabbits->r_0002_0005__little [attrib] r_0002_0008__and and r_0002_0008__and->r_0002_0002__there_r_0002_0003__were [conj1] r_0002_0011__were were r_0002_0008__and->r_0002_0011__were [conj2] r_0002_0010__names names r_0002_0011__were->r_0002_0010__names [arg0] r_0002_0019__and and r_0002_0011__were->r_0002_0019__and [prd] r_0002_0010__names->r_0002_0004__four_r_0002_0006__Rabbits [gen] r_0002_0013__Flopsy Flopsy r_0002_0019__and->r_0002_0013__Flopsy [conj1] r_0002_0015__Mopsy Mopsy r_0002_0019__and->r_0002_0015__Mopsy [conj2] r_0002_0017__Cotton__hyphen__tail Cotton-tail r_0002_0019__and->r_0002_0017__Cotton__hyphen__tail [conj3] r_0002_0020__Peter Peter r_0002_0019__and->r_0002_0020__Peter [conj4]
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).



%3 r_0002_0002__there_r_0002_0003__were there were r_0002_0001__Once_upon_a_time Once upon a time r_0002_0002__there_r_0002_0003__were->r_0002_0001__Once_upon_a_time [nim] r_0002_0004__four_r_0002_0006__Rabbits four Rabbits r_0002_0002__there_r_0002_0003__were->r_0002_0004__four_r_0002_0006__Rabbits [arg0] r_0002_0005__little little r_0002_0004__four_r_0002_0006__Rabbits->r_0002_0005__little [attrib] r_0002_0008__and and r_0002_0008__and->r_0002_0002__there_r_0002_0003__were [conj1] r_0002_0011__were were r_0002_0008__and->r_0002_0011__were [conj2] r_0002_0010__names names r_0002_0011__were->r_0002_0010__names [arg0] r_0002_0019__and and r_0002_0011__were->r_0002_0019__and [prd] r_0002_0010__names->r_0002_0004__four_r_0002_0006__Rabbits [gen] r_0002_0013__Flopsy Flopsy r_0002_0019__and->r_0002_0013__Flopsy [conj1] r_0002_0015__Mopsy Mopsy r_0002_0019__and->r_0002_0015__Mopsy [conj2] r_0002_0017__Cotton__hyphen__tail Cotton-tail r_0002_0019__and->r_0002_0017__Cotton__hyphen__tail [conj3] r_0002_0020__Peter Peter 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) ) ).



n2_a_potter_1902 n2_a_potter_1902_6 Once_upon_a_time n2_a_potter_1902_8 there n2_a_potter_1902_10 were n2_a_potter_1902_13 four n2_a_potter_1902_16 little n2_a_potter_1902_18 Rabbits n2_a_potter_1902_20 , n2_a_potter_1902_23 and n2_a_potter_1902_28 their n2_a_potter_1902_30 names n2_a_potter_1902_32 were n2_a_potter_1902_34 <mdash> n2_a_potter_1902_39 Flopsy n2_a_potter_1902_41 , n2_a_potter_1902_45 Mopsy n2_a_potter_1902_47 , n2_a_potter_1902_51 Cotton-tail n2_a_potter_1902_53 , n2_a_potter_1902_56 and n2_a_potter_1902_59 Peter n2_a_potter_1902_61 . n2_a_potter_1902_1 IP-MAT n2_a_potter_1902_2 ILYR n2_a_potter_1902_1->n2_a_potter_1902_2 n2_a_potter_1902_60 PUNC n2_a_potter_1902_1->n2_a_potter_1902_60 n2_a_potter_1902_3 ILYR n2_a_potter_1902_2->n2_a_potter_1902_3 n2_a_potter_1902_19 PUNC n2_a_potter_1902_2->n2_a_potter_1902_19 n2_a_potter_1902_21 CONJP n2_a_potter_1902_2->n2_a_potter_1902_21 n2_a_potter_1902_4 ADVP-NIM n2_a_potter_1902_3->n2_a_potter_1902_4 n2_a_potter_1902_7 EX n2_a_potter_1902_3->n2_a_potter_1902_7 n2_a_potter_1902_9 BED;_ex_V_ n2_a_potter_1902_3->n2_a_potter_1902_9 n2_a_potter_1902_11 NP-ESBJ n2_a_potter_1902_3->n2_a_potter_1902_11 n2_a_potter_1902_5 ADV n2_a_potter_1902_4->n2_a_potter_1902_5 n2_a_potter_1902_5->n2_a_potter_1902_6 n2_a_potter_1902_7->n2_a_potter_1902_8 n2_a_potter_1902_9->n2_a_potter_1902_10 n2_a_potter_1902_12 NUM n2_a_potter_1902_11->n2_a_potter_1902_12 n2_a_potter_1902_14 ADJP n2_a_potter_1902_11->n2_a_potter_1902_14 n2_a_potter_1902_17 NS n2_a_potter_1902_11->n2_a_potter_1902_17 n2_a_potter_1902_12->n2_a_potter_1902_13 n2_a_potter_1902_15 ADJ n2_a_potter_1902_14->n2_a_potter_1902_15 n2_a_potter_1902_15->n2_a_potter_1902_16 n2_a_potter_1902_17->n2_a_potter_1902_18 n2_a_potter_1902_19->n2_a_potter_1902_20 n2_a_potter_1902_22 CONJ n2_a_potter_1902_21->n2_a_potter_1902_22 n2_a_potter_1902_24 ILYR n2_a_potter_1902_21->n2_a_potter_1902_24 n2_a_potter_1902_22->n2_a_potter_1902_23 n2_a_potter_1902_25 NP-SBJ n2_a_potter_1902_24->n2_a_potter_1902_25 n2_a_potter_1902_31 BED;_Ln_ n2_a_potter_1902_24->n2_a_potter_1902_31 n2_a_potter_1902_33 PUNC n2_a_potter_1902_24->n2_a_potter_1902_33 n2_a_potter_1902_35 NP-PRD n2_a_potter_1902_24->n2_a_potter_1902_35 n2_a_potter_1902_26 NP-GEN n2_a_potter_1902_25->n2_a_potter_1902_26 n2_a_potter_1902_29 NS n2_a_potter_1902_25->n2_a_potter_1902_29 n2_a_potter_1902_27 PRO;_genm_ n2_a_potter_1902_26->n2_a_potter_1902_27 n2_a_potter_1902_27->n2_a_potter_1902_28 n2_a_potter_1902_29->n2_a_potter_1902_30 n2_a_potter_1902_31->n2_a_potter_1902_32 n2_a_potter_1902_33->n2_a_potter_1902_34 n2_a_potter_1902_36 NLYR n2_a_potter_1902_35->n2_a_potter_1902_36 n2_a_potter_1902_37 NLYR n2_a_potter_1902_36->n2_a_potter_1902_37 n2_a_potter_1902_40 PUNC n2_a_potter_1902_36->n2_a_potter_1902_40 n2_a_potter_1902_42 CONJP n2_a_potter_1902_36->n2_a_potter_1902_42 n2_a_potter_1902_46 PUNC n2_a_potter_1902_36->n2_a_potter_1902_46 n2_a_potter_1902_48 CONJP n2_a_potter_1902_36->n2_a_potter_1902_48 n2_a_potter_1902_52 PUNC n2_a_potter_1902_36->n2_a_potter_1902_52 n2_a_potter_1902_54 CONJP n2_a_potter_1902_36->n2_a_potter_1902_54 n2_a_potter_1902_38 NPR n2_a_potter_1902_37->n2_a_potter_1902_38 n2_a_potter_1902_38->n2_a_potter_1902_39 n2_a_potter_1902_40->n2_a_potter_1902_41 n2_a_potter_1902_43 NLYR n2_a_potter_1902_42->n2_a_potter_1902_43 n2_a_potter_1902_44 NPR n2_a_potter_1902_43->n2_a_potter_1902_44 n2_a_potter_1902_44->n2_a_potter_1902_45 n2_a_potter_1902_46->n2_a_potter_1902_47 n2_a_potter_1902_49 NLYR n2_a_potter_1902_48->n2_a_potter_1902_49 n2_a_potter_1902_50 NPR n2_a_potter_1902_49->n2_a_potter_1902_50 n2_a_potter_1902_50->n2_a_potter_1902_51 n2_a_potter_1902_52->n2_a_potter_1902_53 n2_a_potter_1902_55 CONJ n2_a_potter_1902_54->n2_a_potter_1902_55 n2_a_potter_1902_57 NLYR n2_a_potter_1902_54->n2_a_potter_1902_57 n2_a_potter_1902_55->n2_a_potter_1902_56 n2_a_potter_1902_58 NPR n2_a_potter_1902_57->n2_a_potter_1902_58 n2_a_potter_1902_58->n2_a_potter_1902_59 n2_a_potter_1902_60->n2_a_potter_1902_61
( (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))