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_0164_0003__SOMETHING,R_0164_0004__WRONG,R_0164_0002__IS,UTTERANCE_164_A_LOOSECHANGE_4,R_0164_0007__THE_R_0164_0008__GIRL,R_0164_0009__ASKED] :
      ( r_0164_0003__something(R_0164_0003__SOMETHING)
      & r_0164_0004__wrong(R_0164_0004__WRONG)
      & r_0164_0007__the_r_0164_0008__girl(R_0164_0007__THE_R_0164_0008__GIRL)
      & r_0164_0009__asked(R_0164_0009__ASKED)
      & has_arg0(R_0164_0009__ASKED,R_0164_0007__THE_R_0164_0008__GIRL)
      & has_arg1(R_0164_0009__ASKED,UTTERANCE_164_A_LOOSECHANGE_4)
      & utterance_164_a_loosechange_4(UTTERANCE_164_A_LOOSECHANGE_4)
      & has_part1(UTTERANCE_164_A_LOOSECHANGE_4,R_0164_0002__IS)
      & r_0164_0002__Is(R_0164_0002__IS)
      & has_prd(R_0164_0002__IS,R_0164_0004__WRONG)
      & has_arg0(R_0164_0002__IS,R_0164_0003__SOMETHING) ) ).

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