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,
    ? [R_10_4_WAS_MELTED,Z_10_A_STORIES_10_K03_17,R_10_2_THE_FAT,R_10_11_AND,R_10_7_TURNED,R_10_8_THE_GAS,R_10_10_OFF,Z_10_A_STORIES_10_K03_4,R_10_17_AND,R_10_13_WENT,R_10_15_THE_FRIDGE,R_10_18_GOT,R_10_6_I,R_10_19_THE_BACON,R_10_21_OUT] :
      ( the_fat(R_10_2_THE_FAT)
      & the_gas(R_10_8_THE_GAS)
      & off(R_10_10_OFF)
      & the_fridge(R_10_15_THE_FRIDGE)
      & i(R_10_6_I)
      & the_bacon(R_10_19_THE_BACON)
      & out(R_10_21_OUT)
      & was_melted(R_10_4_WAS_MELTED,Z_10_A_STORIES_10_K03_17,R_10_2_THE_FAT)
      & nim6(R_10_4_WAS_MELTED,Z_10_A_STORIES_10_K03_4)
      & and(R_10_11_AND)
      & conj1(R_10_11_AND,R_10_7_TURNED)
      & turned(R_10_7_TURNED,R_10_6_I,R_10_8_THE_GAS)
      & clr31(R_10_7_TURNED,R_10_10_OFF)
      & nim4(R_10_7_TURNED,Z_10_A_STORIES_10_K03_4)
      & conj2(R_10_11_AND,R_10_17_AND)
      & and(R_10_17_AND)
      & conj1(R_10_17_AND,R_10_13_WENT)
      & went(R_10_13_WENT,R_10_6_I)
      & over_to_clr48(R_10_13_WENT,R_10_15_THE_FRIDGE)
      & conj2(R_10_17_AND,R_10_18_GOT)
      & got(R_10_18_GOT,R_10_6_I,R_10_19_THE_BACON)
      & clr64(R_10_18_GOT,R_10_21_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))