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

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,r_0164_0007__the_r_0164_0008__girl,arg0).
arc(r_0164_0009__asked,z_0164_5002__utterance,arg1).
arc(z_0164_5002__utterance,r_0164_0002__Is,part1).

fof(formula,axiom,
    ? [R_0164_0007__THE_R_0164_0008__GIRL,R_0164_0003__SOMETHING,R_0164_0004__WRONG,R_0164_0002__IS,Z_0164_5002__UTTERANCE,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_arg1(R_0164_0009__ASKED,Z_0164_5002__UTTERANCE)
      & z_0164_5002__utterance(Z_0164_5002__UTTERANCE)
      & has_part1(Z_0164_5002__UTTERANCE,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)
      & has_arg0(R_0164_0009__ASKED,R_0164_0007__THE_R_0164_0008__GIRL) ) ).