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.
arc(r_0031_0001__An_r_0031_0003__mouse, r_0031_0002__old, attrib5).
arc(r_0031_0004__was, r_0031_0005__running, scope).
arc(r_0031_0005__running, r_0031_0001__An_r_0031_0003__mouse, arg0).
arc(r_0031_0005__running, r_0031_0006__in_and_out, clr15).
arc(r_0031_0005__running, r_0031_0008__the_r_0031_0009__stone_r_0031_0010__doorstep, r_0031_0007__over_nim21).
arc(r_0031_0012__carrying, r_0031_0001__An_r_0031_0003__mouse, arg0).
arc(r_0031_0012__carrying, r_0031_0014__and, arg1).
arc(r_0031_0012__carrying, r_0031_0018__family, r_0031_0016__to_clr48).
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_000_31_a_potter_1902_30, r_0031_0004__was, scope).
arc(z_000_31_a_potter_1902_30, r_0031_0012__carrying, restriction).
fof(formula,axiom,
? [R_0031_0002__OLD,R_0031_0001__AN_R_0031_0003__MOUSE,R_0031_0006__IN_AND_OUT,R_0031_0008__THE_R_0031_0009__STONE_R_0031_0010__DOORSTEP,R_0031_0004__WAS_R_0031_0005__RUNNING,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,Z_000_31_A_POTTER_1902_30] :
( r_0031_0002__old(R_0031_0002__OLD)
& r_0031_0006__in_and_out(R_0031_0006__IN_AND_OUT)
& 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_000_31_a_potter_1902_30(Z_000_31_A_POTTER_1902_30)
& has_conj1(Z_000_31_A_POTTER_1902_30,R_0031_0012__CARRYING)
& r_0031_0012__carrying(R_0031_0012__CARRYING)
& has_r_0031_0016__to_clr48(R_0031_0012__CARRYING,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_attrib5(R_0031_0001__AN_R_0031_0003__MOUSE,R_0031_0002__OLD)
& has_arg1(R_0031_0012__CARRYING,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_0001__AN_R_0031_0003__MOUSE)
& has_conj2(Z_000_31_A_POTTER_1902_30,R_0031_0004__WAS_R_0031_0005__RUNNING)
& r_0031_0004__was_r_0031_0005__running(R_0031_0004__WAS_R_0031_0005__RUNNING)
& has_r_0031_0007__over_nim21(R_0031_0004__WAS_R_0031_0005__RUNNING,R_0031_0008__THE_R_0031_0009__STONE_R_0031_0010__DOORSTEP)
& has_clr15(R_0031_0004__WAS_R_0031_0005__RUNNING,R_0031_0006__IN_AND_OUT)
& has_arg0(R_0031_0004__WAS_R_0031_0005__RUNNING,R_0031_0001__AN_R_0031_0003__MOUSE) ) ).
( (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))