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.
( (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))
arc(r_0009_0004__put_r_0009_0008__on,r_0009_0001__The_r_0009_0002__bulldog,arg0).
arc(r_0009_0004__put_r_0009_0008__on,r_0009_0003__suddenly,nim).
arc(r_0009_0004__put_r_0009_0008__on,r_0009_0006__front_r_0009_0007__paws,arg1).
arc(r_0009_0004__put_r_0009_0008__on,r_0009_0009__John,arg2).
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,attrib).
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_r_0009_0008__on,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_0027__lick,scope).
arc(r_0009_0027__lick,r_0009_0001__The_r_0009_0002__bulldog,arg0).
arc(r_0009_0027__lick,r_0009_0009__John,arg1).
fof(formula,axiom,
? [R_0009_0009__JOHN,R_0009_0014__MIGHTY,R_0009_0013__A_R_0009_0015__PUSH,R_0009_0022__BACK,R_0009_0019__FLAT,R_0009_0017__SENT,R_0009_0001__THE_R_0009_0002__BULLDOG,R_0009_0003__SUDDENLY,R_0009_0006__FRONT_R_0009_0007__PAWS,R_0009_0004__PUT_R_0009_0008__ON,R_0009_0011__GAVE,R_0009_0025__STARTED_R_0009_0027__LICK,R_0009_0024__AND] :
( r_0009_0001__The_r_0009_0002__bulldog(R_0009_0001__THE_R_0009_0002__BULLDOG)
& r_0009_0003__suddenly(R_0009_0003__SUDDENLY)
& r_0009_0009__John(R_0009_0009__JOHN)
& r_0009_0014__mighty(R_0009_0014__MIGHTY)
& r_0009_0024__and(R_0009_0024__AND)
& has_conj3(R_0009_0024__AND,R_0009_0025__STARTED_R_0009_0027__LICK)
& r_0009_0025__started_r_0009_0027__lick(R_0009_0025__STARTED_R_0009_0027__LICK)
& has_arg1(R_0009_0025__STARTED_R_0009_0027__LICK,R_0009_0009__JOHN)
& has_arg0(R_0009_0025__STARTED_R_0009_0027__LICK,R_0009_0001__THE_R_0009_0002__BULLDOG)
& has_conj2(R_0009_0024__AND,R_0009_0011__GAVE)
& r_0009_0011__gave(R_0009_0011__GAVE)
& has_arg1(R_0009_0011__GAVE,R_0009_0013__A_R_0009_0015__PUSH)
& r_0009_0013__a_r_0009_0015__push(R_0009_0013__A_R_0009_0015__PUSH)
& has_attrib(R_0009_0013__A_R_0009_0015__PUSH,R_0009_0014__MIGHTY)
& has_arg2(R_0009_0011__GAVE,R_0009_0009__JOHN)
& has_arg0(R_0009_0011__GAVE,R_0009_0001__THE_R_0009_0002__BULLDOG)
& has_conj1(R_0009_0024__AND,R_0009_0004__PUT_R_0009_0008__ON)
& r_0009_0004__put_r_0009_0008__on(R_0009_0004__PUT_R_0009_0008__ON)
& has_arg2(R_0009_0004__PUT_R_0009_0008__ON,R_0009_0009__JOHN)
& has_arg1(R_0009_0004__PUT_R_0009_0008__ON,R_0009_0006__FRONT_R_0009_0007__PAWS)
& r_0009_0006__front_r_0009_0007__paws(R_0009_0006__FRONT_R_0009_0007__PAWS)
& has_gen(R_0009_0006__FRONT_R_0009_0007__PAWS,R_0009_0001__THE_R_0009_0002__BULLDOG)
& has_nim(R_0009_0004__PUT_R_0009_0008__ON,R_0009_0003__SUDDENLY)
& has_arg0(R_0009_0004__PUT_R_0009_0008__ON,R_0009_0001__THE_R_0009_0002__BULLDOG)
& r_0009_0017__sent(R_0009_0017__SENT)
& has_prd(R_0009_0017__SENT,R_0009_0019__FLAT)
& r_0009_0019__flat(R_0009_0019__FLAT)
& has_r_0009_0020__on(R_0009_0019__FLAT,R_0009_0022__BACK)
& r_0009_0022__back(R_0009_0022__BACK)
& has_gen(R_0009_0022__BACK,R_0009_0009__JOHN)
& has_arg0(R_0009_0017__SENT,R_0009_0013__A_R_0009_0015__PUSH)
& has_arg1(R_0009_0017__SENT,R_0009_0009__JOHN) ) ).