arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0005__one, arg0).
arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0006__alive, prd).
arc(r_0353_0002__There_r_0353_0003___apos_s, r_0353_0007__here, nim16).
arc(r_0353_0004__no_quant, r_0353_0002__There_r_0353_0003___apos_s, scope).
arc(r_0353_0004__no_quant, r_0353_0005__one, restriction).

fof(formula,axiom,
    ! [R_353_5_ONE] :
      ( one(R_353_5_ONE)
     => ? [R_353_2_THERE_APOS_S,R_353_7_HERE,R_353_6_ALIVE] :
          ( here(R_353_7_HERE)
          & alive(R_353_6_ALIVE)
          & there_apos_s(R_353_2_THERE_APOS_S,R_353_5_ONE,R_353_6_ALIVE)
          & nim16(R_353_2_THERE_APOS_S,R_353_7_HERE) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (EX There;{there})
          (BEP;_ex_La_ <apos>s;{be})
          (NP-ESBJ (Q no;{no})
                   (N one;{one}))
          (ADJP-PRD (ADJ alive;{alive}))
          (ADVP-NIM (ADV here;{here}))
          (PUNC .))
  (ID 353_a_dick_1952))