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.

n7_a_stories_10_k03 n7_a_stories_10_k03__1_1_1_1_1_1_1_1 When n7_a_stories_10_k03__1_1_1_1_1_2_1_1 I n7_a_stories_10_k03__1_1_1_1_1_3_1 got n7_a_stories_10_k03__1_1_1_1_1_4_1_1 downstairs n7_a_stories_10_k03__1_1_1_2_1_1 I n7_a_stories_10_k03__1_1_1_3_1 got n7_a_stories_10_k03__1_1_1_4_1_1 the n7_a_stories_10_k03__1_1_1_4_2_1 frying-pan n7_a_stories_10_k03__1_1_1_5_1 out n7_a_stories_10_k03__1_1_2_1_1 and n7_a_stories_10_k03__1_1_2_2_1_1_1 then n7_a_stories_10_k03__1_1_2_2_2_1_1 I n7_a_stories_10_k03__1_1_2_2_3_1_1_1 went n7_a_stories_10_k03__1_1_2_2_3_1_2_1_1 over_to n7_a_stories_10_k03__1_1_2_2_3_1_2_2_1_1 the n7_a_stories_10_k03__1_1_2_2_3_1_2_2_2_1 larder n7_a_stories_10_k03__1_1_2_2_3_2_1_1 and n7_a_stories_10_k03__1_1_2_2_3_2_2_1_1 got n7_a_stories_10_k03__1_1_2_2_3_2_2_2_1_1 the n7_a_stories_10_k03__1_1_2_2_3_2_2_2_2_1 fat n7_a_stories_10_k03__1_1_2_2_3_2_2_3_1 out n7_a_stories_10_k03__1_2_1 . n7_a_stories_10_k03__1 IP-MAT n7_a_stories_10_k03__1_1 ILYR n7_a_stories_10_k03__1->n7_a_stories_10_k03__1_1 n7_a_stories_10_k03__1_2 PUNC n7_a_stories_10_k03__1->n7_a_stories_10_k03__1_2 n7_a_stories_10_k03__1_1_1 ILYR n7_a_stories_10_k03__1_1->n7_a_stories_10_k03__1_1_1 n7_a_stories_10_k03__1_1_2 CONJP n7_a_stories_10_k03__1_1->n7_a_stories_10_k03__1_1_2 n7_a_stories_10_k03__1_1_1_1 NP-NIM n7_a_stories_10_k03__1_1_1->n7_a_stories_10_k03__1_1_1_1 n7_a_stories_10_k03__1_1_1_2 NP-SBJ n7_a_stories_10_k03__1_1_1->n7_a_stories_10_k03__1_1_1_2 n7_a_stories_10_k03__1_1_1_3 VBD;_phr_Vn<=>p_ n7_a_stories_10_k03__1_1_1->n7_a_stories_10_k03__1_1_1_3 n7_a_stories_10_k03__1_1_1_4 NP-OB1 n7_a_stories_10_k03__1_1_1->n7_a_stories_10_k03__1_1_1_4 n7_a_stories_10_k03__1_1_1_5 RP n7_a_stories_10_k03__1_1_1->n7_a_stories_10_k03__1_1_1_5 n7_a_stories_10_k03__1_1_1_1_1 IP-REL n7_a_stories_10_k03__1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1 n7_a_stories_10_k03__1_1_1_1_1_1 ADVP-NIM n7_a_stories_10_k03__1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_1 n7_a_stories_10_k03__1_1_1_1_1_2 NP-SBJ n7_a_stories_10_k03__1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_2 n7_a_stories_10_k03__1_1_1_1_1_3 VBD;_Ip_ n7_a_stories_10_k03__1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_3 n7_a_stories_10_k03__1_1_1_1_1_4 ADVP-CLR n7_a_stories_10_k03__1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_4 n7_a_stories_10_k03__1_1_1_1_1_1_1 RADV n7_a_stories_10_k03__1_1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_1_1 n7_a_stories_10_k03__1_1_1_1_1_1_1->n7_a_stories_10_k03__1_1_1_1_1_1_1_1 n7_a_stories_10_k03__1_1_1_1_1_2_1 PRO n7_a_stories_10_k03__1_1_1_1_1_2->n7_a_stories_10_k03__1_1_1_1_1_2_1 n7_a_stories_10_k03__1_1_1_1_1_2_1->n7_a_stories_10_k03__1_1_1_1_1_2_1_1 n7_a_stories_10_k03__1_1_1_1_1_3->n7_a_stories_10_k03__1_1_1_1_1_3_1 n7_a_stories_10_k03__1_1_1_1_1_4_1 ADV n7_a_stories_10_k03__1_1_1_1_1_4->n7_a_stories_10_k03__1_1_1_1_1_4_1 n7_a_stories_10_k03__1_1_1_1_1_4_1->n7_a_stories_10_k03__1_1_1_1_1_4_1_1 n7_a_stories_10_k03__1_1_1_2_1 PRO n7_a_stories_10_k03__1_1_1_2->n7_a_stories_10_k03__1_1_1_2_1 n7_a_stories_10_k03__1_1_1_2_1->n7_a_stories_10_k03__1_1_1_2_1_1 n7_a_stories_10_k03__1_1_1_3->n7_a_stories_10_k03__1_1_1_3_1 n7_a_stories_10_k03__1_1_1_4_1 D n7_a_stories_10_k03__1_1_1_4->n7_a_stories_10_k03__1_1_1_4_1 n7_a_stories_10_k03__1_1_1_4_2 N n7_a_stories_10_k03__1_1_1_4->n7_a_stories_10_k03__1_1_1_4_2 n7_a_stories_10_k03__1_1_1_4_1->n7_a_stories_10_k03__1_1_1_4_1_1 n7_a_stories_10_k03__1_1_1_4_2->n7_a_stories_10_k03__1_1_1_4_2_1 n7_a_stories_10_k03__1_1_1_5->n7_a_stories_10_k03__1_1_1_5_1 n7_a_stories_10_k03__1_1_2_1 CONJ n7_a_stories_10_k03__1_1_2->n7_a_stories_10_k03__1_1_2_1 n7_a_stories_10_k03__1_1_2_2 ILYR n7_a_stories_10_k03__1_1_2->n7_a_stories_10_k03__1_1_2_2 n7_a_stories_10_k03__1_1_2_1->n7_a_stories_10_k03__1_1_2_1_1 n7_a_stories_10_k03__1_1_2_2_1 ADVP-NIM n7_a_stories_10_k03__1_1_2_2->n7_a_stories_10_k03__1_1_2_2_1 n7_a_stories_10_k03__1_1_2_2_2 NP-SBJ n7_a_stories_10_k03__1_1_2_2->n7_a_stories_10_k03__1_1_2_2_2 n7_a_stories_10_k03__1_1_2_2_3 ILYR n7_a_stories_10_k03__1_1_2_2->n7_a_stories_10_k03__1_1_2_2_3 n7_a_stories_10_k03__1_1_2_2_1_1 ADV n7_a_stories_10_k03__1_1_2_2_1->n7_a_stories_10_k03__1_1_2_2_1_1 n7_a_stories_10_k03__1_1_2_2_1_1->n7_a_stories_10_k03__1_1_2_2_1_1_1 n7_a_stories_10_k03__1_1_2_2_2_1 PRO n7_a_stories_10_k03__1_1_2_2_2->n7_a_stories_10_k03__1_1_2_2_2_1 n7_a_stories_10_k03__1_1_2_2_2_1->n7_a_stories_10_k03__1_1_2_2_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_1 ILYR n7_a_stories_10_k03__1_1_2_2_3->n7_a_stories_10_k03__1_1_2_2_3_1 n7_a_stories_10_k03__1_1_2_2_3_2 CONJP n7_a_stories_10_k03__1_1_2_2_3->n7_a_stories_10_k03__1_1_2_2_3_2 n7_a_stories_10_k03__1_1_2_2_3_1_1 VBD;_Ipr_ n7_a_stories_10_k03__1_1_2_2_3_1->n7_a_stories_10_k03__1_1_2_2_3_1_1 n7_a_stories_10_k03__1_1_2_2_3_1_2 PP-CLR n7_a_stories_10_k03__1_1_2_2_3_1->n7_a_stories_10_k03__1_1_2_2_3_1_2 n7_a_stories_10_k03__1_1_2_2_3_1_1->n7_a_stories_10_k03__1_1_2_2_3_1_1_1 n7_a_stories_10_k03__1_1_2_2_3_1_2_1 P-ROLE n7_a_stories_10_k03__1_1_2_2_3_1_2->n7_a_stories_10_k03__1_1_2_2_3_1_2_1 n7_a_stories_10_k03__1_1_2_2_3_1_2_2 NP n7_a_stories_10_k03__1_1_2_2_3_1_2->n7_a_stories_10_k03__1_1_2_2_3_1_2_2 n7_a_stories_10_k03__1_1_2_2_3_1_2_1->n7_a_stories_10_k03__1_1_2_2_3_1_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_1_2_2_1 D n7_a_stories_10_k03__1_1_2_2_3_1_2_2->n7_a_stories_10_k03__1_1_2_2_3_1_2_2_1 n7_a_stories_10_k03__1_1_2_2_3_1_2_2_2 N n7_a_stories_10_k03__1_1_2_2_3_1_2_2->n7_a_stories_10_k03__1_1_2_2_3_1_2_2_2 n7_a_stories_10_k03__1_1_2_2_3_1_2_2_1->n7_a_stories_10_k03__1_1_2_2_3_1_2_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_1_2_2_2->n7_a_stories_10_k03__1_1_2_2_3_1_2_2_2_1 n7_a_stories_10_k03__1_1_2_2_3_2_1 CONJ n7_a_stories_10_k03__1_1_2_2_3_2->n7_a_stories_10_k03__1_1_2_2_3_2_1 n7_a_stories_10_k03__1_1_2_2_3_2_2 ILYR n7_a_stories_10_k03__1_1_2_2_3_2->n7_a_stories_10_k03__1_1_2_2_3_2_2 n7_a_stories_10_k03__1_1_2_2_3_2_1->n7_a_stories_10_k03__1_1_2_2_3_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_1 VBD;_phr_Vn<=>p_ n7_a_stories_10_k03__1_1_2_2_3_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_2 NP-OB1 n7_a_stories_10_k03__1_1_2_2_3_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_2 n7_a_stories_10_k03__1_1_2_2_3_2_2_3 RP n7_a_stories_10_k03__1_1_2_2_3_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_3 n7_a_stories_10_k03__1_1_2_2_3_2_2_1->n7_a_stories_10_k03__1_1_2_2_3_2_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_2_1 D n7_a_stories_10_k03__1_1_2_2_3_2_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_2_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_2_2 N n7_a_stories_10_k03__1_1_2_2_3_2_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_2_2 n7_a_stories_10_k03__1_1_2_2_3_2_2_2_1->n7_a_stories_10_k03__1_1_2_2_3_2_2_2_1_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_2_2->n7_a_stories_10_k03__1_1_2_2_3_2_2_2_2_1 n7_a_stories_10_k03__1_1_2_2_3_2_2_3->n7_a_stories_10_k03__1_1_2_2_3_2_2_3_1 n7_a_stories_10_k03__1_2->n7_a_stories_10_k03__1_2_1
( (IP-MAT (ILYR (ILYR (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                                      (NP-SBJ (PRO I;{I}))
                                      (VBD;_Ip_ got;{get[downstairs]})
                                      (ADVP-CLR (ADV downstairs;{downstairs}))))
                      (NP-SBJ (PRO I;{I}))
                      (VBD;_phr_Vn<=>p_ got;{get[out]})
                      (NP-OB1 (D the;{the})
                              (N frying_<hyphen>_pan;{frying_pan}))
                      (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;_phr_Vn<=>p_ got;{get[out]})
                                                (NP-OB1 (D the;{the})
                                                        (N fat;{fat}))
                                                (RP out;{out})))))))
          (PUNC .))
  (ID 7_a_stories_10_k03))



%3 r_0007_0018__got_r_0007_0021__out got out r_0007_0019__the_r_0007_0020__fat the fat r_0007_0018__got_r_0007_0021__out->r_0007_0019__the_r_0007_0020__fat [arg1] r_0007_0011__then then r_0007_0018__got_r_0007_0021__out->r_0007_0011__then [nim] r_0007_0002__I I r_0007_0018__got_r_0007_0021__out->r_0007_0002__I [arg0] r_0007_0017__and and r_0007_0017__and->r_0007_0018__got_r_0007_0021__out [conj2] r_0007_0013__went_r_0007_0014__over_to went over_to r_0007_0017__and->r_0007_0013__went_r_0007_0014__over_to [conj1] r_0007_0013__went_r_0007_0014__over_to->r_0007_0011__then [nim] r_0007_0013__went_r_0007_0014__over_to->r_0007_0002__I [arg0] r_0007_0015__the_r_0007_0016__larder the larder r_0007_0013__went_r_0007_0014__over_to->r_0007_0015__the_r_0007_0016__larder [arg1] r_0007_0010__and and r_0007_0010__and->r_0007_0017__and [conj2] r_0007_0006__got_r_0007_0009__out got out r_0007_0010__and->r_0007_0006__got_r_0007_0009__out [conj1] r_0007_0006__got_r_0007_0009__out->r_0007_0002__I [arg0] r_0007_0007__the_r_0007_0008__frying__hyphen__pan the frying-pan r_0007_0006__got_r_0007_0009__out->r_0007_0007__the_r_0007_0008__frying__hyphen__pan [arg1] r_0007_0001__When When r_0007_0006__got_r_0007_0009__out->r_0007_0001__When [nim] r_0007_0003__got_r_0007_0004__downstairs got downstairs r_0007_0003__got_r_0007_0004__downstairs->r_0007_0002__I [arg0] r_0007_0003__got_r_0007_0004__downstairs->r_0007_0001__When [nim]
arc(r_0007_0003__got_r_0007_0004__downstairs,r_0007_0001__When,nim).
arc(r_0007_0003__got_r_0007_0004__downstairs,r_0007_0002__I,arg0).
arc(r_0007_0006__got_r_0007_0009__out,r_0007_0001__When,nim).
arc(r_0007_0006__got_r_0007_0009__out,r_0007_0002__I,arg0).
arc(r_0007_0006__got_r_0007_0009__out,r_0007_0007__the_r_0007_0008__frying__hyphen__pan,arg1).
arc(r_0007_0010__and,r_0007_0006__got_r_0007_0009__out,conj1).
arc(r_0007_0010__and,r_0007_0017__and,conj2).
arc(r_0007_0013__went_r_0007_0014__over_to,r_0007_0002__I,arg0).
arc(r_0007_0013__went_r_0007_0014__over_to,r_0007_0011__then,nim).
arc(r_0007_0013__went_r_0007_0014__over_to,r_0007_0015__the_r_0007_0016__larder,arg1).
arc(r_0007_0017__and,r_0007_0013__went_r_0007_0014__over_to,conj1).
arc(r_0007_0017__and,r_0007_0018__got_r_0007_0021__out,conj2).
arc(r_0007_0018__got_r_0007_0021__out,r_0007_0002__I,arg0).
arc(r_0007_0018__got_r_0007_0021__out,r_0007_0011__then,nim).
arc(r_0007_0018__got_r_0007_0021__out,r_0007_0019__the_r_0007_0020__fat,arg1).



%3 r_0007_0003__got_r_0007_0004__downstairs got downstairs r_0007_0001__When When r_0007_0003__got_r_0007_0004__downstairs->r_0007_0001__When [nim] r_0007_0002__I I r_0007_0003__got_r_0007_0004__downstairs->r_0007_0002__I [arg0] r_0007_0006__got_r_0007_0009__out got out r_0007_0006__got_r_0007_0009__out->r_0007_0001__When [nim] r_0007_0006__got_r_0007_0009__out->r_0007_0002__I [arg0] r_0007_0007__the_r_0007_0008__frying__hyphen__pan the frying-pan r_0007_0006__got_r_0007_0009__out->r_0007_0007__the_r_0007_0008__frying__hyphen__pan [arg1] r_0007_0010__and and r_0007_0010__and->r_0007_0006__got_r_0007_0009__out [conj1] r_0007_0017__and and r_0007_0010__and->r_0007_0017__and [conj2] r_0007_0013__went_r_0007_0014__over_to went over_to r_0007_0017__and->r_0007_0013__went_r_0007_0014__over_to [conj1] r_0007_0018__got_r_0007_0021__out got out r_0007_0017__and->r_0007_0018__got_r_0007_0021__out [conj2] r_0007_0013__went_r_0007_0014__over_to->r_0007_0002__I [arg0] r_0007_0011__then then r_0007_0013__went_r_0007_0014__over_to->r_0007_0011__then [nim] r_0007_0015__the_r_0007_0016__larder the larder r_0007_0013__went_r_0007_0014__over_to->r_0007_0015__the_r_0007_0016__larder [arg1] r_0007_0018__got_r_0007_0021__out->r_0007_0002__I [arg0] r_0007_0018__got_r_0007_0021__out->r_0007_0011__then [nim] r_0007_0019__the_r_0007_0020__fat the fat r_0007_0018__got_r_0007_0021__out->r_0007_0019__the_r_0007_0020__fat [arg1]
fof(formula,axiom,
    ? [R_0007_0001__WHEN,R_0007_0002__I,R_0007_0003__GOT_R_0007_0004__DOWNSTAIRS,R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN,R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0011__THEN,R_0007_0015__THE_R_0007_0016__LARDER,R_0007_0013__WENT_R_0007_0014__OVER_TO,R_0007_0019__THE_R_0007_0020__FAT,R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0017__AND,R_0007_0010__AND] :
      ( r_0007_0001__When(R_0007_0001__WHEN)
      & r_0007_0002__I(R_0007_0002__I)
      & r_0007_0007__the_r_0007_0008__frying__hyphen__pan(R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN)
      & r_0007_0011__then(R_0007_0011__THEN)
      & r_0007_0015__the_r_0007_0016__larder(R_0007_0015__THE_R_0007_0016__LARDER)
      & r_0007_0019__the_r_0007_0020__fat(R_0007_0019__THE_R_0007_0020__FAT)
      & r_0007_0010__and(R_0007_0010__AND)
      & has_conj2(R_0007_0010__AND,R_0007_0017__AND)
      & r_0007_0017__and(R_0007_0017__AND)
      & has_conj2(R_0007_0017__AND,R_0007_0018__GOT_R_0007_0021__OUT)
      & r_0007_0018__got_r_0007_0021__out(R_0007_0018__GOT_R_0007_0021__OUT)
      & has_arg1(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0019__THE_R_0007_0020__FAT)
      & has_nim(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0011__THEN)
      & has_arg0(R_0007_0018__GOT_R_0007_0021__OUT,R_0007_0002__I)
      & has_conj1(R_0007_0017__AND,R_0007_0013__WENT_R_0007_0014__OVER_TO)
      & r_0007_0013__went_r_0007_0014__over_to(R_0007_0013__WENT_R_0007_0014__OVER_TO)
      & has_arg1(R_0007_0013__WENT_R_0007_0014__OVER_TO,R_0007_0015__THE_R_0007_0016__LARDER)
      & has_nim(R_0007_0013__WENT_R_0007_0014__OVER_TO,R_0007_0011__THEN)
      & has_arg0(R_0007_0013__WENT_R_0007_0014__OVER_TO,R_0007_0002__I)
      & has_conj1(R_0007_0010__AND,R_0007_0006__GOT_R_0007_0009__OUT)
      & r_0007_0006__got_r_0007_0009__out(R_0007_0006__GOT_R_0007_0009__OUT)
      & has_arg1(R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0007__THE_R_0007_0008__FRYING__HYPHEN__PAN)
      & has_arg0(R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0002__I)
      & has_nim(R_0007_0006__GOT_R_0007_0009__OUT,R_0007_0001__WHEN)
      & r_0007_0003__got_r_0007_0004__downstairs(R_0007_0003__GOT_R_0007_0004__DOWNSTAIRS)
      & has_arg0(R_0007_0003__GOT_R_0007_0004__DOWNSTAIRS,R_0007_0002__I)
      & has_nim(R_0007_0003__GOT_R_0007_0004__DOWNSTAIRS,R_0007_0001__WHEN) ) ).