arc(r_0016_0002__leaped, r_0016_0001__He, arg0).
arc(r_0016_0002__leaped, r_0016_0003__violently, nim7).
arc(r_0016_0002__leaped, r_0016_0004__back, clr10).
arc(r_0016_0006__knocking, r_0016_0001__He, arg0).
arc(r_0016_0006__knocking, r_0016_0008__Dorle, r_0016_0007__against_clr22).
arc(r_0016_0010__the_r_0016_0012__Navigator, r_0016_0011__Chief, attrib31).
arc(z_000_16_a_dick_1952_15, r_0016_0002__leaped, scope).
arc(z_000_16_a_dick_1952_15, r_0016_0006__knocking, restriction).
arc(z_000_16_a_dick_1952_27, r_0016_0008__Dorle, arg0).
arc(z_000_16_a_dick_1952_27, r_0016_0010__the_r_0016_0012__Navigator, prd).

fof(formula,axiom,
    ? [R_0016_0001__HE,R_0016_0003__VIOLENTLY,R_0016_0004__BACK,R_0016_0002__LEAPED,R_0016_0008__DORLE,R_0016_0006__KNOCKING,Z_000_16_A_DICK_1952_15,R_0016_0011__CHIEF,R_0016_0010__THE_R_0016_0012__NAVIGATOR,Z_000_16_A_DICK_1952_27] :
      ( r_0016_0001__He(R_0016_0001__HE)
      & r_0016_0003__violently(R_0016_0003__VIOLENTLY)
      & r_0016_0004__back(R_0016_0004__BACK)
      & r_0016_0008__Dorle(R_0016_0008__DORLE)
      & r_0016_0011__Chief(R_0016_0011__CHIEF)
      & z_000_16_a_dick_1952_27(Z_000_16_A_DICK_1952_27)
      & has_prd(Z_000_16_A_DICK_1952_27,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_attrib31(R_0016_0010__THE_R_0016_0012__NAVIGATOR,R_0016_0011__CHIEF)
      & has_arg0(Z_000_16_A_DICK_1952_27,R_0016_0008__DORLE)
      & z_000_16_a_dick_1952_15(Z_000_16_A_DICK_1952_15)
      & has_conj1(Z_000_16_A_DICK_1952_15,R_0016_0006__KNOCKING)
      & r_0016_0006__knocking(R_0016_0006__KNOCKING)
      & has_r_0016_0007__against_clr22(R_0016_0006__KNOCKING,R_0016_0008__DORLE)
      & has_arg0(R_0016_0006__KNOCKING,R_0016_0001__HE)
      & has_conj2(Z_000_16_A_DICK_1952_15,R_0016_0002__LEAPED)
      & r_0016_0002__leaped(R_0016_0002__LEAPED)
      & has_clr10(R_0016_0002__LEAPED,R_0016_0004__BACK)
      & has_nim7(R_0016_0002__LEAPED,R_0016_0003__VIOLENTLY)
      & has_arg0(R_0016_0002__LEAPED,R_0016_0001__HE) ) ).

( (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 ,)
                                                (IP-PPL (NP-PRD (D the;{the})
                                                                (ADJP (ADJ Chief;{chief}))
                                                                (N Navigator;{navigator})))))))
          (PUNC .))
  (ID 16_a_dick_1952))