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.
( (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))
arc(r_0010_0004__was,r_0010_0001__When,nim).
arc(r_0010_0004__was,r_0010_0005__melted,scope).
arc(r_0010_0005__melted,r_0010_0002__the_r_0010_0003__fat,arg1).
arc(r_0010_0005__melted,z_0010_5004___star_,arg0).
arc(r_0010_0007__turned_r_0010_0010__off,r_0010_0001__When,nim).
arc(r_0010_0007__turned_r_0010_0010__off,r_0010_0006__I,arg0).
arc(r_0010_0007__turned_r_0010_0010__off,r_0010_0008__the_r_0010_0009__gas,arg1).
arc(r_0010_0011__and,r_0010_0007__turned_r_0010_0010__off,conj1).
arc(r_0010_0011__and,r_0010_0017__and,conj2).
arc(r_0010_0013__went_r_0010_0014__over_to,r_0010_0006__I,arg0).
arc(r_0010_0013__went_r_0010_0014__over_to,r_0010_0015__the_r_0010_0016__fridge,arg1).
arc(r_0010_0017__and,r_0010_0013__went_r_0010_0014__over_to,conj1).
arc(r_0010_0017__and,r_0010_0018__got_r_0010_0021__out,conj2).
arc(r_0010_0018__got_r_0010_0021__out,r_0010_0006__I,arg0).
arc(r_0010_0018__got_r_0010_0021__out,r_0010_0019__the_r_0010_0020__bacon,arg1).
fof(formula,axiom,
? [R_0010_0001__WHEN,R_0010_0002__THE_R_0010_0003__FAT,Z_0010_5004___STAR_,R_0010_0004__WAS_R_0010_0005__MELTED,R_0010_0006__I,R_0010_0008__THE_R_0010_0009__GAS,R_0010_0007__TURNED_R_0010_0010__OFF,R_0010_0015__THE_R_0010_0016__FRIDGE,R_0010_0013__WENT_R_0010_0014__OVER_TO,R_0010_0019__THE_R_0010_0020__BACON,R_0010_0018__GOT_R_0010_0021__OUT,R_0010_0017__AND,R_0010_0011__AND] :
( r_0010_0001__When(R_0010_0001__WHEN)
& 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_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)
& z_0010_5004___star_(Z_0010_5004___STAR_)
& 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_0021__OUT)
& r_0010_0018__got_r_0010_0021__out(R_0010_0018__GOT_R_0010_0021__OUT)
& has_arg1(R_0010_0018__GOT_R_0010_0021__OUT,R_0010_0019__THE_R_0010_0020__BACON)
& has_arg0(R_0010_0018__GOT_R_0010_0021__OUT,R_0010_0006__I)
& has_conj1(R_0010_0017__AND,R_0010_0013__WENT_R_0010_0014__OVER_TO)
& r_0010_0013__went_r_0010_0014__over_to(R_0010_0013__WENT_R_0010_0014__OVER_TO)
& has_arg1(R_0010_0013__WENT_R_0010_0014__OVER_TO,R_0010_0015__THE_R_0010_0016__FRIDGE)
& has_arg0(R_0010_0013__WENT_R_0010_0014__OVER_TO,R_0010_0006__I)
& has_conj1(R_0010_0011__AND,R_0010_0007__TURNED_R_0010_0010__OFF)
& r_0010_0007__turned_r_0010_0010__off(R_0010_0007__TURNED_R_0010_0010__OFF)
& has_arg1(R_0010_0007__TURNED_R_0010_0010__OFF,R_0010_0008__THE_R_0010_0009__GAS)
& has_arg0(R_0010_0007__TURNED_R_0010_0010__OFF,R_0010_0006__I)
& has_nim(R_0010_0007__TURNED_R_0010_0010__OFF,R_0010_0001__WHEN)
& 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_0010_5004___STAR_)
& has_arg1(R_0010_0004__WAS_R_0010_0005__MELTED,R_0010_0002__THE_R_0010_0003__FAT)
& has_nim(R_0010_0004__WAS_R_0010_0005__MELTED,R_0010_0001__WHEN) ) ).