( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                                             (NP-216 (WPRO what;{what}))
                                             (BEP;_Ipr_ <apos>s;{be[for]})
                                             (NP-SBJ;{GUN} (D this;{this})
                                                           (N gun;{gun}))
                                             (PP-CLR (P-ROLE for;{for})
                                                     (NP *ICH*-216)))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{TANCE} (NPR Tance;{Tance}))
          (VBD;_Tr_ put;{put[in]})
          (RP in;{in})
          (PUNC .))
  (ID 352_a_dick_1952))

arc(r_0352_0004___apos_s_r_0352_0007__for,r_0352_0003__what,arg1).
arc(r_0352_0004___apos_s_r_0352_0007__for,r_0352_0005__this_r_0352_0006__gun,arg0).
arc(r_0352_0011__put_r_0352_0012__in,r_0352_0010__Tance,arg0).
arc(r_0352_0011__put_r_0352_0012__in,z_0352_5002__utterance,arg1).
arc(z_0352_5002__utterance,r_0352_0004___apos_s_r_0352_0007__for,part1).

fof(formula,axiom,
    ? [R_0352_0010__TANCE,R_0352_0003__WHAT,R_0352_0005__THIS_R_0352_0006__GUN,R_0352_0004___APOS_S_R_0352_0007__FOR,Z_0352_5002__UTTERANCE,R_0352_0011__PUT_R_0352_0012__IN] :
      ( r_0352_0003__what(R_0352_0003__WHAT)
      & r_0352_0005__this_r_0352_0006__gun(R_0352_0005__THIS_R_0352_0006__GUN)
      & r_0352_0010__Tance(R_0352_0010__TANCE)
      & r_0352_0011__put_r_0352_0012__in(R_0352_0011__PUT_R_0352_0012__IN)
      & has_arg1(R_0352_0011__PUT_R_0352_0012__IN,Z_0352_5002__UTTERANCE)
      & z_0352_5002__utterance(Z_0352_5002__UTTERANCE)
      & has_part1(Z_0352_5002__UTTERANCE,R_0352_0004___APOS_S_R_0352_0007__FOR)
      & r_0352_0004___apos_s_r_0352_0007__for(R_0352_0004___APOS_S_R_0352_0007__FOR)
      & has_arg0(R_0352_0004___APOS_S_R_0352_0007__FOR,R_0352_0005__THIS_R_0352_0006__GUN)
      & has_arg1(R_0352_0004___APOS_S_R_0352_0007__FOR,R_0352_0003__WHAT)
      & has_arg0(R_0352_0011__PUT_R_0352_0012__IN,R_0352_0010__TANCE) ) ).