10_a_stories_10_k03
When the fat was melted I turned the gas off and I went over to the fridge and got the bacon out.
arc(r_0010_0004__was, r_0010_0005__melted, scope).
arc(r_0010_0004__was, z_000_10_a_stories_10_k03_4, nim6).
arc(r_0010_0005__melted, r_0010_0002__the_r_0010_0003__fat, arg1).
arc(r_0010_0005__melted, z_000_10_a_stories_10_k03_17, arg0).
arc(r_0010_0007__turned, r_0010_0006__I, arg0).
arc(r_0010_0007__turned, r_0010_0008__the_r_0010_0009__gas, arg1).
arc(r_0010_0007__turned, r_0010_0010__off, clr31).
arc(r_0010_0007__turned, z_000_10_a_stories_10_k03_4, nim4).
arc(r_0010_0011__and, r_0010_0007__turned, conj1).
arc(r_0010_0011__and, r_0010_0017__and, conj2).
arc(r_0010_0013__went, r_0010_0006__I, arg0).
arc(r_0010_0013__went, r_0010_0015__the_r_0010_0016__fridge, r_0010_0014__over_to_clr48).
arc(r_0010_0017__and, r_0010_0013__went, conj1).
arc(r_0010_0017__and, r_0010_0018__got, conj2).
arc(r_0010_0018__got, r_0010_0006__I, arg0).
arc(r_0010_0018__got, r_0010_0019__the_r_0010_0020__bacon, arg1).
arc(r_0010_0018__got, r_0010_0021__out, clr64).
fof(formula,axiom,
? [Z_000_10_A_STORIES_10_K03_4,R_0010_0002__THE_R_0010_0003__FAT,Z_000_10_A_STORIES_10_K03_17,R_0010_0004__WAS_R_0010_0005__MELTED,R_0010_0006__I,R_0010_0008__THE_R_0010_0009__GAS,R_0010_0010__OFF,R_0010_0007__TURNED,R_0010_0015__THE_R_0010_0016__FRIDGE,R_0010_0013__WENT,R_0010_0019__THE_R_0010_0020__BACON,R_0010_0021__OUT,R_0010_0018__GOT,R_0010_0017__AND,R_0010_0011__AND] :
( r_0010_0002__the_r_0010_0003__fat(R_0010_0002__THE_R_0010_0003__FAT)
& r_0010_0006__I(R_0010_0006__I)
& r_0010_0008__the_r_0010_0009__gas(R_0010_0008__THE_R_0010_0009__GAS)
& r_0010_0010__off(R_0010_0010__OFF)
& r_0010_0015__the_r_0010_0016__fridge(R_0010_0015__THE_R_0010_0016__FRIDGE)
& r_0010_0019__the_r_0010_0020__bacon(R_0010_0019__THE_R_0010_0020__BACON)
& r_0010_0021__out(R_0010_0021__OUT)
& z_000_10_a_stories_10_k03_17(Z_000_10_A_STORIES_10_K03_17)
& z_000_10_a_stories_10_k03_4(Z_000_10_A_STORIES_10_K03_4)
& r_0010_0011__and(R_0010_0011__AND)
& has_conj2(R_0010_0011__AND,R_0010_0017__AND)
& r_0010_0017__and(R_0010_0017__AND)
& has_conj2(R_0010_0017__AND,R_0010_0018__GOT)
& r_0010_0018__got(R_0010_0018__GOT)
& has_clr64(R_0010_0018__GOT,R_0010_0021__OUT)
& has_arg1(R_0010_0018__GOT,R_0010_0019__THE_R_0010_0020__BACON)
& has_arg0(R_0010_0018__GOT,R_0010_0006__I)
& has_conj1(R_0010_0017__AND,R_0010_0013__WENT)
& r_0010_0013__went(R_0010_0013__WENT)
& has_r_0010_0014__over_to_clr48(R_0010_0013__WENT,R_0010_0015__THE_R_0010_0016__FRIDGE)
& has_arg0(R_0010_0013__WENT,R_0010_0006__I)
& has_conj1(R_0010_0011__AND,R_0010_0007__TURNED)
& r_0010_0007__turned(R_0010_0007__TURNED)
& has_nim4(R_0010_0007__TURNED,Z_000_10_A_STORIES_10_K03_4)
& has_clr31(R_0010_0007__TURNED,R_0010_0010__OFF)
& has_arg1(R_0010_0007__TURNED,R_0010_0008__THE_R_0010_0009__GAS)
& has_arg0(R_0010_0007__TURNED,R_0010_0006__I)
& r_0010_0004__was_r_0010_0005__melted(R_0010_0004__WAS_R_0010_0005__MELTED)
& has_arg0(R_0010_0004__WAS_R_0010_0005__MELTED,Z_000_10_A_STORIES_10_K03_17)
& has_arg1(R_0010_0004__WAS_R_0010_0005__MELTED,R_0010_0002__THE_R_0010_0003__FAT)
& has_nim6(R_0010_0004__WAS_R_0010_0005__MELTED,Z_000_10_A_STORIES_10_K03_4) ) ).
( (IP-MAT (ILYR (ILYR (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
(NP-SBJ;{FAT} (D the;{the})
(N fat;{fat}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ melted;{melt}))))
(NP-SBJ (PRO I;{I}))
(VBD;_Tn.p_ turned;{turn[off]})
(NP-OB1;{GAS} (D the;{the})
(N gas;{gas}))
(ADVP-CLR (RP off;{off})))
(CONJP (CONJ and;{and})
(ILYR (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 fridge;{fridge}))))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn.p_ got;{get[out]})
(NP-OB1;{BACON} (D the;{the})
(N bacon;{bacon}))
(ADVP-CLR (RP out;{out}))))))))
(PUNC .))
(ID 10_a_stories_10_k03))