( (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))

arc(r_0235_0004__does_r_0235_0006__make,r_0235_0001__So,nim).
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).
arc(r_0235_0004__does_r_0235_0006__make,r_0235_0007__whether,prn).
arc(r_0235_0007__whether,r_0235_0011__or,keep_scope).
arc(r_0235_0009__go,r_0235_0008__we,arg0).
arc(r_0235_0009__go,r_0235_0010__closer,clr).
arc(r_0235_0011__or,r_0235_0009__go,conj1).
arc(r_0235_0011__or,r_0235_0012__not,conj2).
arc(r_0235_0012__not,z_0235_5008,keep_scope).

fof(formula,axiom,
    ? [R_0235_0001__SO,R_0235_0002__WHAT_R_0235_0003__DIFFERENCE,R_0235_0005__IT,R_0235_0008__WE,R_0235_0010__CLOSER,R_0235_0009__GO,R_0235_0011__OR,R_0235_0007__WHETHER,R_0235_0004__DOES_R_0235_0006__MAKE] :
      ( r_0235_0001__So(R_0235_0001__SO)
      & r_0235_0002__what_r_0235_0003__difference(R_0235_0002__WHAT_R_0235_0003__DIFFERENCE)
      & r_0235_0005__it(R_0235_0005__IT)
      & r_0235_0008__we(R_0235_0008__WE)
      & r_0235_0010__closer(R_0235_0010__CLOSER)
      & r_0235_0004__does_r_0235_0006__make(R_0235_0004__DOES_R_0235_0006__MAKE)
      & has_prn(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0007__WHETHER)
      & r_0235_0007__whether(R_0235_0007__WHETHER)
      & has_keep_scope(R_0235_0007__WHETHER,R_0235_0011__OR)
      & r_0235_0011__or(R_0235_0011__OR)
      & has_conj2(R_0235_0011__OR,R_0235_0012__NOT)
      & ~ ? [Z_0235_5008] : z_0235_5008(Z_0235_5008)
      & has_conj1(R_0235_0011__OR,R_0235_0009__GO)
      & r_0235_0009__go(R_0235_0009__GO)
      & has_clr(R_0235_0009__GO,R_0235_0010__CLOSER)
      & has_arg0(R_0235_0009__GO,R_0235_0008__WE)
      & has_arg0(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0005__IT)
      & has_arg1(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0002__WHAT_R_0235_0003__DIFFERENCE)
      & has_nim(R_0235_0004__DOES_R_0235_0006__MAKE,R_0235_0001__SO) ) ).