Context                Previous, Next                Top


23_a_potter_1902
Mr. McGregor came up with a sieve, which he intended to pop upon the top of Peter;

%3 r_0023_0003__came came r_0023_0001__Mr_dot__r_0023_0002__McGregor Mr. McGregor r_0023_0003__came->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0004__up up r_0023_0003__came->r_0023_0004__up [clr] r_0023_0006__a_r_0023_0007__sieve a sieve r_0023_0003__came->r_0023_0006__a_r_0023_0007__sieve with [nim] r_0023_0011__intended intended r_0023_0011__intended->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0012__to_r_0023_0013__pop to pop r_0023_0011__intended->r_0023_0012__to_r_0023_0013__pop [arg1] r_0023_0012__to_r_0023_0013__pop->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0012__to_r_0023_0013__pop->r_0023_0006__a_r_0023_0007__sieve [arg1] r_0023_0015__the_r_0023_0016__top the top r_0023_0012__to_r_0023_0013__pop->r_0023_0015__the_r_0023_0016__top upon [clr] r_0023_0018__Peter Peter r_0023_0015__the_r_0023_0016__top->r_0023_0018__Peter of 
arc(r_0023_0003__came, r_0023_0001__Mr_dot__r_0023_0002__McGregor, arg0).
arc(r_0023_0003__came, r_0023_0004__up, clr9).
arc(r_0023_0003__came, r_0023_0006__a_r_0023_0007__sieve, r_0023_0005__with_nim15).
arc(r_0023_0011__intended, r_0023_0001__Mr_dot__r_0023_0002__McGregor, arg0).
arc(r_0023_0011__intended, r_0023_0012__to_r_0023_0013__pop, arg1).
arc(r_0023_0012__to_r_0023_0013__pop, r_0023_0001__Mr_dot__r_0023_0002__McGregor, arg0).
arc(r_0023_0012__to_r_0023_0013__pop, r_0023_0006__a_r_0023_0007__sieve, arg1).
arc(r_0023_0012__to_r_0023_0013__pop, r_0023_0015__the_r_0023_0016__top, r_0023_0014__upon_clr41).
arc(r_0023_0015__the_r_0023_0016__top, r_0023_0018__Peter, r_0023_0017__of).


%3 r_0023_0003__came came r_0023_0001__Mr_dot__r_0023_0002__McGregor Mr. McGregor r_0023_0003__came->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0004__up up r_0023_0003__came->r_0023_0004__up [clr] r_0023_0006__a_r_0023_0007__sieve a sieve r_0023_0003__came->r_0023_0006__a_r_0023_0007__sieve with [nim] r_0023_0011__intended intended r_0023_0011__intended->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0012__to_r_0023_0013__pop to pop r_0023_0011__intended->r_0023_0012__to_r_0023_0013__pop [arg1] r_0023_0012__to_r_0023_0013__pop->r_0023_0001__Mr_dot__r_0023_0002__McGregor [arg0] r_0023_0012__to_r_0023_0013__pop->r_0023_0006__a_r_0023_0007__sieve [arg1] r_0023_0015__the_r_0023_0016__top the top r_0023_0012__to_r_0023_0013__pop->r_0023_0015__the_r_0023_0016__top upon [clr] r_0023_0018__Peter Peter r_0023_0015__the_r_0023_0016__top->r_0023_0018__Peter of 
fof(formula,axiom,
    ? [R_23_3_CAME,R_23_4_UP,R_23_11_INTENDED,R_23_12_TO_POP,R_23_1_MR_DOT_MCGREGOR,R_23_6_A_SIEVE,R_23_15_THE_TOP,R_23_18_PETER] :
      ( up(R_23_4_UP)
      & mr_dot_McGregor(R_23_1_MR_DOT_MCGREGOR)
      & a_sieve(R_23_6_A_SIEVE)
      & peter(R_23_18_PETER)
      & came(R_23_3_CAME,R_23_1_MR_DOT_MCGREGOR)
      & clr9(R_23_3_CAME,R_23_4_UP)
      & with_nim15(R_23_3_CAME,R_23_6_A_SIEVE)
      & intended(R_23_11_INTENDED,R_23_1_MR_DOT_MCGREGOR,R_23_12_TO_POP)
      & to_pop(R_23_12_TO_POP,R_23_1_MR_DOT_MCGREGOR,R_23_6_A_SIEVE)
      & upon_clr41(R_23_12_TO_POP,R_23_15_THE_TOP)
      & the_top(R_23_15_THE_TOP)
      & of(R_23_15_THE_TOP,R_23_18_PETER) ) ).


n23_a_potter_1902 n23_a_potter_1902_4 Mr. n23_a_potter_1902_6 McGregor n23_a_potter_1902_8 came n23_a_potter_1902_11 up n23_a_potter_1902_14 with n23_a_potter_1902_17 a n23_a_potter_1902_19 sieve n23_a_potter_1902_21 , n23_a_potter_1902_25 which n23_a_potter_1902_28 he n23_a_potter_1902_30 intended n23_a_potter_1902_33 *ICH*-123 n23_a_potter_1902_35 to n23_a_potter_1902_37 pop n23_a_potter_1902_40 upon n23_a_potter_1902_43 the n23_a_potter_1902_45 top n23_a_potter_1902_48 of n23_a_potter_1902_51 Peter n23_a_potter_1902_53 ; n23_a_potter_1902_1 IP-MAT n23_a_potter_1902_2 NP-SBJ n23_a_potter_1902_1->n23_a_potter_1902_2 n23_a_potter_1902_7 VBD;_Ip_ n23_a_potter_1902_1->n23_a_potter_1902_7 n23_a_potter_1902_9 ADVP-CLR n23_a_potter_1902_1->n23_a_potter_1902_9 n23_a_potter_1902_12 PP-NIM n23_a_potter_1902_1->n23_a_potter_1902_12 n23_a_potter_1902_52 PUNC n23_a_potter_1902_1->n23_a_potter_1902_52 n23_a_potter_1902_3 N n23_a_potter_1902_2->n23_a_potter_1902_3 n23_a_potter_1902_5 NPR n23_a_potter_1902_2->n23_a_potter_1902_5 n23_a_potter_1902_3->n23_a_potter_1902_4 n23_a_potter_1902_5->n23_a_potter_1902_6 n23_a_potter_1902_7->n23_a_potter_1902_8 n23_a_potter_1902_10 RP n23_a_potter_1902_9->n23_a_potter_1902_10 n23_a_potter_1902_10->n23_a_potter_1902_11 n23_a_potter_1902_13 P-ROLE n23_a_potter_1902_12->n23_a_potter_1902_13 n23_a_potter_1902_15 NP n23_a_potter_1902_12->n23_a_potter_1902_15 n23_a_potter_1902_13->n23_a_potter_1902_14 n23_a_potter_1902_16 D n23_a_potter_1902_15->n23_a_potter_1902_16 n23_a_potter_1902_18 N n23_a_potter_1902_15->n23_a_potter_1902_18 n23_a_potter_1902_20 PUNC n23_a_potter_1902_15->n23_a_potter_1902_20 n23_a_potter_1902_22 IP-REL n23_a_potter_1902_15->n23_a_potter_1902_22 n23_a_potter_1902_16->n23_a_potter_1902_17 n23_a_potter_1902_18->n23_a_potter_1902_19 n23_a_potter_1902_20->n23_a_potter_1902_21 n23_a_potter_1902_23 NP-123 n23_a_potter_1902_22->n23_a_potter_1902_23 n23_a_potter_1902_26 NP-SBJ n23_a_potter_1902_22->n23_a_potter_1902_26 n23_a_potter_1902_29 VBD;_Tt_ n23_a_potter_1902_22->n23_a_potter_1902_29 n23_a_potter_1902_31 IP-INF-OB1 n23_a_potter_1902_22->n23_a_potter_1902_31 n23_a_potter_1902_24 RPRO n23_a_potter_1902_23->n23_a_potter_1902_24 n23_a_potter_1902_24->n23_a_potter_1902_25 n23_a_potter_1902_27 PRO n23_a_potter_1902_26->n23_a_potter_1902_27 n23_a_potter_1902_27->n23_a_potter_1902_28 n23_a_potter_1902_29->n23_a_potter_1902_30 n23_a_potter_1902_32 NP-OB1 n23_a_potter_1902_31->n23_a_potter_1902_32 n23_a_potter_1902_34 TO n23_a_potter_1902_31->n23_a_potter_1902_34 n23_a_potter_1902_36 VB;_Tn.pr_ n23_a_potter_1902_31->n23_a_potter_1902_36 n23_a_potter_1902_38 PP-CLR n23_a_potter_1902_31->n23_a_potter_1902_38 n23_a_potter_1902_32->n23_a_potter_1902_33 n23_a_potter_1902_34->n23_a_potter_1902_35 n23_a_potter_1902_36->n23_a_potter_1902_37 n23_a_potter_1902_39 P-ROLE n23_a_potter_1902_38->n23_a_potter_1902_39 n23_a_potter_1902_41 NP n23_a_potter_1902_38->n23_a_potter_1902_41 n23_a_potter_1902_39->n23_a_potter_1902_40 n23_a_potter_1902_42 D n23_a_potter_1902_41->n23_a_potter_1902_42 n23_a_potter_1902_44 N n23_a_potter_1902_41->n23_a_potter_1902_44 n23_a_potter_1902_46 PP n23_a_potter_1902_41->n23_a_potter_1902_46 n23_a_potter_1902_42->n23_a_potter_1902_43 n23_a_potter_1902_44->n23_a_potter_1902_45 n23_a_potter_1902_47 P-ROLE n23_a_potter_1902_46->n23_a_potter_1902_47 n23_a_potter_1902_49 NP n23_a_potter_1902_46->n23_a_potter_1902_49 n23_a_potter_1902_47->n23_a_potter_1902_48 n23_a_potter_1902_50 NPR n23_a_potter_1902_49->n23_a_potter_1902_50 n23_a_potter_1902_50->n23_a_potter_1902_51 n23_a_potter_1902_52->n23_a_potter_1902_53 
( (IP-MAT (NP-SBJ;{MRMCG} (N Mr<dot>)
                          (NPR McGregor;{McGregor}))
          (VBD;_Ip_ came;{come[up]})
          (ADVP-CLR (RP up;{up}))
          (PP-NIM (P-ROLE with;{with})
                  (NP (D a;{a})
                      (N sieve;{sieve})
                      (PUNC ,)
                      (IP-REL (NP-123 (RPRO which;{which}))
                              (NP-SBJ;{MRMCG} (PRO he;{he}))
                              (VBD;_Tt_ intended;{intend})
                              (IP-INF-OB1 (NP-OB1 *ICH*-123)
                                          (TO to;{to})
                                          (VB;_Tn.pr_ pop;{pop[upon]})
                                          (PP-CLR (P-ROLE upon;{upon})
                                                  (NP (D the;{the})
                                                      (N top;{top})
                                                      (PP (P-ROLE of;{of})
                                                          (NP;{PETER} (NPR Peter;{Peter})))))))))
          (PUNC ;))
  (ID 23_a_potter_1902))