TSPC 2_a_potter

2_a_potter_1902
Once upon a time there were four little Rabbits, and their names were — Flopsy, Mopsy, Cotton-tail, and 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))

arc(r_0002_0003__were,r_0002_0001__Once_upon_a_time,nim).
arc(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,attrib).
arc(r_0002_0008__and,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_0002_0001__ONCE_UPON_A_TIME,R_0002_0005__LITTLE,R_0002_0004__FOUR_R_0002_0006__RABBITS,R_0002_0003__WERE,R_0002_0010__NAMES,R_0002_0013__FLOPSY,R_0002_0015__MOPSY,R_0002_0017__COTTON__HYPHEN__TAIL,R_0002_0020__PETER,R_0002_0019__AND,R_0002_0011__WERE,R_0002_0008__AND] :
      ( r_0002_0001__Once_upon_a_time(R_0002_0001__ONCE_UPON_A_TIME)
      & r_0002_0005__little(R_0002_0005__LITTLE)
      & r_0002_0013__Flopsy(R_0002_0013__FLOPSY)
      & r_0002_0015__Mopsy(R_0002_0015__MOPSY)
      & r_0002_0017__Cotton__hyphen__tail(R_0002_0017__COTTON__HYPHEN__TAIL)
      & r_0002_0020__Peter(R_0002_0020__PETER)
      & r_0002_0008__and(R_0002_0008__AND)
      & has_conj2(R_0002_0008__AND,R_0002_0011__WERE)
      & r_0002_0011__were(R_0002_0011__WERE)
      & has_prd(R_0002_0011__WERE,R_0002_0019__AND)
      & r_0002_0019__and(R_0002_0019__AND)
      & has_conj4(R_0002_0019__AND,R_0002_0020__PETER)
      & has_conj3(R_0002_0019__AND,R_0002_0017__COTTON__HYPHEN__TAIL)
      & has_conj2(R_0002_0019__AND,R_0002_0015__MOPSY)
      & has_conj1(R_0002_0019__AND,R_0002_0013__FLOPSY)
      & has_arg0(R_0002_0011__WERE,R_0002_0010__NAMES)
      & r_0002_0010__names(R_0002_0010__NAMES)
      & has_gen(R_0002_0010__NAMES,R_0002_0004__FOUR_R_0002_0006__RABBITS)
      & r_0002_0004__four_r_0002_0006__Rabbits(R_0002_0004__FOUR_R_0002_0006__RABBITS)
      & has_attrib(R_0002_0004__FOUR_R_0002_0006__RABBITS,R_0002_0005__LITTLE)
      & has_conj1(R_0002_0008__AND,R_0002_0003__WERE)
      & r_0002_0003__were(R_0002_0003__WERE)
      & has_arg0(R_0002_0003__WERE,R_0002_0004__FOUR_R_0002_0006__RABBITS)
      & has_nim(R_0002_0003__WERE,R_0002_0001__ONCE_UPON_A_TIME) ) ).