Context                Previous, Next                Top


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.

%3 r_0007_0001__When When r_0007_0003__got got r_0007_0001__When->r_0007_0003__got [restriction] r_0007_0006__got got r_0007_0001__When->r_0007_0006__got [scope] r_0007_0002__I I r_0007_0003__got->r_0007_0002__I [arg0] r_0007_0004__downstairs downstairs r_0007_0003__got->r_0007_0004__downstairs [clr] r_0007_0006__got->r_0007_0002__I [arg0] r_0007_0007__the_r_0007_0008__frying__hyphen__pan the frying-pan r_0007_0006__got->r_0007_0007__the_r_0007_0008__frying__hyphen__pan [arg1] r_0007_0009__out out r_0007_0006__got->r_0007_0009__out [clr] r_0007_0010__and and r_0007_0010__and->r_0007_0001__When [conj1] r_0007_0017__and and r_0007_0010__and->r_0007_0017__and [conj2] r_0007_0013__went went r_0007_0017__and->r_0007_0013__went [conj1] r_0007_0018__got got r_0007_0017__and->r_0007_0018__got [conj2] r_0007_0013__went->r_0007_0002__I [arg0] r_0007_0011__then then r_0007_0013__went->r_0007_0011__then [nim] r_0007_0015__the_r_0007_0016__larder the larder r_0007_0013__went->r_0007_0015__the_r_0007_0016__larder over to [clr] r_0007_0018__got->r_0007_0002__I [arg0] r_0007_0018__got->r_0007_0011__then [nim] r_0007_0019__the_r_0007_0020__fat the fat r_0007_0018__got->r_0007_0019__the_r_0007_0020__fat [arg1] r_0007_0021__out out r_0007_0018__got->r_0007_0021__out [clr] 
arc(r_0007_0001__When, r_0007_0003__got, restriction).
arc(r_0007_0001__When, r_0007_0006__got, scope).
arc(r_0007_0003__got, r_0007_0002__I, arg0).
arc(r_0007_0003__got, r_0007_0004__downstairs, clr13).
arc(r_0007_0006__got, r_0007_0002__I, arg0).
arc(r_0007_0006__got, r_0007_0007__the_r_0007_0008__frying__hyphen__pan, arg1).
arc(r_0007_0006__got, r_0007_0009__out, clr26).
arc(r_0007_0010__and, r_0007_0001__When, 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, conj2).
arc(r_0007_0018__got, r_0007_0002__I, arg0).
arc(r_0007_0018__got, r_0007_0011__then, nim33).
arc(r_0007_0018__got, r_0007_0019__the_r_0007_0020__fat, arg1).
arc(r_0007_0018__got, r_0007_0021__out, clr62).


%3 r_0007_0001__When When r_0007_0003__got got r_0007_0001__When->r_0007_0003__got [restriction] r_0007_0006__got got r_0007_0001__When->r_0007_0006__got [scope] r_0007_0002__I I r_0007_0003__got->r_0007_0002__I [arg0] r_0007_0004__downstairs downstairs r_0007_0003__got->r_0007_0004__downstairs [clr] r_0007_0006__got->r_0007_0002__I [arg0] r_0007_0007__the_r_0007_0008__frying__hyphen__pan the frying-pan r_0007_0006__got->r_0007_0007__the_r_0007_0008__frying__hyphen__pan [arg1] r_0007_0009__out out r_0007_0006__got->r_0007_0009__out [clr] r_0007_0010__and and r_0007_0010__and->r_0007_0001__When [conj1] r_0007_0017__and and r_0007_0010__and->r_0007_0017__and [conj2] r_0007_0013__went went r_0007_0017__and->r_0007_0013__went [conj1] r_0007_0018__got got r_0007_0017__and->r_0007_0018__got [conj2] r_0007_0013__went->r_0007_0002__I [arg0] r_0007_0011__then then r_0007_0013__went->r_0007_0011__then [nim] r_0007_0015__the_r_0007_0016__larder the larder r_0007_0013__went->r_0007_0015__the_r_0007_0016__larder over to [clr] r_0007_0018__got->r_0007_0002__I [arg0] r_0007_0018__got->r_0007_0011__then [nim] r_0007_0019__the_r_0007_0020__fat the fat r_0007_0018__got->r_0007_0019__the_r_0007_0020__fat [arg1] r_0007_0021__out out r_0007_0018__got->r_0007_0021__out [clr] 
fof(formula,axiom,
    ? [R_7_10_AND,R_7_17_AND,R_7_13_WENT,R_7_15_THE_LARDER,R_7_18_GOT,R_7_2_I,R_7_19_THE_FAT,R_7_21_OUT,R_7_11_THEN] :
      ( the_larder(R_7_15_THE_LARDER)
      & i(R_7_2_I)
      & the_fat(R_7_19_THE_FAT)
      & out(R_7_21_OUT)
      & then(R_7_11_THEN)
      & ! [R_7_3_GOT,R_7_4_DOWNSTAIRS] :
          ( ( downstairs(R_7_4_DOWNSTAIRS)
            & got(R_7_3_GOT,R_7_2_I)
            & clr13(R_7_3_GOT,R_7_4_DOWNSTAIRS) )
         => ? [R_7_6_GOT,R_7_7_THE_FRYING_HYPHEN_PAN,R_7_9_OUT] :
              ( the_frying_hyphen_pan(R_7_7_THE_FRYING_HYPHEN_PAN)
              & out(R_7_9_OUT)
              & got(R_7_6_GOT,R_7_2_I,R_7_7_THE_FRYING_HYPHEN_PAN)
              & clr26(R_7_6_GOT,R_7_9_OUT) ) )
      & conj1(CONJ1)
      & and(R_7_10_AND)
      & conj2(R_7_10_AND,R_7_17_AND)
      & and(R_7_17_AND)
      & conj1(R_7_17_AND,R_7_13_WENT)
      & went(R_7_13_WENT,R_7_2_I)
      & nim33(R_7_13_WENT,R_7_11_THEN)
      & over_to_clr46(R_7_13_WENT,R_7_15_THE_LARDER)
      & conj2(R_7_17_AND,R_7_18_GOT)
      & got(R_7_18_GOT,R_7_2_I,R_7_19_THE_FAT)
      & clr62(R_7_18_GOT,R_7_21_OUT)
      & nim33(R_7_18_GOT,R_7_11_THEN) ) ).


n7_a_stories_10_k03 n7_a_stories_10_k03_6 When n7_a_stories_10_k03_10 I n7_a_stories_10_k03_12 got n7_a_stories_10_k03_15 downstairs n7_a_stories_10_k03_18 I n7_a_stories_10_k03_20 got n7_a_stories_10_k03_23 the n7_a_stories_10_k03_25 frying-pan n7_a_stories_10_k03_28 out n7_a_stories_10_k03_31 and n7_a_stories_10_k03_35 then n7_a_stories_10_k03_38 I n7_a_stories_10_k03_42 went n7_a_stories_10_k03_45 over_to n7_a_stories_10_k03_48 the n7_a_stories_10_k03_50 larder n7_a_stories_10_k03_53 and n7_a_stories_10_k03_56 got n7_a_stories_10_k03_59 the n7_a_stories_10_k03_61 fat n7_a_stories_10_k03_64 out n7_a_stories_10_k03_66 . n7_a_stories_10_k03_1 IP-MAT n7_a_stories_10_k03_2 ILYR n7_a_stories_10_k03_1->n7_a_stories_10_k03_2 n7_a_stories_10_k03_65 PUNC n7_a_stories_10_k03_1->n7_a_stories_10_k03_65 n7_a_stories_10_k03_3 ILYR n7_a_stories_10_k03_2->n7_a_stories_10_k03_3 n7_a_stories_10_k03_29 CONJP n7_a_stories_10_k03_2->n7_a_stories_10_k03_29 n7_a_stories_10_k03_4 PP-SCON n7_a_stories_10_k03_3->n7_a_stories_10_k03_4 n7_a_stories_10_k03_16 NP-SBJ n7_a_stories_10_k03_3->n7_a_stories_10_k03_16 n7_a_stories_10_k03_19 VBD;_Tn.p_ n7_a_stories_10_k03_3->n7_a_stories_10_k03_19 n7_a_stories_10_k03_21 NP-OB1 n7_a_stories_10_k03_3->n7_a_stories_10_k03_21 n7_a_stories_10_k03_26 ADVP-CLR n7_a_stories_10_k03_3->n7_a_stories_10_k03_26 n7_a_stories_10_k03_5 P-CONN n7_a_stories_10_k03_4->n7_a_stories_10_k03_5 n7_a_stories_10_k03_7 IP-ADV n7_a_stories_10_k03_4->n7_a_stories_10_k03_7 n7_a_stories_10_k03_5->n7_a_stories_10_k03_6 n7_a_stories_10_k03_8 NP-SBJ n7_a_stories_10_k03_7->n7_a_stories_10_k03_8 n7_a_stories_10_k03_11 VBD;_Ip_ n7_a_stories_10_k03_7->n7_a_stories_10_k03_11 n7_a_stories_10_k03_13 ADVP-CLR n7_a_stories_10_k03_7->n7_a_stories_10_k03_13 n7_a_stories_10_k03_9 PRO n7_a_stories_10_k03_8->n7_a_stories_10_k03_9 n7_a_stories_10_k03_9->n7_a_stories_10_k03_10 n7_a_stories_10_k03_11->n7_a_stories_10_k03_12 n7_a_stories_10_k03_14 ADV n7_a_stories_10_k03_13->n7_a_stories_10_k03_14 n7_a_stories_10_k03_14->n7_a_stories_10_k03_15 n7_a_stories_10_k03_17 PRO n7_a_stories_10_k03_16->n7_a_stories_10_k03_17 n7_a_stories_10_k03_17->n7_a_stories_10_k03_18 n7_a_stories_10_k03_19->n7_a_stories_10_k03_20 n7_a_stories_10_k03_22 D n7_a_stories_10_k03_21->n7_a_stories_10_k03_22 n7_a_stories_10_k03_24 N n7_a_stories_10_k03_21->n7_a_stories_10_k03_24 n7_a_stories_10_k03_22->n7_a_stories_10_k03_23 n7_a_stories_10_k03_24->n7_a_stories_10_k03_25 n7_a_stories_10_k03_27 RP n7_a_stories_10_k03_26->n7_a_stories_10_k03_27 n7_a_stories_10_k03_27->n7_a_stories_10_k03_28 n7_a_stories_10_k03_30 CONJ n7_a_stories_10_k03_29->n7_a_stories_10_k03_30 n7_a_stories_10_k03_32 ILYR n7_a_stories_10_k03_29->n7_a_stories_10_k03_32 n7_a_stories_10_k03_30->n7_a_stories_10_k03_31 n7_a_stories_10_k03_33 ADVP-NIM n7_a_stories_10_k03_32->n7_a_stories_10_k03_33 n7_a_stories_10_k03_36 NP-SBJ n7_a_stories_10_k03_32->n7_a_stories_10_k03_36 n7_a_stories_10_k03_39 ILYR n7_a_stories_10_k03_32->n7_a_stories_10_k03_39 n7_a_stories_10_k03_34 ADV n7_a_stories_10_k03_33->n7_a_stories_10_k03_34 n7_a_stories_10_k03_34->n7_a_stories_10_k03_35 n7_a_stories_10_k03_37 PRO n7_a_stories_10_k03_36->n7_a_stories_10_k03_37 n7_a_stories_10_k03_37->n7_a_stories_10_k03_38 n7_a_stories_10_k03_40 ILYR n7_a_stories_10_k03_39->n7_a_stories_10_k03_40 n7_a_stories_10_k03_51 CONJP n7_a_stories_10_k03_39->n7_a_stories_10_k03_51 n7_a_stories_10_k03_41 VBD;_Ipr_ n7_a_stories_10_k03_40->n7_a_stories_10_k03_41 n7_a_stories_10_k03_43 PP-CLR n7_a_stories_10_k03_40->n7_a_stories_10_k03_43 n7_a_stories_10_k03_41->n7_a_stories_10_k03_42 n7_a_stories_10_k03_44 P-ROLE n7_a_stories_10_k03_43->n7_a_stories_10_k03_44 n7_a_stories_10_k03_46 NP n7_a_stories_10_k03_43->n7_a_stories_10_k03_46 n7_a_stories_10_k03_44->n7_a_stories_10_k03_45 n7_a_stories_10_k03_47 D n7_a_stories_10_k03_46->n7_a_stories_10_k03_47 n7_a_stories_10_k03_49 N n7_a_stories_10_k03_46->n7_a_stories_10_k03_49 n7_a_stories_10_k03_47->n7_a_stories_10_k03_48 n7_a_stories_10_k03_49->n7_a_stories_10_k03_50 n7_a_stories_10_k03_52 CONJ n7_a_stories_10_k03_51->n7_a_stories_10_k03_52 n7_a_stories_10_k03_54 ILYR n7_a_stories_10_k03_51->n7_a_stories_10_k03_54 n7_a_stories_10_k03_52->n7_a_stories_10_k03_53 n7_a_stories_10_k03_55 VBD;_Tn.p_ n7_a_stories_10_k03_54->n7_a_stories_10_k03_55 n7_a_stories_10_k03_57 NP-OB1 n7_a_stories_10_k03_54->n7_a_stories_10_k03_57 n7_a_stories_10_k03_62 ADVP-CLR n7_a_stories_10_k03_54->n7_a_stories_10_k03_62 n7_a_stories_10_k03_55->n7_a_stories_10_k03_56 n7_a_stories_10_k03_58 D n7_a_stories_10_k03_57->n7_a_stories_10_k03_58 n7_a_stories_10_k03_60 N n7_a_stories_10_k03_57->n7_a_stories_10_k03_60 n7_a_stories_10_k03_58->n7_a_stories_10_k03_59 n7_a_stories_10_k03_60->n7_a_stories_10_k03_61 n7_a_stories_10_k03_63 RP n7_a_stories_10_k03_62->n7_a_stories_10_k03_63 n7_a_stories_10_k03_63->n7_a_stories_10_k03_64 n7_a_stories_10_k03_65->n7_a_stories_10_k03_66 
( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (NP-SBJ (PRO I;{I}))
                                       (VBD;_Ip_ got;{get[downstairs]})
                                       (ADVP-CLR (ADV downstairs;{downstairs}))))
                      (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn.p_ got;{get[out]})
                      (NP-OB1 (D the;{the})
                              (N frying_<hyphen>_pan;{frying_pan}))
                      (ADVP-CLR (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;_Tn.p_ got;{get[out]})
                                                (NP-OB1 (D the;{the})
                                                        (N fat;{fat}))
                                                (ADVP-CLR (RP out;{out}))))))))
          (PUNC .))
  (ID 7_a_stories_10_k03))