arc(r_0251_0002__Well_r_0251_0006__is, r_0251_0004__there, clr8).
arc(r_0251_0002__Well_r_0251_0006__is, r_0251_0005__it, arg0).

fof(formula,axiom,
    ? [R_251_2_WELL_IS,R_251_5_IT,R_251_4_THERE] :
      ( it(R_251_5_IT)
      & there(R_251_4_THERE)
      & well_is(R_251_2_WELL_IS,R_251_5_IT)
      & clr8(R_251_2_WELL_IS,R_251_4_THERE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (INTJ Well)
          (PUNC ,)
          (ADVP-TPC-CLR (ADV there;{there}))
          (NP-SBJ;{CITY} (PRO it;{it}))
          (BEP;_Ip_ is;{be[there]})
          (PUNC .))
  (ID 251_a_dick_1952))