16_a_dick_1952
He leaped violently back, knocking against Dorle, the Chief Navigator.
( (IP-MAT (NP-SBJ;{TANCE} (PRO He;{he}))
(VBD;_Ip_ leaped;{leap[back]})
(ADVP-NIM (ADV violently;{violently}))
(ADVP-CLR (RP back;{back}))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_Ipr_ knocking;{knock[against]})
(PP-CLR (P-ROLE against;{against})
(NP;{DORLE} (NPR Dorle;{Dorle})
(PUNC ,)
(PRN (NP (D the;{the})
(ADJP (ADJ Chief;{chief}))
(N Navigator;{navigator})))))))
(PUNC .))
(ID 16_a_dick_1952))
arc(r_0016_0002__leaped_r_0016_0004__back,r_0016_0001__He,arg0).
arc(r_0016_0002__leaped_r_0016_0004__back,r_0016_0003__violently,nim).
arc(r_0016_0006__knocking_r_0016_0007__against,r_0016_0001__He,arg0).
arc(r_0016_0006__knocking_r_0016_0007__against,r_0016_0008__Dorle,arg1).
arc(r_0016_0010__the_r_0016_0012__Navigator,r_0016_0011__Chief,attrib).
arc(z_0016_5001,r_0016_0002__leaped_r_0016_0004__back,scope).
arc(z_0016_5001,r_0016_0006__knocking_r_0016_0007__against,restriction).
arc(z_0016_5005,r_0016_0008__Dorle,arg0).
arc(z_0016_5005,r_0016_0010__the_r_0016_0012__Navigator,prd).
fof(formula,axiom,
? [R_0016_0001__HE,R_0016_0003__VIOLENTLY,R_0016_0002__LEAPED_R_0016_0004__BACK,R_0016_0008__DORLE,R_0016_0006__KNOCKING_R_0016_0007__AGAINST,Z_0016_5001,R_0016_0011__CHIEF,R_0016_0010__THE_R_0016_0012__NAVIGATOR,Z_0016_5005] :
( r_0016_0001__He(R_0016_0001__HE)
& r_0016_0003__violently(R_0016_0003__VIOLENTLY)
& r_0016_0008__Dorle(R_0016_0008__DORLE)
& r_0016_0011__Chief(R_0016_0011__CHIEF)
& z_0016_5005(Z_0016_5005)
& has_prd(Z_0016_5005,R_0016_0010__THE_R_0016_0012__NAVIGATOR)
& r_0016_0010__the_r_0016_0012__Navigator(R_0016_0010__THE_R_0016_0012__NAVIGATOR)
& has_attrib(R_0016_0010__THE_R_0016_0012__NAVIGATOR,R_0016_0011__CHIEF)
& has_arg0(Z_0016_5005,R_0016_0008__DORLE)
& z_0016_5001(Z_0016_5001)
& has_conj1(Z_0016_5001,R_0016_0006__KNOCKING_R_0016_0007__AGAINST)
& r_0016_0006__knocking_r_0016_0007__against(R_0016_0006__KNOCKING_R_0016_0007__AGAINST)
& has_arg1(R_0016_0006__KNOCKING_R_0016_0007__AGAINST,R_0016_0008__DORLE)
& has_arg0(R_0016_0006__KNOCKING_R_0016_0007__AGAINST,R_0016_0001__HE)
& has_conj2(Z_0016_5001,R_0016_0002__LEAPED_R_0016_0004__BACK)
& r_0016_0002__leaped_r_0016_0004__back(R_0016_0002__LEAPED_R_0016_0004__BACK)
& has_nim(R_0016_0002__LEAPED_R_0016_0004__BACK,R_0016_0003__VIOLENTLY)
& has_arg0(R_0016_0002__LEAPED_R_0016_0004__BACK,R_0016_0001__HE) ) ).