358_a_dick_1952
How it survived the blast I don't know.
arc(r_0358_0003__survived, r_0358_0001__How, nim4).
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_358_7_DO_KNOW,R_358_6_I,R_358_3_SURVIVED,R_358_2_IT,R_358_4_THE_BLAST,R_358_1_HOW] :
( i(R_358_6_I)
& it(R_358_2_IT)
& the_blast(R_358_4_THE_BLAST)
& how(R_358_1_HOW)
& do_know(R_358_7_DO_KNOW,R_358_6_I,R_358_3_SURVIVED)
& survived(R_358_3_SURVIVED,R_358_2_IT,R_358_4_THE_BLAST)
& nim4(R_358_3_SURVIVED,R_358_1_HOW) ) ).
( (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))