TSPC 31_a_potter

31_a_potter_1902
An old mouse was running in and out over the stone doorstep, carrying peas and beans to her family in the wood.

( (IP-MAT (NP-SBJ;{MOUSE} (D An;{an})
                          (ADJP (ADJ old;{old}))
                          (N mouse;{mouse}))
          (BED;_cat_Vg_ was;{be})
          (IP-PPL-CAT (VAG;_Ip_ running;{run[in_and_out]})
                      (ADVP-CLR (RP in_and_out;{in_and_out}))
                      (PP-NIM (P-ROLE over;{over})
                              (NP (D the;{the})
                                  (N stone;{stone})
                                  (N doorstep;{doorstep}))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn.pr_ carrying;{carry[to]})
                           (NP-OB1 (NLYR (NLYR (NS peas;{pea}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (NS beans;{bean})))))
                           (PP-CLR (P-ROLE to;{to})
                                   (NP (NP-GEN;{MOUSE} (PRO;_genm_ her;{her}))
                                       (N family;{family})
                                       (PP (P-ROLE in;{in})
                                           (NP (D the;{the})
                                               (N wood;{wood})))))))
          (PUNC .))
  (ID 31_a_potter_1902))

arc(r_0031_0001__An_r_0031_0003__mouse,r_0031_0002__old,attrib).
arc(r_0031_0004__was,r_0031_0005__running_r_0031_0006__in_and_out,scope).
arc(r_0031_0005__running_r_0031_0006__in_and_out,r_0031_0001__An_r_0031_0003__mouse,arg0).
arc(r_0031_0005__running_r_0031_0006__in_and_out,r_0031_0008__the_r_0031_0009__stone_r_0031_0010__doorstep,r_0031_0007__over__nim).
arc(r_0031_0012__carrying_r_0031_0016__to,r_0031_0001__An_r_0031_0003__mouse,arg0).
arc(r_0031_0012__carrying_r_0031_0016__to,r_0031_0014__and,arg1).
arc(r_0031_0012__carrying_r_0031_0016__to,r_0031_0018__family,arg2).
arc(r_0031_0014__and,r_0031_0013__peas,conj1).
arc(r_0031_0014__and,r_0031_0015__beans,conj2).
arc(r_0031_0018__family,r_0031_0001__An_r_0031_0003__mouse,gen).
arc(r_0031_0018__family,r_0031_0020__the_r_0031_0021__wood,r_0031_0019__in).
arc(z_0031_5003,r_0031_0004__was,scope).
arc(z_0031_5003,r_0031_0012__carrying_r_0031_0016__to,restriction).

fof(formula,axiom,
    ? [R_0031_0002__OLD,R_0031_0001__AN_R_0031_0003__MOUSE,R_0031_0008__THE_R_0031_0009__STONE_R_0031_0010__DOORSTEP,R_0031_0004__WAS_R_0031_0005__RUNNING_R_0031_0006__IN_AND_OUT,R_0031_0013__PEAS,R_0031_0015__BEANS,R_0031_0014__AND,R_0031_0020__THE_R_0031_0021__WOOD,R_0031_0018__FAMILY,R_0031_0012__CARRYING_R_0031_0016__TO,Z_0031_5003] :
      ( r_0031_0002__old(R_0031_0002__OLD)
      & r_0031_0008__the_r_0031_0009__stone_r_0031_0010__doorstep(R_0031_0008__THE_R_0031_0009__STONE_R_0031_0010__DOORSTEP)
      & r_0031_0013__peas(R_0031_0013__PEAS)
      & r_0031_0015__beans(R_0031_0015__BEANS)
      & r_0031_0020__the_r_0031_0021__wood(R_0031_0020__THE_R_0031_0021__WOOD)
      & z_0031_5003(Z_0031_5003)
      & has_conj1(Z_0031_5003,R_0031_0012__CARRYING_R_0031_0016__TO)
      & r_0031_0012__carrying_r_0031_0016__to(R_0031_0012__CARRYING_R_0031_0016__TO)
      & has_arg2(R_0031_0012__CARRYING_R_0031_0016__TO,R_0031_0018__FAMILY)
      & r_0031_0018__family(R_0031_0018__FAMILY)
      & has_r_0031_0019__in(R_0031_0018__FAMILY,R_0031_0020__THE_R_0031_0021__WOOD)
      & has_gen(R_0031_0018__FAMILY,R_0031_0001__AN_R_0031_0003__MOUSE)
      & r_0031_0001__An_r_0031_0003__mouse(R_0031_0001__AN_R_0031_0003__MOUSE)
      & has_attrib(R_0031_0001__AN_R_0031_0003__MOUSE,R_0031_0002__OLD)
      & has_arg1(R_0031_0012__CARRYING_R_0031_0016__TO,R_0031_0014__AND)
      & r_0031_0014__and(R_0031_0014__AND)
      & has_conj2(R_0031_0014__AND,R_0031_0015__BEANS)
      & has_conj1(R_0031_0014__AND,R_0031_0013__PEAS)
      & has_arg0(R_0031_0012__CARRYING_R_0031_0016__TO,R_0031_0001__AN_R_0031_0003__MOUSE)
      & has_conj2(Z_0031_5003,R_0031_0004__WAS_R_0031_0005__RUNNING_R_0031_0006__IN_AND_OUT)
      & r_0031_0004__was_r_0031_0005__running_r_0031_0006__in_and_out(R_0031_0004__WAS_R_0031_0005__RUNNING_R_0031_0006__IN_AND_OUT)
      & has_r_0031_0007__over__nim(R_0031_0004__WAS_R_0031_0005__RUNNING_R_0031_0006__IN_AND_OUT,R_0031_0008__THE_R_0031_0009__STONE_R_0031_0010__DOORSTEP)
      & has_arg0(R_0031_0004__WAS_R_0031_0005__RUNNING_R_0031_0006__IN_AND_OUT,R_0031_0001__AN_R_0031_0003__MOUSE) ) ).