TSPC 9_a_potter

9_a_potter_1902
Flopsy, Mopsy, and Cotton-tail, who were good little bunnies, went down the lane to gather blackberries:

( (IP-MAT (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}))))
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (BED;_Ln_ were;{be})
                          (NP-PRD (ADJP (ADJ good;{good}))
                                  (ADJP (ADJ little;{little}))
                                  (NS bunnies;{bunny}))))
          (PUNC ,)
          (VBD;_Ipr_ went;{go[down]})
          (PP-CLR (P-ROLE down;{down})
                  (NP (D the;{the})
                      (N lane;{lane})))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (VB;_Tn_ gather;{gather})
                            (NP-OB1 (NS blackberries;{blackberry}))))
          (PUNC :))
  (ID 9_a_potter_1902))

arc(r_0009_0005__and,r_0009_0001__Flopsy,conj1).
arc(r_0009_0005__and,r_0009_0003__Mopsy,conj2).
arc(r_0009_0005__and,r_0009_0006__Cotton__hyphen__tail,conj3).
arc(r_0009_0009__were,r_0009_0005__and,arg0).
arc(r_0009_0009__were,r_0009_0012__bunnies,prd).
arc(r_0009_0012__bunnies,r_0009_0010__good,attrib).
arc(r_0009_0012__bunnies,r_0009_0011__little,attrib).
arc(r_0009_0014__went_r_0009_0015__down,r_0009_0005__and,arg0).
arc(r_0009_0014__went_r_0009_0015__down,r_0009_0016__the_r_0009_0017__lane,arg1).
arc(r_0009_0019__gather,r_0009_0005__and,arg0).
arc(r_0009_0019__gather,r_0009_0020__blackberries,arg1).
arc(z_0009_5007,r_0009_0014__went_r_0009_0015__down,scope).
arc(z_0009_5007,r_0009_0019__gather,restriction).

fof(formula,axiom,
    ? [R_0009_0001__FLOPSY,R_0009_0003__MOPSY,R_0009_0006__COTTON__HYPHEN__TAIL,R_0009_0005__AND,R_0009_0010__GOOD,R_0009_0011__LITTLE,R_0009_0012__BUNNIES,R_0009_0009__WERE,R_0009_0016__THE_R_0009_0017__LANE,R_0009_0014__WENT_R_0009_0015__DOWN,R_0009_0020__BLACKBERRIES,R_0009_0019__GATHER,Z_0009_5007] :
      ( r_0009_0001__Flopsy(R_0009_0001__FLOPSY)
      & r_0009_0003__Mopsy(R_0009_0003__MOPSY)
      & r_0009_0006__Cotton__hyphen__tail(R_0009_0006__COTTON__HYPHEN__TAIL)
      & r_0009_0010__good(R_0009_0010__GOOD)
      & r_0009_0011__little(R_0009_0011__LITTLE)
      & r_0009_0016__the_r_0009_0017__lane(R_0009_0016__THE_R_0009_0017__LANE)
      & r_0009_0020__blackberries(R_0009_0020__BLACKBERRIES)
      & z_0009_5007(Z_0009_5007)
      & has_conj1(Z_0009_5007,R_0009_0019__GATHER)
      & r_0009_0019__gather(R_0009_0019__GATHER)
      & has_arg1(R_0009_0019__GATHER,R_0009_0020__BLACKBERRIES)
      & has_arg0(R_0009_0019__GATHER,R_0009_0005__AND)
      & r_0009_0005__and(R_0009_0005__AND)
      & has_conj3(R_0009_0005__AND,R_0009_0006__COTTON__HYPHEN__TAIL)
      & has_conj2(R_0009_0005__AND,R_0009_0003__MOPSY)
      & has_conj1(R_0009_0005__AND,R_0009_0001__FLOPSY)
      & has_conj2(Z_0009_5007,R_0009_0014__WENT_R_0009_0015__DOWN)
      & r_0009_0014__went_r_0009_0015__down(R_0009_0014__WENT_R_0009_0015__DOWN)
      & has_arg1(R_0009_0014__WENT_R_0009_0015__DOWN,R_0009_0016__THE_R_0009_0017__LANE)
      & has_arg0(R_0009_0014__WENT_R_0009_0015__DOWN,R_0009_0005__AND)
      & r_0009_0009__were(R_0009_0009__WERE)
      & has_prd(R_0009_0009__WERE,R_0009_0012__BUNNIES)
      & r_0009_0012__bunnies(R_0009_0012__BUNNIES)
      & has_attrib(R_0009_0012__BUNNIES,R_0009_0011__LITTLE)
      & has_attrib(R_0009_0012__BUNNIES,R_0009_0010__GOOD)
      & has_arg0(R_0009_0009__WERE,R_0009_0005__AND) ) ).