arc(r_0404_0003__think, r_0404_0002__I, arg0).
arc(r_0404_0003__think, r_0404_0005___apos_ve, arg1).
arc(r_0404_0005___apos_ve, r_0404_0006__found, scope).
arc(r_0404_0006__found, r_0404_0002__I, arg0).
arc(r_0404_0006__found, z_000_404_a_dick_1952_19, arg1).
arc(r_0404_0010__is, r_0404_0011__supposed, scope).
arc(r_0404_0011__supposed, r_0404_0008__the_r_0404_0009__gun, arg1).
arc(r_0404_0011__supposed, r_0404_0012__to_r_0404_0013__guard, prd).
arc(r_0404_0011__supposed, z_000_404_a_dick_1952_32, arg0).
arc(r_0404_0012__to_r_0404_0013__guard, x_000_404_a_dick_1952_36, arg0).
arc(r_0404_0012__to_r_0404_0013__guard, z_000_404_a_dick_1952_19, arg1).

fof(formula,axiom,
    ? [R_0404_0002__I,Z_000_404_A_DICK_1952_19,R_0404_0005___APOS_VE_R_0404_0006__FOUND,R_0404_0003__THINK,R_0404_0008__THE_R_0404_0009__GUN,X_000_404_A_DICK_1952_36,R_0404_0012__TO_R_0404_0013__GUARD,Z_000_404_A_DICK_1952_32,R_0404_0010__IS_R_0404_0011__SUPPOSED] :
      ( r_0404_0002__I(R_0404_0002__I)
      & r_0404_0008__the_r_0404_0009__gun(R_0404_0008__THE_R_0404_0009__GUN)
      & x_000_404_a_dick_1952_36(X_000_404_A_DICK_1952_36)
      & z_000_404_a_dick_1952_19(Z_000_404_A_DICK_1952_19)
      & z_000_404_a_dick_1952_32(Z_000_404_A_DICK_1952_32)
      & r_0404_0010__is_r_0404_0011__supposed(R_0404_0010__IS_R_0404_0011__SUPPOSED)
      & has_arg0(R_0404_0010__IS_R_0404_0011__SUPPOSED,Z_000_404_A_DICK_1952_32)
      & has_prd(R_0404_0010__IS_R_0404_0011__SUPPOSED,R_0404_0012__TO_R_0404_0013__GUARD)
      & r_0404_0012__to_r_0404_0013__guard(R_0404_0012__TO_R_0404_0013__GUARD)
      & has_arg1(R_0404_0012__TO_R_0404_0013__GUARD,Z_000_404_A_DICK_1952_19)
      & has_arg0(R_0404_0012__TO_R_0404_0013__GUARD,X_000_404_A_DICK_1952_36)
      & has_arg1(R_0404_0010__IS_R_0404_0011__SUPPOSED,R_0404_0008__THE_R_0404_0009__GUN)
      & r_0404_0003__think(R_0404_0003__THINK)
      & has_arg1(R_0404_0003__THINK,R_0404_0005___APOS_VE_R_0404_0006__FOUND)
      & r_0404_0005___apos_ve_r_0404_0006__found(R_0404_0005___APOS_VE_R_0404_0006__FOUND)
      & has_arg1(R_0404_0005___APOS_VE_R_0404_0006__FOUND,Z_000_404_A_DICK_1952_19)
      & has_arg0(R_0404_0005___APOS_VE_R_0404_0006__FOUND,R_0404_0002__I)
      & has_arg0(R_0404_0003__THINK,R_0404_0002__I) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TANCE} (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{TANCE} (PRO I;{I}))
                              (HVP;_cat_Ve_ <apos>ve;{have})
                              (IP-PPL-CAT (VVN;_Tn_ found;{find})
                                          (NP-OB1 (IP-REL (NP-219 (RPRO what;{what}))
                                                          (NP-SBJ (D the;{the})
                                                                  (N gun;{gun}))
                                                          (BEP;_cat_VePASS_ is;{be})
                                                          (IP-PPL-CAT (NP-LGS *)
                                                                      (VVN;_Cn.t_ supposed;{suppose})
                                                                      (IP-INF-PRD (NP-OB1 *ICH*-219)
                                                                                  (TO to;{to})
                                                                                  (VB;_Tn_ guard;{guard}))))))))
          (PUNC .))
  (ID 404_a_dick_1952))