( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (BEP;_ex_V_ <apos>s;{be})
          (NP-ESBJ (Q no;{no})
                   (N telling;{telling})
                   (CP-QUE (IP-SUB (NP-119 (WPRO what;{what}))
                                   (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
                                   (MD;_cat_Vi_ <apos>ll;{will})
                                   (IP-INF-CAT (NP-OB1 *ICH*-119)
                                               (VB;_Tn_ find;{find})
                                               (ADVP-NIM (ADV there;{there}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 227_a_dick_1952))

arc(r_0227_0003___apos_s,r_0227_0005__telling,arg0).
arc(r_0227_0004__no__quant,r_0227_0003___apos_s,scope).
arc(r_0227_0004__no__quant,r_0227_0005__telling,restriction).
arc(r_0227_0005__telling,r_0227_0008___apos_ll,emb).
arc(r_0227_0008___apos_ll,r_0227_0009__find,scope).
arc(r_0227_0009__find,r_0227_0006__what,arg1).
arc(r_0227_0009__find,r_0227_0007__we,arg0).
arc(r_0227_0009__find,r_0227_0010__there,nim).

fof(formula,axiom,
    ! [R_0227_0005__TELLING,R_0227_0006__WHAT,R_0227_0007__WE,R_0227_0010__THERE,R_0227_0008___APOS_LL_R_0227_0009__FIND] :
      ( ( r_0227_0006__what(R_0227_0006__WHAT)
        & r_0227_0007__we(R_0227_0007__WE)
        & r_0227_0010__there(R_0227_0010__THERE)
        & r_0227_0005__telling(R_0227_0005__TELLING)
        & has_emb(R_0227_0005__TELLING,R_0227_0008___APOS_LL_R_0227_0009__FIND)
        & r_0227_0008___apos_ll_r_0227_0009__find(R_0227_0008___APOS_LL_R_0227_0009__FIND)
        & has_nim(R_0227_0008___APOS_LL_R_0227_0009__FIND,R_0227_0010__THERE)
        & has_arg0(R_0227_0008___APOS_LL_R_0227_0009__FIND,R_0227_0007__WE)
        & has_arg1(R_0227_0008___APOS_LL_R_0227_0009__FIND,R_0227_0006__WHAT) )
     => ? [R_0227_0003___APOS_S] :
          ( r_0227_0003___apos_s(R_0227_0003___APOS_S)
          & has_arg0(R_0227_0003___APOS_S,R_0227_0005__TELLING) ) ) ).