Context                Previous, Next                Top


12_a_stories_10_k03
I just realised that I hadn't done the bread and butter and so I did that.

%3 r_0012_0003__realised realised r_0012_0001__I I r_0012_0003__realised->r_0012_0001__I [arg0] r_0012_0002__just just r_0012_0003__realised->r_0012_0002__just [nim] r_0012_0007__n_apos_t n't r_0012_0003__realised->r_0012_0007__n_apos_t [arg1] r_0012_0004__that_r_0012_0006__had that had r_0012_0007__n_apos_t->r_0012_0004__that_r_0012_0006__had [keep_scope] r_0012_0008__done done r_0012_0004__that_r_0012_0006__had->r_0012_0008__done [scope] r_0012_0008__done->r_0012_0001__I [arg0] r_0012_0011__and and r_0012_0008__done->r_0012_0011__and [arg1] r_0012_0010__bread bread r_0012_0011__and->r_0012_0010__bread [conj1] r_0012_0012__butter butter r_0012_0011__and->r_0012_0012__butter [conj2] r_0012_0013__and and r_0012_0013__and->r_0012_0003__realised [conj1] r_0012_0016__did did r_0012_0013__and->r_0012_0016__did [conj2] r_0012_0016__did->r_0012_0001__I [arg0] r_0012_0014__so so r_0012_0016__did->r_0012_0014__so [nim] r_0012_0017__that that r_0012_0016__did->r_0012_0017__that [arg1] 
arc(r_0012_0003__realised, r_0012_0001__I, arg0).
arc(r_0012_0003__realised, r_0012_0002__just, nim7).
arc(r_0012_0003__realised, r_0012_0007__n_apos_t, arg1).
arc(r_0012_0004__that_r_0012_0006__had, r_0012_0008__done, scope).
arc(r_0012_0007__n_apos_t, r_0012_0004__that_r_0012_0006__had, keep_scope).
arc(r_0012_0008__done, r_0012_0001__I, arg0).
arc(r_0012_0008__done, r_0012_0011__and, arg1).
arc(r_0012_0011__and, r_0012_0010__bread, conj1).
arc(r_0012_0011__and, r_0012_0012__butter, conj2).
arc(r_0012_0013__and, r_0012_0003__realised, conj1).
arc(r_0012_0013__and, r_0012_0016__did, conj2).
arc(r_0012_0016__did, r_0012_0001__I, arg0).
arc(r_0012_0016__did, r_0012_0014__so, nim43).
arc(r_0012_0016__did, r_0012_0017__that, arg1).


%3 r_0012_0016__did did r_0012_0017__that that r_0012_0016__did->r_0012_0017__that [arg1] r_0012_0014__so so r_0012_0016__did->r_0012_0014__so [nim] r_0012_0001__I I r_0012_0016__did->r_0012_0001__I [arg0] r_0012_0013__and and r_0012_0013__and->r_0012_0016__did [conj2] r_0012_0003__realised realised r_0012_0013__and->r_0012_0003__realised [conj1] r_0012_0003__realised->r_0012_0001__I [arg0] r_0012_0007__n_apos_t n't r_0012_0003__realised->r_0012_0007__n_apos_t [arg1] r_0012_0002__just just r_0012_0003__realised->r_0012_0002__just [nim] r_0012_0011__and and r_0012_0012__butter butter r_0012_0011__and->r_0012_0012__butter [conj2] r_0012_0010__bread bread r_0012_0011__and->r_0012_0010__bread [conj1] r_0012_0004__that_r_0012_0006__had_r_0012_0008__done that had done r_0012_0004__that_r_0012_0006__had_r_0012_0008__done->r_0012_0001__I [arg0] r_0012_0004__that_r_0012_0006__had_r_0012_0008__done->r_0012_0011__and [arg1] r_0012_0007__n_apos_t->r_0012_0004__that_r_0012_0006__had_r_0012_0008__done [keep_scope] 
fof(formula,axiom,
    ? [R_12_13_AND,R_12_3_REALISED,R_12_2_JUST,R_12_16_DID,R_12_1_I,R_12_17_THAT,R_12_14_SO] :
      ( just(R_12_2_JUST)
      & i(R_12_1_I)
      & that(R_12_17_THAT)
      & so(R_12_14_SO)
      & and(R_12_13_AND)
      & conj1(R_12_13_AND,R_12_3_REALISED)
      & realised(R_12_3_REALISED,R_12_1_I,R_12_7_N_APOS_T)
      & ~ ? [R_12_4_THAT_HAD_DONE,R_12_11_AND,R_12_10_BREAD,R_12_12_BUTTER] :
            ( bread(R_12_10_BREAD)
            & butter(R_12_12_BUTTER)
            & that_had_done(R_12_4_THAT_HAD_DONE,R_12_1_I,R_12_11_AND)
            & and(R_12_11_AND)
            & conj1(R_12_11_AND,R_12_10_BREAD)
            & conj2(R_12_11_AND,R_12_12_BUTTER) )
      & nim7(R_12_3_REALISED,R_12_2_JUST)
      & conj2(R_12_13_AND,R_12_16_DID)
      & did(R_12_16_DID,R_12_1_I,R_12_17_THAT)
      & nim43(R_12_16_DID,R_12_14_SO) ) ).


n12_a_stories_10_k03 n12_a_stories_10_k03__1_1_1_1_1_1 I n12_a_stories_10_k03__1_1_1_2_1_1 just n12_a_stories_10_k03__1_1_1_3_1 realised n12_a_stories_10_k03__1_1_1_4_1_1_1 that n12_a_stories_10_k03__1_1_1_4_1_2_1_1 I n12_a_stories_10_k03__1_1_1_4_1_3_1 had n12_a_stories_10_k03__1_1_1_4_1_4_1 n't n12_a_stories_10_k03__1_1_1_4_1_5_1_1 done n12_a_stories_10_k03__1_1_1_4_1_5_2_1_1 the n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1_1_1 bread n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_1_1 and n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2_1_1 butter n12_a_stories_10_k03__1_1_2_1_1 and n12_a_stories_10_k03__1_1_2_2_1_1_1 so n12_a_stories_10_k03__1_1_2_2_2_1_1 I n12_a_stories_10_k03__1_1_2_2_3_1 did n12_a_stories_10_k03__1_1_2_2_4_1_1 that n12_a_stories_10_k03__1_2_1 . n12_a_stories_10_k03__1 IP-MAT n12_a_stories_10_k03__1_1 ILYR n12_a_stories_10_k03__1->n12_a_stories_10_k03__1_1 n12_a_stories_10_k03__1_2 PUNC n12_a_stories_10_k03__1->n12_a_stories_10_k03__1_2 n12_a_stories_10_k03__1_1_1 ILYR n12_a_stories_10_k03__1_1->n12_a_stories_10_k03__1_1_1 n12_a_stories_10_k03__1_1_2 CONJP n12_a_stories_10_k03__1_1->n12_a_stories_10_k03__1_1_2 n12_a_stories_10_k03__1_1_1_1 NP-SBJ n12_a_stories_10_k03__1_1_1->n12_a_stories_10_k03__1_1_1_1 n12_a_stories_10_k03__1_1_1_2 ADVP-NIM n12_a_stories_10_k03__1_1_1->n12_a_stories_10_k03__1_1_1_2 n12_a_stories_10_k03__1_1_1_3 VBD;_Tf_ n12_a_stories_10_k03__1_1_1->n12_a_stories_10_k03__1_1_1_3 n12_a_stories_10_k03__1_1_1_4 CP-THT-OB1 n12_a_stories_10_k03__1_1_1->n12_a_stories_10_k03__1_1_1_4 n12_a_stories_10_k03__1_1_1_1_1 PRO n12_a_stories_10_k03__1_1_1_1->n12_a_stories_10_k03__1_1_1_1_1 n12_a_stories_10_k03__1_1_1_1_1->n12_a_stories_10_k03__1_1_1_1_1_1 n12_a_stories_10_k03__1_1_1_2_1 ADV n12_a_stories_10_k03__1_1_1_2->n12_a_stories_10_k03__1_1_1_2_1 n12_a_stories_10_k03__1_1_1_2_1->n12_a_stories_10_k03__1_1_1_2_1_1 n12_a_stories_10_k03__1_1_1_3->n12_a_stories_10_k03__1_1_1_3_1 n12_a_stories_10_k03__1_1_1_4_1 IP-SUB n12_a_stories_10_k03__1_1_1_4->n12_a_stories_10_k03__1_1_1_4_1 n12_a_stories_10_k03__1_1_1_4_1_1 C n12_a_stories_10_k03__1_1_1_4_1->n12_a_stories_10_k03__1_1_1_4_1_1 n12_a_stories_10_k03__1_1_1_4_1_2 NP-SBJ n12_a_stories_10_k03__1_1_1_4_1->n12_a_stories_10_k03__1_1_1_4_1_2 n12_a_stories_10_k03__1_1_1_4_1_3 HVD;_cat_Ve_ n12_a_stories_10_k03__1_1_1_4_1->n12_a_stories_10_k03__1_1_1_4_1_3 n12_a_stories_10_k03__1_1_1_4_1_4 NEG;_clitic_ n12_a_stories_10_k03__1_1_1_4_1->n12_a_stories_10_k03__1_1_1_4_1_4 n12_a_stories_10_k03__1_1_1_4_1_5 IP-PPL-CAT n12_a_stories_10_k03__1_1_1_4_1->n12_a_stories_10_k03__1_1_1_4_1_5 n12_a_stories_10_k03__1_1_1_4_1_1->n12_a_stories_10_k03__1_1_1_4_1_1_1 n12_a_stories_10_k03__1_1_1_4_1_2_1 PRO n12_a_stories_10_k03__1_1_1_4_1_2->n12_a_stories_10_k03__1_1_1_4_1_2_1 n12_a_stories_10_k03__1_1_1_4_1_2_1->n12_a_stories_10_k03__1_1_1_4_1_2_1_1 n12_a_stories_10_k03__1_1_1_4_1_3->n12_a_stories_10_k03__1_1_1_4_1_3_1 n12_a_stories_10_k03__1_1_1_4_1_4->n12_a_stories_10_k03__1_1_1_4_1_4_1 n12_a_stories_10_k03__1_1_1_4_1_5_1 DON;_Tn_ n12_a_stories_10_k03__1_1_1_4_1_5->n12_a_stories_10_k03__1_1_1_4_1_5_1 n12_a_stories_10_k03__1_1_1_4_1_5_2 NP-OB1 n12_a_stories_10_k03__1_1_1_4_1_5->n12_a_stories_10_k03__1_1_1_4_1_5_2 n12_a_stories_10_k03__1_1_1_4_1_5_1->n12_a_stories_10_k03__1_1_1_4_1_5_1_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_1 D n12_a_stories_10_k03__1_1_1_4_1_5_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2 NLYR n12_a_stories_10_k03__1_1_1_4_1_5_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2 n12_a_stories_10_k03__1_1_1_4_1_5_2_1->n12_a_stories_10_k03__1_1_1_4_1_5_2_1_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1 NLYR n12_a_stories_10_k03__1_1_1_4_1_5_2_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2 CONJP n12_a_stories_10_k03__1_1_1_4_1_5_2_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1_1 N n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1_1->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_1_1_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_1 CONJ n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2 NLYR n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_1->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_1_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2_1 N n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2_1 n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2_1->n12_a_stories_10_k03__1_1_1_4_1_5_2_2_2_2_1_1 n12_a_stories_10_k03__1_1_2_1 CONJ n12_a_stories_10_k03__1_1_2->n12_a_stories_10_k03__1_1_2_1 n12_a_stories_10_k03__1_1_2_2 ILYR n12_a_stories_10_k03__1_1_2->n12_a_stories_10_k03__1_1_2_2 n12_a_stories_10_k03__1_1_2_1->n12_a_stories_10_k03__1_1_2_1_1 n12_a_stories_10_k03__1_1_2_2_1 ADVP-NIM n12_a_stories_10_k03__1_1_2_2->n12_a_stories_10_k03__1_1_2_2_1 n12_a_stories_10_k03__1_1_2_2_2 NP-SBJ n12_a_stories_10_k03__1_1_2_2->n12_a_stories_10_k03__1_1_2_2_2 n12_a_stories_10_k03__1_1_2_2_3 DOD;_Tn_ n12_a_stories_10_k03__1_1_2_2->n12_a_stories_10_k03__1_1_2_2_3 n12_a_stories_10_k03__1_1_2_2_4 NP-OB1 n12_a_stories_10_k03__1_1_2_2->n12_a_stories_10_k03__1_1_2_2_4 n12_a_stories_10_k03__1_1_2_2_1_1 ADV n12_a_stories_10_k03__1_1_2_2_1->n12_a_stories_10_k03__1_1_2_2_1_1 n12_a_stories_10_k03__1_1_2_2_1_1->n12_a_stories_10_k03__1_1_2_2_1_1_1 n12_a_stories_10_k03__1_1_2_2_2_1 PRO n12_a_stories_10_k03__1_1_2_2_2->n12_a_stories_10_k03__1_1_2_2_2_1 n12_a_stories_10_k03__1_1_2_2_2_1->n12_a_stories_10_k03__1_1_2_2_2_1_1 n12_a_stories_10_k03__1_1_2_2_3->n12_a_stories_10_k03__1_1_2_2_3_1 n12_a_stories_10_k03__1_1_2_2_4_1 D;_nphd_ n12_a_stories_10_k03__1_1_2_2_4->n12_a_stories_10_k03__1_1_2_2_4_1 n12_a_stories_10_k03__1_1_2_2_4_1->n12_a_stories_10_k03__1_1_2_2_4_1_1 n12_a_stories_10_k03__1_2->n12_a_stories_10_k03__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (ADVP-NIM (ADV just;{just}))
                      (VBD;_Tf_ realised;{realise})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO I;{I}))
                                          (HVD;_cat_Ve_ had;{have})
                                          (NEG;_clitic_ n<apos>t;{not})
                                          (IP-PPL-CAT (DON;_Tn_ done;{do})
                                                      (NP-OB1;{B_AND_B} (D the;{the})
                                                                        (NLYR (NLYR (N bread;{bread}))
                                                                              (CONJP (CONJ and;{and})
                                                                                     (NLYR (N butter;{butter})))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ (PRO I;{I}))
                             (DOD;_Tn_ did;{do})
                             (NP-OB1;{B_AND_B} (D;_nphd_ that;{that})))))
          (PUNC .))
  (ID 12_a_stories_10_k03))