Context                Previous, Next                Top


9_a_stories_09_m12
The bulldog suddenly put its front paws on John, gave him a mighty push which sent him flat on his back, and started to lick him.

%3 r_0009_0004__put put r_0009_0001__The_r_0009_0002__bulldog The bulldog r_0009_0004__put->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0003__suddenly suddenly r_0009_0004__put->r_0009_0003__suddenly [nim] r_0009_0006__front_r_0009_0007__paws front paws r_0009_0004__put->r_0009_0006__front_r_0009_0007__paws [arg1] r_0009_0009__John John r_0009_0004__put->r_0009_0009__John on [clr] r_0009_0006__front_r_0009_0007__paws->r_0009_0001__The_r_0009_0002__bulldog [gen] r_0009_0011__gave gave r_0009_0011__gave->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0011__gave->r_0009_0009__John [arg2] r_0009_0013__a_r_0009_0015__push a push r_0009_0011__gave->r_0009_0013__a_r_0009_0015__push [arg1] r_0009_0014__mighty mighty r_0009_0013__a_r_0009_0015__push->r_0009_0014__mighty [attrib] r_0009_0017__sent sent r_0009_0017__sent->r_0009_0009__John [arg1] r_0009_0017__sent->r_0009_0013__a_r_0009_0015__push [arg0] r_0009_0019__flat flat r_0009_0017__sent->r_0009_0019__flat [prd] r_0009_0022__back back r_0009_0019__flat->r_0009_0022__back on r_0009_0022__back->r_0009_0009__John [gen] r_0009_0024__and and r_0009_0024__and->r_0009_0004__put [conj1] r_0009_0024__and->r_0009_0011__gave [conj2] r_0009_0025__started started r_0009_0024__and->r_0009_0025__started [conj3] r_0009_0026__to_r_0009_0027__lick to lick r_0009_0025__started->r_0009_0026__to_r_0009_0027__lick [scope] r_0009_0026__to_r_0009_0027__lick->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0026__to_r_0009_0027__lick->r_0009_0009__John [arg1] 
arc(r_0009_0004__put, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0004__put, r_0009_0003__suddenly, nim9).
arc(r_0009_0004__put, r_0009_0006__front_r_0009_0007__paws, arg1).
arc(r_0009_0004__put, r_0009_0009__John, r_0009_0008__on_clr25).
arc(r_0009_0006__front_r_0009_0007__paws, r_0009_0001__The_r_0009_0002__bulldog, gen).
arc(r_0009_0011__gave, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0011__gave, r_0009_0009__John, arg2).
arc(r_0009_0011__gave, r_0009_0013__a_r_0009_0015__push, arg1).
arc(r_0009_0013__a_r_0009_0015__push, r_0009_0014__mighty, attrib40).
arc(r_0009_0017__sent, r_0009_0009__John, arg1).
arc(r_0009_0017__sent, r_0009_0013__a_r_0009_0015__push, arg0).
arc(r_0009_0017__sent, r_0009_0019__flat, prd).
arc(r_0009_0019__flat, r_0009_0022__back, r_0009_0020__on).
arc(r_0009_0022__back, r_0009_0009__John, gen).
arc(r_0009_0024__and, r_0009_0004__put, conj1).
arc(r_0009_0024__and, r_0009_0011__gave, conj2).
arc(r_0009_0024__and, r_0009_0025__started, conj3).
arc(r_0009_0025__started, r_0009_0026__to_r_0009_0027__lick, scope).
arc(r_0009_0026__to_r_0009_0027__lick, r_0009_0001__The_r_0009_0002__bulldog, arg0).
arc(r_0009_0026__to_r_0009_0027__lick, r_0009_0009__John, arg1).


%3 r_0009_0004__put put r_0009_0001__The_r_0009_0002__bulldog The bulldog r_0009_0004__put->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0003__suddenly suddenly r_0009_0004__put->r_0009_0003__suddenly [nim] r_0009_0006__front_r_0009_0007__paws front paws r_0009_0004__put->r_0009_0006__front_r_0009_0007__paws [arg1] r_0009_0009__John John r_0009_0004__put->r_0009_0009__John on [clr] r_0009_0006__front_r_0009_0007__paws->r_0009_0001__The_r_0009_0002__bulldog [gen] r_0009_0011__gave gave r_0009_0011__gave->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0011__gave->r_0009_0009__John [arg2] r_0009_0013__a_r_0009_0015__push a push r_0009_0011__gave->r_0009_0013__a_r_0009_0015__push [arg1] r_0009_0014__mighty mighty r_0009_0013__a_r_0009_0015__push->r_0009_0014__mighty [attrib] r_0009_0017__sent sent r_0009_0017__sent->r_0009_0009__John [arg1] r_0009_0017__sent->r_0009_0013__a_r_0009_0015__push [arg0] r_0009_0019__flat flat r_0009_0017__sent->r_0009_0019__flat [prd] r_0009_0022__back back r_0009_0019__flat->r_0009_0022__back on r_0009_0022__back->r_0009_0009__John [gen] r_0009_0024__and and r_0009_0024__and->r_0009_0004__put [conj1] r_0009_0024__and->r_0009_0011__gave [conj2] r_0009_0025__started_r_0009_0026__to_r_0009_0027__lick started to lick r_0009_0024__and->r_0009_0025__started_r_0009_0026__to_r_0009_0027__lick [conj3] r_0009_0025__started_r_0009_0026__to_r_0009_0027__lick->r_0009_0001__The_r_0009_0002__bulldog [arg0] r_0009_0025__started_r_0009_0026__to_r_0009_0027__lick->r_0009_0009__John [arg1] 
fof(formula,axiom,
    ? [R_9_17_SENT,R_9_19_FLAT,R_9_22_BACK,R_9_24_AND,R_9_4_PUT,R_9_6_FRONT_PAWS,R_9_3_SUDDENLY,R_9_11_GAVE,R_9_13_A_PUSH,R_9_14_MIGHTY,R_9_25_STARTED_TO_LICK,R_9_1_THE_BULLDOG,R_9_9_JOHN] :
      ( suddenly(R_9_3_SUDDENLY)
      & mighty(R_9_14_MIGHTY)
      & the_bulldog(R_9_1_THE_BULLDOG)
      & john(R_9_9_JOHN)
      & sent(R_9_17_SENT,R_9_13_A_PUSH,R_9_9_JOHN,R_9_19_FLAT)
      & a_push(R_9_13_A_PUSH)
      & attrib40(R_9_13_A_PUSH,R_9_14_MIGHTY)
      & flat(R_9_19_FLAT)
      & on(R_9_19_FLAT,R_9_22_BACK)
      & back(R_9_22_BACK)
      & gen(R_9_22_BACK,R_9_9_JOHN)
      & and(R_9_24_AND)
      & conj1(R_9_24_AND,R_9_4_PUT)
      & put(R_9_4_PUT,R_9_1_THE_BULLDOG,R_9_6_FRONT_PAWS)
      & front_paws(R_9_6_FRONT_PAWS)
      & gen(R_9_6_FRONT_PAWS,R_9_1_THE_BULLDOG)
      & nim9(R_9_4_PUT,R_9_3_SUDDENLY)
      & on_clr25(R_9_4_PUT,R_9_9_JOHN)
      & conj2(R_9_24_AND,R_9_11_GAVE)
      & gave(R_9_11_GAVE,R_9_1_THE_BULLDOG,R_9_13_A_PUSH,R_9_9_JOHN)
      & conj3(R_9_24_AND,R_9_25_STARTED_TO_LICK)
      & started_to_lick(R_9_25_STARTED_TO_LICK,R_9_1_THE_BULLDOG,R_9_9_JOHN) ) ).


n9_a_stories_09_m12 n9_a_stories_09_m12_4 The n9_a_stories_09_m12_6 bulldog n9_a_stories_09_m12_11 suddenly n9_a_stories_09_m12_13 put n9_a_stories_09_m12_17 its n9_a_stories_09_m12_19 front n9_a_stories_09_m12_21 paws n9_a_stories_09_m12_24 on n9_a_stories_09_m12_27 John n9_a_stories_09_m12_29 , n9_a_stories_09_m12_33 gave n9_a_stories_09_m12_36 him n9_a_stories_09_m12_39 a n9_a_stories_09_m12_42 mighty n9_a_stories_09_m12_44 push n9_a_stories_09_m12_48 which n9_a_stories_09_m12_50 sent n9_a_stories_09_m12_53 him n9_a_stories_09_m12_56 flat n9_a_stories_09_m12_59 on n9_a_stories_09_m12_63 his n9_a_stories_09_m12_65 back n9_a_stories_09_m12_67 , n9_a_stories_09_m12_70 and n9_a_stories_09_m12_73 started n9_a_stories_09_m12_76 to n9_a_stories_09_m12_78 lick n9_a_stories_09_m12_81 him n9_a_stories_09_m12_83 . n9_a_stories_09_m12_1 IP-MAT n9_a_stories_09_m12_2 NP-SBJ n9_a_stories_09_m12_1->n9_a_stories_09_m12_2 n9_a_stories_09_m12_7 ILYR n9_a_stories_09_m12_1->n9_a_stories_09_m12_7 n9_a_stories_09_m12_82 PUNC n9_a_stories_09_m12_1->n9_a_stories_09_m12_82 n9_a_stories_09_m12_3 D n9_a_stories_09_m12_2->n9_a_stories_09_m12_3 n9_a_stories_09_m12_5 N n9_a_stories_09_m12_2->n9_a_stories_09_m12_5 n9_a_stories_09_m12_3->n9_a_stories_09_m12_4 n9_a_stories_09_m12_5->n9_a_stories_09_m12_6 n9_a_stories_09_m12_8 ILYR n9_a_stories_09_m12_7->n9_a_stories_09_m12_8 n9_a_stories_09_m12_28 PUNC n9_a_stories_09_m12_7->n9_a_stories_09_m12_28 n9_a_stories_09_m12_30 CONJP n9_a_stories_09_m12_7->n9_a_stories_09_m12_30 n9_a_stories_09_m12_66 PUNC n9_a_stories_09_m12_7->n9_a_stories_09_m12_66 n9_a_stories_09_m12_68 CONJP n9_a_stories_09_m12_7->n9_a_stories_09_m12_68 n9_a_stories_09_m12_9 ADVP-NIM n9_a_stories_09_m12_8->n9_a_stories_09_m12_9 n9_a_stories_09_m12_12 VBD;_Tn.pr_ n9_a_stories_09_m12_8->n9_a_stories_09_m12_12 n9_a_stories_09_m12_14 NP-OB1 n9_a_stories_09_m12_8->n9_a_stories_09_m12_14 n9_a_stories_09_m12_22 PP-CLR n9_a_stories_09_m12_8->n9_a_stories_09_m12_22 n9_a_stories_09_m12_10 ADV n9_a_stories_09_m12_9->n9_a_stories_09_m12_10 n9_a_stories_09_m12_10->n9_a_stories_09_m12_11 n9_a_stories_09_m12_12->n9_a_stories_09_m12_13 n9_a_stories_09_m12_15 NP-GEN n9_a_stories_09_m12_14->n9_a_stories_09_m12_15 n9_a_stories_09_m12_18 N n9_a_stories_09_m12_14->n9_a_stories_09_m12_18 n9_a_stories_09_m12_20 NS n9_a_stories_09_m12_14->n9_a_stories_09_m12_20 n9_a_stories_09_m12_16 PRO;_genm_ n9_a_stories_09_m12_15->n9_a_stories_09_m12_16 n9_a_stories_09_m12_16->n9_a_stories_09_m12_17 n9_a_stories_09_m12_18->n9_a_stories_09_m12_19 n9_a_stories_09_m12_20->n9_a_stories_09_m12_21 n9_a_stories_09_m12_23 P-ROLE n9_a_stories_09_m12_22->n9_a_stories_09_m12_23 n9_a_stories_09_m12_25 NP n9_a_stories_09_m12_22->n9_a_stories_09_m12_25 n9_a_stories_09_m12_23->n9_a_stories_09_m12_24 n9_a_stories_09_m12_26 NPR n9_a_stories_09_m12_25->n9_a_stories_09_m12_26 n9_a_stories_09_m12_26->n9_a_stories_09_m12_27 n9_a_stories_09_m12_28->n9_a_stories_09_m12_29 n9_a_stories_09_m12_31 ILYR n9_a_stories_09_m12_30->n9_a_stories_09_m12_31 n9_a_stories_09_m12_32 VBD;_Dn.n_ n9_a_stories_09_m12_31->n9_a_stories_09_m12_32 n9_a_stories_09_m12_34 NP-OB2 n9_a_stories_09_m12_31->n9_a_stories_09_m12_34 n9_a_stories_09_m12_37 NP-OB1 n9_a_stories_09_m12_31->n9_a_stories_09_m12_37 n9_a_stories_09_m12_32->n9_a_stories_09_m12_33 n9_a_stories_09_m12_35 PRO n9_a_stories_09_m12_34->n9_a_stories_09_m12_35 n9_a_stories_09_m12_35->n9_a_stories_09_m12_36 n9_a_stories_09_m12_38 D n9_a_stories_09_m12_37->n9_a_stories_09_m12_38 n9_a_stories_09_m12_40 ADJP n9_a_stories_09_m12_37->n9_a_stories_09_m12_40 n9_a_stories_09_m12_43 N n9_a_stories_09_m12_37->n9_a_stories_09_m12_43 n9_a_stories_09_m12_45 IP-REL n9_a_stories_09_m12_37->n9_a_stories_09_m12_45 n9_a_stories_09_m12_38->n9_a_stories_09_m12_39 n9_a_stories_09_m12_41 ADJ n9_a_stories_09_m12_40->n9_a_stories_09_m12_41 n9_a_stories_09_m12_41->n9_a_stories_09_m12_42 n9_a_stories_09_m12_43->n9_a_stories_09_m12_44 n9_a_stories_09_m12_46 NP-SBJ n9_a_stories_09_m12_45->n9_a_stories_09_m12_46 n9_a_stories_09_m12_49 VBD;_Cn.a_ n9_a_stories_09_m12_45->n9_a_stories_09_m12_49 n9_a_stories_09_m12_51 NP-OB1 n9_a_stories_09_m12_45->n9_a_stories_09_m12_51 n9_a_stories_09_m12_54 ADJP-PRD n9_a_stories_09_m12_45->n9_a_stories_09_m12_54 n9_a_stories_09_m12_47 RPRO n9_a_stories_09_m12_46->n9_a_stories_09_m12_47 n9_a_stories_09_m12_47->n9_a_stories_09_m12_48 n9_a_stories_09_m12_49->n9_a_stories_09_m12_50 n9_a_stories_09_m12_52 PRO n9_a_stories_09_m12_51->n9_a_stories_09_m12_52 n9_a_stories_09_m12_52->n9_a_stories_09_m12_53 n9_a_stories_09_m12_55 ADJ n9_a_stories_09_m12_54->n9_a_stories_09_m12_55 n9_a_stories_09_m12_57 PP n9_a_stories_09_m12_54->n9_a_stories_09_m12_57 n9_a_stories_09_m12_55->n9_a_stories_09_m12_56 n9_a_stories_09_m12_58 P-ROLE n9_a_stories_09_m12_57->n9_a_stories_09_m12_58 n9_a_stories_09_m12_60 NP n9_a_stories_09_m12_57->n9_a_stories_09_m12_60 n9_a_stories_09_m12_58->n9_a_stories_09_m12_59 n9_a_stories_09_m12_61 NP-GEN n9_a_stories_09_m12_60->n9_a_stories_09_m12_61 n9_a_stories_09_m12_64 N n9_a_stories_09_m12_60->n9_a_stories_09_m12_64 n9_a_stories_09_m12_62 PRO;_genm_ n9_a_stories_09_m12_61->n9_a_stories_09_m12_62 n9_a_stories_09_m12_62->n9_a_stories_09_m12_63 n9_a_stories_09_m12_64->n9_a_stories_09_m12_65 n9_a_stories_09_m12_66->n9_a_stories_09_m12_67 n9_a_stories_09_m12_69 CONJ n9_a_stories_09_m12_68->n9_a_stories_09_m12_69 n9_a_stories_09_m12_71 ILYR n9_a_stories_09_m12_68->n9_a_stories_09_m12_71 n9_a_stories_09_m12_69->n9_a_stories_09_m12_70 n9_a_stories_09_m12_72 VBD;_cat_Vt_ n9_a_stories_09_m12_71->n9_a_stories_09_m12_72 n9_a_stories_09_m12_74 IP-INF-CAT n9_a_stories_09_m12_71->n9_a_stories_09_m12_74 n9_a_stories_09_m12_72->n9_a_stories_09_m12_73 n9_a_stories_09_m12_75 TO n9_a_stories_09_m12_74->n9_a_stories_09_m12_75 n9_a_stories_09_m12_77 VB;_Tn_ n9_a_stories_09_m12_74->n9_a_stories_09_m12_77 n9_a_stories_09_m12_79 NP-OB1 n9_a_stories_09_m12_74->n9_a_stories_09_m12_79 n9_a_stories_09_m12_75->n9_a_stories_09_m12_76 n9_a_stories_09_m12_77->n9_a_stories_09_m12_78 n9_a_stories_09_m12_80 PRO n9_a_stories_09_m12_79->n9_a_stories_09_m12_80 n9_a_stories_09_m12_80->n9_a_stories_09_m12_81 n9_a_stories_09_m12_82->n9_a_stories_09_m12_83 
( (IP-MAT (NP-SBJ;{BULLDOG} (D The;{the})
                            (N bulldog;{bulldog}))
          (ILYR (ILYR (ADVP-NIM (ADV suddenly;{suddenly}))
                      (VBD;_Tn.pr_ put;{put[on]})
                      (NP-OB1 (NP-GEN;{BULLDOG} (PRO;_genm_ its;{its}))
                              (N front;{front})
                              (NS paws;{paw}))
                      (PP-CLR (P-ROLE on;{on})
                              (NP;{JOHN} (NPR John;{John}))))
                (PUNC ,)
                (CONJP (ILYR (VBD;_Dn.n_ gave;{give})
                             (NP-OB2;{JOHN} (PRO him;{he}))
                             (NP-OB1 (D a;{a})
                                     (ADJP (ADJ mighty;{mighty}))
                                     (N push;{push})
                                     (IP-REL (NP-SBJ (RPRO which;{which}))
                                             (VBD;_Cn.a_ sent;{send})
                                             (NP-OB1;{JOHN} (PRO him;{he}))
                                             (ADJP-PRD (ADJ flat;{flat})
                                                       (PP (P-ROLE on;{on})
                                                           (NP (NP-GEN;{JOHN} (PRO;_genm_ his;{his}))
                                                               (N back;{back}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_cat_Vt_ started;{start})
                             (IP-INF-CAT (TO to;{to})
                                         (VB;_Tn_ lick;{lick})
                                         (NP-OB1;{JOHN} (PRO him;{he}))))))
          (PUNC .))
  (ID 9_a_stories_09_m12))