arc(utterance_164_a_loosechange_4, r_0164_0002__Is, part1).
arc(r_0164_0002__Is, r_0164_0003__something, arg0).
arc(r_0164_0002__Is, r_0164_0004__wrong, prd).
arc(r_0164_0009__asked, utterance_164_a_loosechange_4, arg1).
arc(r_0164_0009__asked, r_0164_0007__the_r_0164_0008__girl, arg0).

fof(formula,axiom,
    ? [R_164_9_ASKED,R_164_7_THE_GIRL,UTTERANCE_164_A_LOOSECHANGE_4,R_164_2_IS,R_164_3_SOMETHING,R_164_4_WRONG] :
      ( the_girl(R_164_7_THE_GIRL)
      & something(R_164_3_SOMETHING)
      & wrong(R_164_4_WRONG)
      & asked(R_164_9_ASKED,R_164_7_THE_GIRL,UTTERANCE_164_A_LOOSECHANGE_4)
      & utterance_164_a_loosechange_4(UTTERANCE_164_A_LOOSECHANGE_4)
      & part1(UTTERANCE_164_A_LOOSECHANGE_4,R_164_2_IS)
      & is(R_164_2_IS,R_164_3_SOMETHING,R_164_4_WRONG) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                                             (NP-SBJ (D;_nphd_ something;{something}))
                                             (ADJP-PRD (ADJ wrong;{wrong})))
                                     (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ (D the;{the})
                  (N girl;{girl}))
          (VBD;_Tr_ asked;{ask})
          (PUNC .))
  (ID 164_a_loosechange))