( (IP-MAT (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV How;{how}))
                              (NP-SBJ (PRO it;{it}))
                              (VBD;_Tn_ survived;{survive})
                              (NP-OB1 (D the;{the})
                                      (N blast;{blast}))))
          (NP-SBJ (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tw_ know;{know})
          (PUNC .))
  (ID 358_a_dick_1952))

arc(r_0358_0003__survived,r_0358_0001__How,nim).
arc(r_0358_0003__survived,r_0358_0002__it,arg0).
arc(r_0358_0003__survived,r_0358_0004__the_r_0358_0005__blast,arg1).
arc(r_0358_0007__do_r_0358_0009__know,r_0358_0003__survived,arg1).
arc(r_0358_0007__do_r_0358_0009__know,r_0358_0006__I,arg0).
arc(r_0358_0008__n_apos_t,r_0358_0007__do_r_0358_0009__know,keep_scope).

fof(formula,axiom,
    ~ ? [R_0358_0001__HOW,R_0358_0002__IT,R_0358_0004__THE_R_0358_0005__BLAST,R_0358_0003__SURVIVED,R_0358_0006__I,R_0358_0007__DO_R_0358_0009__KNOW] :
        ( r_0358_0001__How(R_0358_0001__HOW)
        & r_0358_0002__it(R_0358_0002__IT)
        & r_0358_0004__the_r_0358_0005__blast(R_0358_0004__THE_R_0358_0005__BLAST)
        & r_0358_0006__I(R_0358_0006__I)
        & r_0358_0007__do_r_0358_0009__know(R_0358_0007__DO_R_0358_0009__KNOW)
        & has_arg0(R_0358_0007__DO_R_0358_0009__KNOW,R_0358_0006__I)
        & has_arg1(R_0358_0007__DO_R_0358_0009__KNOW,R_0358_0003__SURVIVED)
        & r_0358_0003__survived(R_0358_0003__SURVIVED)
        & has_arg1(R_0358_0003__SURVIVED,R_0358_0004__THE_R_0358_0005__BLAST)
        & has_arg0(R_0358_0003__SURVIVED,R_0358_0002__IT)
        & has_nim(R_0358_0003__SURVIVED,R_0358_0001__HOW) ) ).