115_a_dick_1952
“Then how do you explain it?
( (CP-QUE-MAT (PULQ <ldquo>)
(IP-SUB (ADVP-NIM (ADV Then;{then}))
(ADVP-NIM (WADV how;{how}))
(DOP do;{do})
(NP-SBJ;{FOMAR} (PRO you;{you}))
(VB;_Tn_ explain;{explain})
(NP-OB1 (PRO it;{it})))
(PUNC ?))
(ID 115_a_dick_1952))
arc(r_0115_0004__do_r_0115_0006__explain,r_0115_0002__Then,nim).
arc(r_0115_0004__do_r_0115_0006__explain,r_0115_0003__how,nim).
arc(r_0115_0004__do_r_0115_0006__explain,r_0115_0005__you,arg0).
arc(r_0115_0004__do_r_0115_0006__explain,r_0115_0007__it,arg1).
fof(formula,axiom,
? [R_0115_0002__THEN,R_0115_0003__HOW,R_0115_0005__YOU,R_0115_0007__IT,R_0115_0004__DO_R_0115_0006__EXPLAIN] :
( r_0115_0002__Then(R_0115_0002__THEN)
& r_0115_0003__how(R_0115_0003__HOW)
& r_0115_0005__you(R_0115_0005__YOU)
& r_0115_0007__it(R_0115_0007__IT)
& r_0115_0004__do_r_0115_0006__explain(R_0115_0004__DO_R_0115_0006__EXPLAIN)
& has_arg1(R_0115_0004__DO_R_0115_0006__EXPLAIN,R_0115_0007__IT)
& has_arg0(R_0115_0004__DO_R_0115_0006__EXPLAIN,R_0115_0005__YOU)
& has_nim(R_0115_0004__DO_R_0115_0006__EXPLAIN,R_0115_0003__HOW)
& has_nim(R_0115_0004__DO_R_0115_0006__EXPLAIN,R_0115_0002__THEN) ) ).