( (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))

arc(r_0075_0003__is,r_0075_0002__Where,clr).
arc(r_0075_0003__is,z_0075_5003,arg0).

fof(formula,axiom,
    ? [R_0075_0002__WHERE,Z_0075_5003,R_0075_0003__IS] :
      ( r_0075_0002__Where(R_0075_0002__WHERE)
      & z_0075_5003(Z_0075_5003)
      & r_0075_0003__is(R_0075_0003__IS)
      & has_arg0(R_0075_0003__IS,Z_0075_5003)
      & has_clr(R_0075_0003__IS,R_0075_0002__WHERE) ) ).