( (IP-MAT (NP-SBJ;{TANCE} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{TANCE} (PRO I;{I}))
                              (VBP;_Tf_ know;{know})
                              (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                                                  (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                                                  (VBD;_Tt_ wanted;{want})
                                                  (IP-INF-OB1 (TO to;{to})
                                                              (VB;_phr_Vn<=>p_ keep;{keep[off]})
                                                              (NP-OB1 (D the;{the})
                                                                      (N enemy;{enemy}))
                                                              (RP off;{off}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 402_a_dick_1952))

arc(r_0402_0002__think,r_0402_0001__I,arg0).
arc(r_0402_0002__think,r_0402_0004__know,arg1).
arc(r_0402_0004__know,r_0402_0001__I,arg0).
arc(r_0402_0004__know,r_0402_0007__wanted,arg1).
arc(r_0402_0007__wanted,r_0402_0005__why,nim).
arc(r_0402_0007__wanted,r_0402_0006__they,arg0).
arc(r_0402_0007__wanted,r_0402_0009__keep_r_0402_0012__off,arg1).
arc(r_0402_0009__keep_r_0402_0012__off,r_0402_0006__they,arg0).
arc(r_0402_0009__keep_r_0402_0012__off,r_0402_0010__the_r_0402_0011__enemy,arg1).

fof(formula,axiom,
    ? [R_0402_0001__I,R_0402_0005__WHY,R_0402_0006__THEY,R_0402_0010__THE_R_0402_0011__ENEMY,R_0402_0009__KEEP_R_0402_0012__OFF,R_0402_0007__WANTED,R_0402_0004__KNOW,R_0402_0002__THINK] :
      ( r_0402_0001__I(R_0402_0001__I)
      & r_0402_0005__why(R_0402_0005__WHY)
      & r_0402_0006__they(R_0402_0006__THEY)
      & r_0402_0010__the_r_0402_0011__enemy(R_0402_0010__THE_R_0402_0011__ENEMY)
      & r_0402_0002__think(R_0402_0002__THINK)
      & has_arg1(R_0402_0002__THINK,R_0402_0004__KNOW)
      & r_0402_0004__know(R_0402_0004__KNOW)
      & has_arg1(R_0402_0004__KNOW,R_0402_0007__WANTED)
      & r_0402_0007__wanted(R_0402_0007__WANTED)
      & has_arg1(R_0402_0007__WANTED,R_0402_0009__KEEP_R_0402_0012__OFF)
      & r_0402_0009__keep_r_0402_0012__off(R_0402_0009__KEEP_R_0402_0012__OFF)
      & has_arg1(R_0402_0009__KEEP_R_0402_0012__OFF,R_0402_0010__THE_R_0402_0011__ENEMY)
      & has_arg0(R_0402_0009__KEEP_R_0402_0012__OFF,R_0402_0006__THEY)
      & has_arg0(R_0402_0007__WANTED,R_0402_0006__THEY)
      & has_nim(R_0402_0007__WANTED,R_0402_0005__WHY)
      & has_arg0(R_0402_0004__KNOW,R_0402_0001__I)
      & has_arg0(R_0402_0002__THINK,R_0402_0001__I) ) ).