7_a_stories_10_k03
When I got downstairs I got the frying-pan out and then I went over to the larder and got the fat out.
arc(r_0007_0003__got, r_0007_0002__I, arg0).
arc(r_0007_0003__got, r_0007_0004__downstairs, clr14).
arc(r_0007_0003__got, z_000_7_a_stories_10_k03_4, nim6).
arc(r_0007_0006__got_r_0007_0009__out, r_0007_0002__I, arg0).
arc(r_0007_0006__got_r_0007_0009__out, r_0007_0007__the_r_0007_0008__frying__hyphen__pan, arg1).
arc(r_0007_0006__got_r_0007_0009__out, z_000_7_a_stories_10_k03_4, nim4).
arc(r_0007_0010__and, r_0007_0006__got_r_0007_0009__out, conj1).
arc(r_0007_0010__and, r_0007_0017__and, conj2).
arc(r_0007_0013__went, r_0007_0002__I, arg0).
arc(r_0007_0013__went, r_0007_0011__then, nim33).
arc(r_0007_0013__went, r_0007_0015__the_r_0007_0016__larder, r_0007_0014__over_to_clr46).
arc(r_0007_0017__and, r_0007_0013__went, conj1).
arc(r_0007_0017__and, r_0007_0018__got_r_0007_0021__out, conj2).
arc(r_0007_0018__got_r_0007_0021__out, r_0007_0002__I, arg0).
arc(r_0007_0018__got_r_0007_0021__out, r_0007_0011__then, nim33).
arc(r_0007_0018__got_r_0007_0021__out, r_0007_0019__the_r_0007_0020__fat, arg1).
fof(formula,axiom,
? [R_0007_0002__I,R_0007_0004__DOWNSTAIRS,Z_000_7_A_STORIES_10_K03_4,R_0007_0003__GOT,R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN,R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0011__THEN,R_0007_0015__THE_R_0007_0016__LARDER,R_0007_0013__WENT,R_0007_0019__THE_R_0007_0020__FAT,R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0017__AND,R_0007_0010__AND] :
( r_0007_0002__I(R_0007_0002__I)
& r_0007_0004__downstairs(R_0007_0004__DOWNSTAIRS)
& r_0007_0007__the_r_0007_0008__frying__hyphen__pan(R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN)
& r_0007_0011__then(R_0007_0011__THEN)
& r_0007_0015__the_r_0007_0016__larder(R_0007_0015__THE_R_0007_0016__LARDER)
& r_0007_0019__the_r_0007_0020__fat(R_0007_0019__THE_R_0007_0020__FAT)
& z_000_7_a_stories_10_k03_4(Z_000_7_A_STORIES_10_K03_4)
& r_0007_0010__and(R_0007_0010__AND)
& has_conj2(R_0007_0010__AND,R_0007_0017__AND)
& r_0007_0017__and(R_0007_0017__AND)
& has_conj2(R_0007_0017__AND,R_0007_0018__GOT_R_0007_0021__OUT)
& r_0007_0018__got_r_0007_0021__out(R_0007_0018__GOT_R_0007_0021__OUT)
& has_arg1(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0019__THE_R_0007_0020__FAT)
& has_nim33(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0011__THEN)
& has_arg0(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0002__I)
& has_conj1(R_0007_0017__AND,R_0007_0013__WENT)
& r_0007_0013__went(R_0007_0013__WENT)
& has_r_0007_0014__over_to_clr46(R_0007_0013__WENT,R_0007_0015__THE_R_0007_0016__LARDER)
& has_nim33(R_0007_0013__WENT,R_0007_0011__THEN)
& has_arg0(R_0007_0013__WENT,R_0007_0002__I)
& has_conj1(R_0007_0010__AND,R_0007_0006__GOT_R_0007_0009__OUT)
& r_0007_0006__got_r_0007_0009__out(R_0007_0006__GOT_R_0007_0009__OUT)
& has_nim4(R_0007_0006__GOT_R_0007_0009__OUT,Z_000_7_A_STORIES_10_K03_4)
& has_arg1(R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN)
& has_arg0(R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0002__I)
& r_0007_0003__got(R_0007_0003__GOT)
& has_nim6(R_0007_0003__GOT,Z_000_7_A_STORIES_10_K03_4)
& has_clr14(R_0007_0003__GOT,R_0007_0004__DOWNSTAIRS)
& has_arg0(R_0007_0003__GOT,R_0007_0002__I) ) ).
( (IP-MAT (ILYR (ILYR (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
(NP-SBJ (PRO I;{I}))
(VBD;_Ip_ got;{get[downstairs]})
(ADVP-CLR (ADV downstairs;{downstairs}))))
(NP-SBJ (PRO I;{I}))
(VBD;_phr_Vn<=>p_ got;{get[out]})
(NP-OB1 (D the;{the})
(N frying_<hyphen>_pan;{frying_pan}))
(RP out;{out}))
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (ADV then;{then}))
(NP-SBJ (PRO I;{I}))
(ILYR (ILYR (VBD;_Ipr_ went;{go[over_to]})
(PP-CLR (P-ROLE over_to;{over_to})
(NP (D the;{the})
(N larder;{larder}))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_phr_Vn<=>p_ got;{get[out]})
(NP-OB1 (D the;{the})
(N fat;{fat}))
(RP out;{out})))))))
(PUNC .))
(ID 7_a_stories_10_k03))