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.
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).
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) ) ).
( (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))