235_a_dick_1952
So what difference does it make whether we go closer or not?”
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0001__So, nim3).
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0002__what_r_0235_0003__difference, arg1).
arc(r_0235_0004__does_r_0235_0006__make, r_0235_0005__it, arg0).
fof(formula,axiom,
? [R_235_4_DOES_MAKE,R_235_5_IT,R_235_2_WHAT_DIFFERENCE,R_235_1_SO] :
( it(R_235_5_IT)
& what_difference(R_235_2_WHAT_DIFFERENCE)
& so(R_235_1_SO)
& does_make(R_235_4_DOES_MAKE,R_235_5_IT,R_235_2_WHAT_DIFFERENCE)
& nim3(R_235_4_DOES_MAKE,R_235_1_SO) ) ).
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (ADV So;{so}))
(NP-OB1 (WD what;{what})
(N difference;{difference}))
(DOP does;{do})
(NP-SBJ (PRO it;{it}))
(VB;_Tn_ make;{make})
(PRN (CP-QUE (IP-SUB (WQ whether;{whether})
(ILYR (ILYR (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
(VBP;_Ip_ go;{go[closer]})
(ADVP-CLR (ADVR closer;{close})))
(CONJP (CONJ or;{or})
(ILYR (NEG not;{not}))))))))
(PUNC ?)
(PURQ <rdquo>))
(ID 235_a_dick_1952))