Context                Previous, Next                Top


55_a_potter_1902
But Flopsy, Mopsy, and Cotton-tail had bread and milk and blackberries for supper.

%3 r_0055_0001__But_r_0055_0008__had But had r_0055_0006__and and r_0055_0001__But_r_0055_0008__had->r_0055_0006__and [arg0] r_0055_0012__and and r_0055_0001__But_r_0055_0008__had->r_0055_0012__and [arg1] r_0055_0015__supper supper r_0055_0001__But_r_0055_0008__had->r_0055_0015__supper for [nim] r_0055_0002__Flopsy Flopsy r_0055_0006__and->r_0055_0002__Flopsy [conj1] r_0055_0004__Mopsy Mopsy r_0055_0006__and->r_0055_0004__Mopsy [conj2] r_0055_0007__Cotton__hyphen__tail Cotton-tail r_0055_0006__and->r_0055_0007__Cotton__hyphen__tail [conj3] r_0055_0010__and and r_0055_0012__and->r_0055_0010__and [conj1] r_0055_0013__blackberries blackberries r_0055_0012__and->r_0055_0013__blackberries [conj2] r_0055_0009__bread bread r_0055_0010__and->r_0055_0009__bread [conj1] r_0055_0011__milk milk r_0055_0010__and->r_0055_0011__milk [conj2] 
arc(r_0055_0001__But_r_0055_0008__had, r_0055_0006__and, arg0).
arc(r_0055_0001__But_r_0055_0008__had, r_0055_0012__and, arg1).
arc(r_0055_0001__But_r_0055_0008__had, r_0055_0015__supper, r_0055_0014__for_nim47).
arc(r_0055_0006__and, r_0055_0002__Flopsy, conj1).
arc(r_0055_0006__and, r_0055_0004__Mopsy, conj2).
arc(r_0055_0006__and, r_0055_0007__Cotton__hyphen__tail, conj3).
arc(r_0055_0010__and, r_0055_0009__bread, conj1).
arc(r_0055_0010__and, r_0055_0011__milk, conj2).
arc(r_0055_0012__and, r_0055_0010__and, conj1).
arc(r_0055_0012__and, r_0055_0013__blackberries, conj2).


%3 r_0055_0012__and and r_0055_0013__blackberries blackberries r_0055_0012__and->r_0055_0013__blackberries [conj2] r_0055_0010__and and r_0055_0012__and->r_0055_0010__and [conj1] r_0055_0011__milk milk r_0055_0010__and->r_0055_0011__milk [conj2] r_0055_0009__bread bread r_0055_0010__and->r_0055_0009__bread [conj1] r_0055_0006__and and r_0055_0007__Cotton__hyphen__tail Cotton-tail r_0055_0006__and->r_0055_0007__Cotton__hyphen__tail [conj3] r_0055_0004__Mopsy Mopsy r_0055_0006__and->r_0055_0004__Mopsy [conj2] r_0055_0002__Flopsy Flopsy r_0055_0006__and->r_0055_0002__Flopsy [conj1] r_0055_0001__But_r_0055_0008__had But had r_0055_0001__But_r_0055_0008__had->r_0055_0012__and [arg1] r_0055_0001__But_r_0055_0008__had->r_0055_0006__and [arg0] r_0055_0015__supper supper r_0055_0001__But_r_0055_0008__had->r_0055_0015__supper for [nim] 
fof(formula,axiom,
    ? [R_55_1_BUT_HAD,R_55_6_AND,R_55_2_FLOPSY,R_55_4_MOPSY,R_55_7_COTTON_HYPHEN_TAIL,R_55_12_AND,R_55_10_AND,R_55_9_BREAD,R_55_11_MILK,R_55_13_BLACKBERRIES,R_55_15_SUPPER] :
      ( flopsy(R_55_2_FLOPSY)
      & mopsy(R_55_4_MOPSY)
      & cotton_hyphen_tail(R_55_7_COTTON_HYPHEN_TAIL)
      & bread(R_55_9_BREAD)
      & milk(R_55_11_MILK)
      & blackberries(R_55_13_BLACKBERRIES)
      & supper(R_55_15_SUPPER)
      & but_had(R_55_1_BUT_HAD,R_55_6_AND,R_55_12_AND)
      & and(R_55_6_AND)
      & conj1(R_55_6_AND,R_55_2_FLOPSY)
      & conj2(R_55_6_AND,R_55_4_MOPSY)
      & conj3(R_55_6_AND,R_55_7_COTTON_HYPHEN_TAIL)
      & and(R_55_12_AND)
      & conj1(R_55_12_AND,R_55_10_AND)
      & and(R_55_10_AND)
      & conj1(R_55_10_AND,R_55_9_BREAD)
      & conj2(R_55_10_AND,R_55_11_MILK)
      & conj2(R_55_12_AND,R_55_13_BLACKBERRIES)
      & for_nim47(R_55_1_BUT_HAD,R_55_15_SUPPER) ) ).


n55_a_potter_1902 n55_a_potter_1902__1_1_1 But n55_a_potter_1902__1_2_1_1_1_1 Flopsy n55_a_potter_1902__1_2_1_2_1 , n55_a_potter_1902__1_2_1_3_1_1_1 Mopsy n55_a_potter_1902__1_2_1_4_1 , n55_a_potter_1902__1_2_1_5_1_1 and n55_a_potter_1902__1_2_1_5_2_1_1 Cotton-tail n55_a_potter_1902__1_3_1 had n55_a_potter_1902__1_4_1_1_1_1_1_1 bread n55_a_potter_1902__1_4_1_1_1_2_1_1 and n55_a_potter_1902__1_4_1_1_1_2_2_1_1 milk n55_a_potter_1902__1_4_1_2_1_1 and n55_a_potter_1902__1_4_1_2_2_1_1 blackberries n55_a_potter_1902__1_5_1_1 for n55_a_potter_1902__1_5_2_1_1 supper n55_a_potter_1902__1_6_1 . n55_a_potter_1902__1 IP-MAT n55_a_potter_1902__1_1 CONJ;_cl_ n55_a_potter_1902__1->n55_a_potter_1902__1_1 n55_a_potter_1902__1_2 NP-SBJ n55_a_potter_1902__1->n55_a_potter_1902__1_2 n55_a_potter_1902__1_3 HVD;_Tn_ n55_a_potter_1902__1->n55_a_potter_1902__1_3 n55_a_potter_1902__1_4 NP-OB1 n55_a_potter_1902__1->n55_a_potter_1902__1_4 n55_a_potter_1902__1_5 PP-NIM n55_a_potter_1902__1->n55_a_potter_1902__1_5 n55_a_potter_1902__1_6 PUNC n55_a_potter_1902__1->n55_a_potter_1902__1_6 n55_a_potter_1902__1_1->n55_a_potter_1902__1_1_1 n55_a_potter_1902__1_2_1 NLYR n55_a_potter_1902__1_2->n55_a_potter_1902__1_2_1 n55_a_potter_1902__1_2_1_1 NLYR n55_a_potter_1902__1_2_1->n55_a_potter_1902__1_2_1_1 n55_a_potter_1902__1_2_1_2 PUNC n55_a_potter_1902__1_2_1->n55_a_potter_1902__1_2_1_2 n55_a_potter_1902__1_2_1_3 CONJP n55_a_potter_1902__1_2_1->n55_a_potter_1902__1_2_1_3 n55_a_potter_1902__1_2_1_4 PUNC n55_a_potter_1902__1_2_1->n55_a_potter_1902__1_2_1_4 n55_a_potter_1902__1_2_1_5 CONJP n55_a_potter_1902__1_2_1->n55_a_potter_1902__1_2_1_5 n55_a_potter_1902__1_2_1_1_1 NPR n55_a_potter_1902__1_2_1_1->n55_a_potter_1902__1_2_1_1_1 n55_a_potter_1902__1_2_1_1_1->n55_a_potter_1902__1_2_1_1_1_1 n55_a_potter_1902__1_2_1_2->n55_a_potter_1902__1_2_1_2_1 n55_a_potter_1902__1_2_1_3_1 NLYR n55_a_potter_1902__1_2_1_3->n55_a_potter_1902__1_2_1_3_1 n55_a_potter_1902__1_2_1_3_1_1 NPR n55_a_potter_1902__1_2_1_3_1->n55_a_potter_1902__1_2_1_3_1_1 n55_a_potter_1902__1_2_1_3_1_1->n55_a_potter_1902__1_2_1_3_1_1_1 n55_a_potter_1902__1_2_1_4->n55_a_potter_1902__1_2_1_4_1 n55_a_potter_1902__1_2_1_5_1 CONJ n55_a_potter_1902__1_2_1_5->n55_a_potter_1902__1_2_1_5_1 n55_a_potter_1902__1_2_1_5_2 NLYR n55_a_potter_1902__1_2_1_5->n55_a_potter_1902__1_2_1_5_2 n55_a_potter_1902__1_2_1_5_1->n55_a_potter_1902__1_2_1_5_1_1 n55_a_potter_1902__1_2_1_5_2_1 NPR n55_a_potter_1902__1_2_1_5_2->n55_a_potter_1902__1_2_1_5_2_1 n55_a_potter_1902__1_2_1_5_2_1->n55_a_potter_1902__1_2_1_5_2_1_1 n55_a_potter_1902__1_3->n55_a_potter_1902__1_3_1 n55_a_potter_1902__1_4_1 NLYR n55_a_potter_1902__1_4->n55_a_potter_1902__1_4_1 n55_a_potter_1902__1_4_1_1 NLYR n55_a_potter_1902__1_4_1->n55_a_potter_1902__1_4_1_1 n55_a_potter_1902__1_4_1_2 CONJP n55_a_potter_1902__1_4_1->n55_a_potter_1902__1_4_1_2 n55_a_potter_1902__1_4_1_1_1 NLYR n55_a_potter_1902__1_4_1_1->n55_a_potter_1902__1_4_1_1_1 n55_a_potter_1902__1_4_1_1_1_1 NLYR n55_a_potter_1902__1_4_1_1_1->n55_a_potter_1902__1_4_1_1_1_1 n55_a_potter_1902__1_4_1_1_1_2 CONJP n55_a_potter_1902__1_4_1_1_1->n55_a_potter_1902__1_4_1_1_1_2 n55_a_potter_1902__1_4_1_1_1_1_1 N n55_a_potter_1902__1_4_1_1_1_1->n55_a_potter_1902__1_4_1_1_1_1_1 n55_a_potter_1902__1_4_1_1_1_1_1->n55_a_potter_1902__1_4_1_1_1_1_1_1 n55_a_potter_1902__1_4_1_1_1_2_1 CONJ n55_a_potter_1902__1_4_1_1_1_2->n55_a_potter_1902__1_4_1_1_1_2_1 n55_a_potter_1902__1_4_1_1_1_2_2 NLYR n55_a_potter_1902__1_4_1_1_1_2->n55_a_potter_1902__1_4_1_1_1_2_2 n55_a_potter_1902__1_4_1_1_1_2_1->n55_a_potter_1902__1_4_1_1_1_2_1_1 n55_a_potter_1902__1_4_1_1_1_2_2_1 N n55_a_potter_1902__1_4_1_1_1_2_2->n55_a_potter_1902__1_4_1_1_1_2_2_1 n55_a_potter_1902__1_4_1_1_1_2_2_1->n55_a_potter_1902__1_4_1_1_1_2_2_1_1 n55_a_potter_1902__1_4_1_2_1 CONJ n55_a_potter_1902__1_4_1_2->n55_a_potter_1902__1_4_1_2_1 n55_a_potter_1902__1_4_1_2_2 NLYR n55_a_potter_1902__1_4_1_2->n55_a_potter_1902__1_4_1_2_2 n55_a_potter_1902__1_4_1_2_1->n55_a_potter_1902__1_4_1_2_1_1 n55_a_potter_1902__1_4_1_2_2_1 NS n55_a_potter_1902__1_4_1_2_2->n55_a_potter_1902__1_4_1_2_2_1 n55_a_potter_1902__1_4_1_2_2_1->n55_a_potter_1902__1_4_1_2_2_1_1 n55_a_potter_1902__1_5_1 P-ROLE n55_a_potter_1902__1_5->n55_a_potter_1902__1_5_1 n55_a_potter_1902__1_5_2 NP n55_a_potter_1902__1_5->n55_a_potter_1902__1_5_2 n55_a_potter_1902__1_5_1->n55_a_potter_1902__1_5_1_1 n55_a_potter_1902__1_5_2_1 N n55_a_potter_1902__1_5_2->n55_a_potter_1902__1_5_2_1 n55_a_potter_1902__1_5_2_1->n55_a_potter_1902__1_5_2_1_1 n55_a_potter_1902__1_6->n55_a_potter_1902__1_6_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (NLYR (NLYR (NPR Flopsy;{Flopsy}))
                        (PUNC ,)
                        (CONJP (NLYR (NPR Mopsy;{Mopsy})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NPR Cotton_<hyphen>_tail;{Cotton_tail})))))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (NLYR (NLYR (NLYR (NLYR (N bread;{bread}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (N milk;{milk})))))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS blackberries;{blackberry})))))
          (PP-NIM (P-ROLE for;{for})
                  (NP (N supper;{supper})))
          (PUNC .))
  (ID 55_a_potter_1902))