arc(r_0075_0003__is, r_0075_0002__Where, clr5).
arc(r_0075_0003__is, r_0075_0004__that, arg0).

fof(formula,axiom,
    ? [R_75_3_IS,R_75_4_THAT,R_75_2_WHERE] :
      ( that(R_75_4_THAT)
      & where(R_75_2_WHERE)
      & is(R_75_3_IS,R_75_4_THAT)
      & clr5(R_75_3_IS,R_75_2_WHERE) ) ).

( (CP-QUE-MAT (PULQ <lquo>)
              (IP-SUB (ADVP-CLR (WADV Where;{where}))
                      (BEP;_Ip_ is;{be})
                      (NP-SBJ (P-ROLE that;{that})))
              (PUNC ?)
              (PURQ <rquo>))
  (ID 75_a_loosechange))