TSPC 16_a_dick

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