Context                Previous, Next                Top


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.

%3 r_0010_0001__When When r_0010_0004__was was r_0010_0001__When->r_0010_0004__was [restriction] r_0010_0007__turned turned r_0010_0001__When->r_0010_0007__turned [scope] r_0010_0005__melted melted r_0010_0004__was->r_0010_0005__melted [scope] r_0010_0006__I I r_0010_0007__turned->r_0010_0006__I [arg0] r_0010_0008__the_r_0010_0009__gas the gas r_0010_0007__turned->r_0010_0008__the_r_0010_0009__gas [arg1] r_0010_0010__off off r_0010_0007__turned->r_0010_0010__off [clr] r_0010_0002__the_r_0010_0003__fat the fat r_0010_0005__melted->r_0010_0002__the_r_0010_0003__fat [arg1] z_000_10_a_stories_10_k03_16 r_0010_0005__melted->z_000_10_a_stories_10_k03_16 [arg0] r_0010_0011__and and r_0010_0011__and->r_0010_0001__When [conj1] r_0010_0017__and and r_0010_0011__and->r_0010_0017__and [conj2] r_0010_0013__went went r_0010_0017__and->r_0010_0013__went [conj1] r_0010_0018__got got r_0010_0017__and->r_0010_0018__got [conj2] r_0010_0013__went->r_0010_0006__I [arg0] r_0010_0015__the_r_0010_0016__fridge the fridge r_0010_0013__went->r_0010_0015__the_r_0010_0016__fridge over to [clr] r_0010_0018__got->r_0010_0006__I [arg0] r_0010_0019__the_r_0010_0020__bacon the bacon r_0010_0018__got->r_0010_0019__the_r_0010_0020__bacon [arg1] r_0010_0021__out out r_0010_0018__got->r_0010_0021__out [clr] 
arc(r_0010_0001__When, r_0010_0004__was, restriction).
arc(r_0010_0001__When, r_0010_0007__turned, scope).
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_000_10_a_stories_10_k03_16, 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, clr30).
arc(r_0010_0011__and, r_0010_0001__When, 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_clr47).
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, clr63).


%3 r_0010_0001__When When r_0010_0004__was_r_0010_0005__melted was melted r_0010_0001__When->r_0010_0004__was_r_0010_0005__melted [restriction] r_0010_0007__turned turned r_0010_0001__When->r_0010_0007__turned [scope] r_0010_0002__the_r_0010_0003__fat the fat r_0010_0004__was_r_0010_0005__melted->r_0010_0002__the_r_0010_0003__fat [arg1] z_000_10_a_stories_10_k03_16 r_0010_0004__was_r_0010_0005__melted->z_000_10_a_stories_10_k03_16 [arg0] r_0010_0006__I I r_0010_0007__turned->r_0010_0006__I [arg0] r_0010_0008__the_r_0010_0009__gas the gas r_0010_0007__turned->r_0010_0008__the_r_0010_0009__gas [arg1] r_0010_0010__off off r_0010_0007__turned->r_0010_0010__off [clr] r_0010_0011__and and r_0010_0011__and->r_0010_0001__When [conj1] r_0010_0017__and and r_0010_0011__and->r_0010_0017__and [conj2] r_0010_0013__went went r_0010_0017__and->r_0010_0013__went [conj1] r_0010_0018__got got r_0010_0017__and->r_0010_0018__got [conj2] r_0010_0013__went->r_0010_0006__I [arg0] r_0010_0015__the_r_0010_0016__fridge the fridge r_0010_0013__went->r_0010_0015__the_r_0010_0016__fridge over to [clr] r_0010_0018__got->r_0010_0006__I [arg0] r_0010_0019__the_r_0010_0020__bacon the bacon r_0010_0018__got->r_0010_0019__the_r_0010_0020__bacon [arg1] r_0010_0021__out out r_0010_0018__got->r_0010_0021__out [clr] 
fof(formula,axiom,
    ? [R_10_11_AND,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_fridge(R_10_15_THE_FRIDGE)
      & i(R_10_6_I)
      & the_bacon(R_10_19_THE_BACON)
      & out(R_10_21_OUT)
      & ! [R_10_4_WAS_MELTED,Z_10_A_STORIES_10_K03_16,R_10_2_THE_FAT] :
          ( ( the_fat(R_10_2_THE_FAT)
            & was_melted(R_10_4_WAS_MELTED,Z_10_A_STORIES_10_K03_16,R_10_2_THE_FAT) )
         => ? [R_10_7_TURNED,R_10_8_THE_GAS,R_10_10_OFF] :
              ( the_gas(R_10_8_THE_GAS)
              & off(R_10_10_OFF)
              & turned(R_10_7_TURNED,R_10_6_I,R_10_8_THE_GAS)
              & clr30(R_10_7_TURNED,R_10_10_OFF) ) )
      & conj1(CONJ1)
      & and(R_10_11_AND)
      & 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_clr47(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)
      & clr63(R_10_18_GOT,R_10_21_OUT) ) ).


n10_a_stories_10_k03 n10_a_stories_10_k03_6 When n10_a_stories_10_k03_10 the n10_a_stories_10_k03_12 fat n10_a_stories_10_k03_14 was n10_a_stories_10_k03_17 * n10_a_stories_10_k03_19 melted n10_a_stories_10_k03_22 I n10_a_stories_10_k03_24 turned n10_a_stories_10_k03_27 the n10_a_stories_10_k03_29 gas n10_a_stories_10_k03_32 off n10_a_stories_10_k03_35 and n10_a_stories_10_k03_39 I n10_a_stories_10_k03_43 went n10_a_stories_10_k03_46 over_to n10_a_stories_10_k03_49 the n10_a_stories_10_k03_51 fridge n10_a_stories_10_k03_54 and n10_a_stories_10_k03_57 got n10_a_stories_10_k03_60 the n10_a_stories_10_k03_62 bacon n10_a_stories_10_k03_65 out n10_a_stories_10_k03_67 . n10_a_stories_10_k03_1 IP-MAT n10_a_stories_10_k03_2 ILYR n10_a_stories_10_k03_1->n10_a_stories_10_k03_2 n10_a_stories_10_k03_66 PUNC n10_a_stories_10_k03_1->n10_a_stories_10_k03_66 n10_a_stories_10_k03_3 ILYR n10_a_stories_10_k03_2->n10_a_stories_10_k03_3 n10_a_stories_10_k03_33 CONJP n10_a_stories_10_k03_2->n10_a_stories_10_k03_33 n10_a_stories_10_k03_4 PP-SCON n10_a_stories_10_k03_3->n10_a_stories_10_k03_4 n10_a_stories_10_k03_20 NP-SBJ n10_a_stories_10_k03_3->n10_a_stories_10_k03_20 n10_a_stories_10_k03_23 VBD;_Tn.p_ n10_a_stories_10_k03_3->n10_a_stories_10_k03_23 n10_a_stories_10_k03_25 NP-OB1 n10_a_stories_10_k03_3->n10_a_stories_10_k03_25 n10_a_stories_10_k03_30 ADVP-CLR n10_a_stories_10_k03_3->n10_a_stories_10_k03_30 n10_a_stories_10_k03_5 P-CONN n10_a_stories_10_k03_4->n10_a_stories_10_k03_5 n10_a_stories_10_k03_7 IP-ADV n10_a_stories_10_k03_4->n10_a_stories_10_k03_7 n10_a_stories_10_k03_5->n10_a_stories_10_k03_6 n10_a_stories_10_k03_8 NP-SBJ n10_a_stories_10_k03_7->n10_a_stories_10_k03_8 n10_a_stories_10_k03_13 BED;_cat_VePASS_ n10_a_stories_10_k03_7->n10_a_stories_10_k03_13 n10_a_stories_10_k03_15 IP-PPL-CAT n10_a_stories_10_k03_7->n10_a_stories_10_k03_15 n10_a_stories_10_k03_9 D n10_a_stories_10_k03_8->n10_a_stories_10_k03_9 n10_a_stories_10_k03_11 N n10_a_stories_10_k03_8->n10_a_stories_10_k03_11 n10_a_stories_10_k03_9->n10_a_stories_10_k03_10 n10_a_stories_10_k03_11->n10_a_stories_10_k03_12 n10_a_stories_10_k03_13->n10_a_stories_10_k03_14 n10_a_stories_10_k03_16 NP-LGS n10_a_stories_10_k03_15->n10_a_stories_10_k03_16 n10_a_stories_10_k03_18 VVN;_Tn_ n10_a_stories_10_k03_15->n10_a_stories_10_k03_18 n10_a_stories_10_k03_16->n10_a_stories_10_k03_17 n10_a_stories_10_k03_18->n10_a_stories_10_k03_19 n10_a_stories_10_k03_21 PRO n10_a_stories_10_k03_20->n10_a_stories_10_k03_21 n10_a_stories_10_k03_21->n10_a_stories_10_k03_22 n10_a_stories_10_k03_23->n10_a_stories_10_k03_24 n10_a_stories_10_k03_26 D n10_a_stories_10_k03_25->n10_a_stories_10_k03_26 n10_a_stories_10_k03_28 N n10_a_stories_10_k03_25->n10_a_stories_10_k03_28 n10_a_stories_10_k03_26->n10_a_stories_10_k03_27 n10_a_stories_10_k03_28->n10_a_stories_10_k03_29 n10_a_stories_10_k03_31 RP n10_a_stories_10_k03_30->n10_a_stories_10_k03_31 n10_a_stories_10_k03_31->n10_a_stories_10_k03_32 n10_a_stories_10_k03_34 CONJ n10_a_stories_10_k03_33->n10_a_stories_10_k03_34 n10_a_stories_10_k03_36 ILYR n10_a_stories_10_k03_33->n10_a_stories_10_k03_36 n10_a_stories_10_k03_34->n10_a_stories_10_k03_35 n10_a_stories_10_k03_37 NP-SBJ n10_a_stories_10_k03_36->n10_a_stories_10_k03_37 n10_a_stories_10_k03_40 ILYR n10_a_stories_10_k03_36->n10_a_stories_10_k03_40 n10_a_stories_10_k03_38 PRO n10_a_stories_10_k03_37->n10_a_stories_10_k03_38 n10_a_stories_10_k03_38->n10_a_stories_10_k03_39 n10_a_stories_10_k03_41 ILYR n10_a_stories_10_k03_40->n10_a_stories_10_k03_41 n10_a_stories_10_k03_52 CONJP n10_a_stories_10_k03_40->n10_a_stories_10_k03_52 n10_a_stories_10_k03_42 VBD;_Ipr_ n10_a_stories_10_k03_41->n10_a_stories_10_k03_42 n10_a_stories_10_k03_44 PP-CLR n10_a_stories_10_k03_41->n10_a_stories_10_k03_44 n10_a_stories_10_k03_42->n10_a_stories_10_k03_43 n10_a_stories_10_k03_45 P-ROLE n10_a_stories_10_k03_44->n10_a_stories_10_k03_45 n10_a_stories_10_k03_47 NP n10_a_stories_10_k03_44->n10_a_stories_10_k03_47 n10_a_stories_10_k03_45->n10_a_stories_10_k03_46 n10_a_stories_10_k03_48 D n10_a_stories_10_k03_47->n10_a_stories_10_k03_48 n10_a_stories_10_k03_50 N n10_a_stories_10_k03_47->n10_a_stories_10_k03_50 n10_a_stories_10_k03_48->n10_a_stories_10_k03_49 n10_a_stories_10_k03_50->n10_a_stories_10_k03_51 n10_a_stories_10_k03_53 CONJ n10_a_stories_10_k03_52->n10_a_stories_10_k03_53 n10_a_stories_10_k03_55 ILYR n10_a_stories_10_k03_52->n10_a_stories_10_k03_55 n10_a_stories_10_k03_53->n10_a_stories_10_k03_54 n10_a_stories_10_k03_56 VBD;_Tn.p_ n10_a_stories_10_k03_55->n10_a_stories_10_k03_56 n10_a_stories_10_k03_58 NP-OB1 n10_a_stories_10_k03_55->n10_a_stories_10_k03_58 n10_a_stories_10_k03_63 ADVP-CLR n10_a_stories_10_k03_55->n10_a_stories_10_k03_63 n10_a_stories_10_k03_56->n10_a_stories_10_k03_57 n10_a_stories_10_k03_59 D n10_a_stories_10_k03_58->n10_a_stories_10_k03_59 n10_a_stories_10_k03_61 N n10_a_stories_10_k03_58->n10_a_stories_10_k03_61 n10_a_stories_10_k03_59->n10_a_stories_10_k03_60 n10_a_stories_10_k03_61->n10_a_stories_10_k03_62 n10_a_stories_10_k03_64 RP n10_a_stories_10_k03_63->n10_a_stories_10_k03_64 n10_a_stories_10_k03_64->n10_a_stories_10_k03_65 n10_a_stories_10_k03_66->n10_a_stories_10_k03_67 
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (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))