Context                Previous, Next                Top


36_a_potter_1902
Presently, he came to a pond where Mr. McGregor filled his water - cans.

%3 r_0036_0004__came came r_0036_0001__Presently Presently r_0036_0004__came->r_0036_0001__Presently [nim] r_0036_0003__he he r_0036_0004__came->r_0036_0003__he [arg0] r_0036_0006__a_r_0036_0007__pond a pond r_0036_0004__came->r_0036_0006__a_r_0036_0007__pond to [clr] r_0036_0011__filled filled r_0036_0011__filled->r_0036_0006__a_r_0036_0007__pond [nim] r_0036_0009__Mr_dot__r_0036_0010__McGregor Mr. McGregor r_0036_0011__filled->r_0036_0009__Mr_dot__r_0036_0010__McGregor [arg0] r_0036_0013__water_r_0036_0015__cans water cans r_0036_0011__filled->r_0036_0013__water_r_0036_0015__cans [arg1] r_0036_0013__water_r_0036_0015__cans->r_0036_0009__Mr_dot__r_0036_0010__McGregor [gen] 
arc(r_0036_0004__came, r_0036_0001__Presently, nim2).
arc(r_0036_0004__came, r_0036_0003__he, arg0).
arc(r_0036_0004__came, r_0036_0006__a_r_0036_0007__pond, r_0036_0005__to_clr15).
arc(r_0036_0011__filled, r_0036_0006__a_r_0036_0007__pond, nim21).
arc(r_0036_0011__filled, r_0036_0009__Mr_dot__r_0036_0010__McGregor, arg0).
arc(r_0036_0011__filled, r_0036_0013__water_r_0036_0015__cans, arg1).
arc(r_0036_0013__water_r_0036_0015__cans, r_0036_0009__Mr_dot__r_0036_0010__McGregor, gen).


%3 r_0036_0013__water_r_0036_0015__cans water cans r_0036_0009__Mr_dot__r_0036_0010__McGregor Mr. McGregor r_0036_0013__water_r_0036_0015__cans->r_0036_0009__Mr_dot__r_0036_0010__McGregor [gen] r_0036_0011__filled filled r_0036_0011__filled->r_0036_0013__water_r_0036_0015__cans [arg1] r_0036_0011__filled->r_0036_0009__Mr_dot__r_0036_0010__McGregor [arg0] r_0036_0006__a_r_0036_0007__pond a pond r_0036_0011__filled->r_0036_0006__a_r_0036_0007__pond [nim] r_0036_0004__came came r_0036_0004__came->r_0036_0006__a_r_0036_0007__pond to [clr] r_0036_0003__he he r_0036_0004__came->r_0036_0003__he [arg0] r_0036_0001__Presently Presently r_0036_0004__came->r_0036_0001__Presently [nim] 
fof(formula,axiom,
    ? [R_36_4_CAME,R_36_3_HE,R_36_1_PRESENTLY,R_36_11_FILLED,R_36_13_WATER_CANS,R_36_9_MR_DOT_MCGREGOR,R_36_6_A_POND] :
      ( he(R_36_3_HE)
      & presently(R_36_1_PRESENTLY)
      & mr_dot_McGregor(R_36_9_MR_DOT_MCGREGOR)
      & a_pond(R_36_6_A_POND)
      & came(R_36_4_CAME,R_36_3_HE)
      & nim2(R_36_4_CAME,R_36_1_PRESENTLY)
      & to_clr15(R_36_4_CAME,R_36_6_A_POND)
      & filled(R_36_11_FILLED,R_36_9_MR_DOT_MCGREGOR,R_36_13_WATER_CANS)
      & water_cans(R_36_13_WATER_CANS)
      & gen(R_36_13_WATER_CANS,R_36_9_MR_DOT_MCGREGOR)
      & nim21(R_36_11_FILLED,R_36_6_A_POND) ) ).


n36_a_potter_1902 n36_a_potter_1902__1_1_1_1 Presently n36_a_potter_1902__1_2_1 , n36_a_potter_1902__1_3_1_1 he n36_a_potter_1902__1_4_1 came n36_a_potter_1902__1_5_1_1 to n36_a_potter_1902__1_5_2_1_1 a n36_a_potter_1902__1_5_2_2_1 pond n36_a_potter_1902__1_5_2_3_1_1_1 where n36_a_potter_1902__1_5_2_3_2_1_1 Mr. n36_a_potter_1902__1_5_2_3_2_2_1 McGregor n36_a_potter_1902__1_5_2_3_3_1 filled n36_a_potter_1902__1_5_2_3_4_1_1_1 his n36_a_potter_1902__1_5_2_3_4_2_1 water n36_a_potter_1902__1_5_2_3_4_3_1 - n36_a_potter_1902__1_5_2_3_4_4_1 cans n36_a_potter_1902__1_6_1 . n36_a_potter_1902__1 IP-MAT n36_a_potter_1902__1_1 ADVP-NIM n36_a_potter_1902__1->n36_a_potter_1902__1_1 n36_a_potter_1902__1_2 PUNC n36_a_potter_1902__1->n36_a_potter_1902__1_2 n36_a_potter_1902__1_3 NP-SBJ n36_a_potter_1902__1->n36_a_potter_1902__1_3 n36_a_potter_1902__1_4 VBD;_Ipr_ n36_a_potter_1902__1->n36_a_potter_1902__1_4 n36_a_potter_1902__1_5 PP-CLR n36_a_potter_1902__1->n36_a_potter_1902__1_5 n36_a_potter_1902__1_6 PUNC n36_a_potter_1902__1->n36_a_potter_1902__1_6 n36_a_potter_1902__1_1_1 ADV n36_a_potter_1902__1_1->n36_a_potter_1902__1_1_1 n36_a_potter_1902__1_1_1->n36_a_potter_1902__1_1_1_1 n36_a_potter_1902__1_2->n36_a_potter_1902__1_2_1 n36_a_potter_1902__1_3_1 PRO n36_a_potter_1902__1_3->n36_a_potter_1902__1_3_1 n36_a_potter_1902__1_3_1->n36_a_potter_1902__1_3_1_1 n36_a_potter_1902__1_4->n36_a_potter_1902__1_4_1 n36_a_potter_1902__1_5_1 P-ROLE n36_a_potter_1902__1_5->n36_a_potter_1902__1_5_1 n36_a_potter_1902__1_5_2 NP n36_a_potter_1902__1_5->n36_a_potter_1902__1_5_2 n36_a_potter_1902__1_5_1->n36_a_potter_1902__1_5_1_1 n36_a_potter_1902__1_5_2_1 D n36_a_potter_1902__1_5_2->n36_a_potter_1902__1_5_2_1 n36_a_potter_1902__1_5_2_2 N n36_a_potter_1902__1_5_2->n36_a_potter_1902__1_5_2_2 n36_a_potter_1902__1_5_2_3 IP-REL n36_a_potter_1902__1_5_2->n36_a_potter_1902__1_5_2_3 n36_a_potter_1902__1_5_2_1->n36_a_potter_1902__1_5_2_1_1 n36_a_potter_1902__1_5_2_2->n36_a_potter_1902__1_5_2_2_1 n36_a_potter_1902__1_5_2_3_1 ADVP-NIM n36_a_potter_1902__1_5_2_3->n36_a_potter_1902__1_5_2_3_1 n36_a_potter_1902__1_5_2_3_2 NP-SBJ n36_a_potter_1902__1_5_2_3->n36_a_potter_1902__1_5_2_3_2 n36_a_potter_1902__1_5_2_3_3 VBD;_Tn_ n36_a_potter_1902__1_5_2_3->n36_a_potter_1902__1_5_2_3_3 n36_a_potter_1902__1_5_2_3_4 NP-OB1 n36_a_potter_1902__1_5_2_3->n36_a_potter_1902__1_5_2_3_4 n36_a_potter_1902__1_5_2_3_1_1 RADV n36_a_potter_1902__1_5_2_3_1->n36_a_potter_1902__1_5_2_3_1_1 n36_a_potter_1902__1_5_2_3_1_1->n36_a_potter_1902__1_5_2_3_1_1_1 n36_a_potter_1902__1_5_2_3_2_1 N n36_a_potter_1902__1_5_2_3_2->n36_a_potter_1902__1_5_2_3_2_1 n36_a_potter_1902__1_5_2_3_2_2 NPR n36_a_potter_1902__1_5_2_3_2->n36_a_potter_1902__1_5_2_3_2_2 n36_a_potter_1902__1_5_2_3_2_1->n36_a_potter_1902__1_5_2_3_2_1_1 n36_a_potter_1902__1_5_2_3_2_2->n36_a_potter_1902__1_5_2_3_2_2_1 n36_a_potter_1902__1_5_2_3_3->n36_a_potter_1902__1_5_2_3_3_1 n36_a_potter_1902__1_5_2_3_4_1 NP-GEN n36_a_potter_1902__1_5_2_3_4->n36_a_potter_1902__1_5_2_3_4_1 n36_a_potter_1902__1_5_2_3_4_2 N n36_a_potter_1902__1_5_2_3_4->n36_a_potter_1902__1_5_2_3_4_2 n36_a_potter_1902__1_5_2_3_4_3 PUNC n36_a_potter_1902__1_5_2_3_4->n36_a_potter_1902__1_5_2_3_4_3 n36_a_potter_1902__1_5_2_3_4_4 NS n36_a_potter_1902__1_5_2_3_4->n36_a_potter_1902__1_5_2_3_4_4 n36_a_potter_1902__1_5_2_3_4_1_1 PRO;_genm_ n36_a_potter_1902__1_5_2_3_4_1->n36_a_potter_1902__1_5_2_3_4_1_1 n36_a_potter_1902__1_5_2_3_4_1_1->n36_a_potter_1902__1_5_2_3_4_1_1_1 n36_a_potter_1902__1_5_2_3_4_2->n36_a_potter_1902__1_5_2_3_4_2_1 n36_a_potter_1902__1_5_2_3_4_3->n36_a_potter_1902__1_5_2_3_4_3_1 n36_a_potter_1902__1_5_2_3_4_4->n36_a_potter_1902__1_5_2_3_4_4_1 n36_a_potter_1902__1_6->n36_a_potter_1902__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Presently;{presently}))
          (PUNC ,)
          (NP-SBJ;{PETER} (PRO he;{he}))
          (VBD;_Ipr_ came;{come[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D a;{a})
                      (N pond;{pond})
                      (IP-REL (ADVP-NIM (RADV where;{where}))
                              (NP-SBJ;{MRMCG} (N Mr<dot>)
                                              (NPR McGregor;{McGregor}))
                              (VBD;_Tn_ filled;{fill})
                              (NP-OB1;{CONTAINER} (NP-GEN;{MRMCG} (PRO;_genm_ his;{his}))
                                                  (N water;{water})
                                                  (PUNC <hyphen>)
                                                  (NS cans;{can})))))
          (PUNC .))
  (ID 36_a_potter_1902))