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

fof(formula,axiom,
    ? [R_0075_0002__WHERE,R_0075_0004__THAT,R_0075_0003__IS] :
      ( r_0075_0002__Where(R_0075_0002__WHERE)
      & r_0075_0004__that(R_0075_0004__THAT)
      & r_0075_0003__is(R_0075_0003__IS)
      & has_arg0(R_0075_0003__IS,R_0075_0004__THAT)
      & has_clr5(R_0075_0003__IS,R_0075_0002__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))