arc(utterance_28_a_loosechange_4, r_0028_0004__all_quant, part1).
arc(r_0028_0002__Is, r_0028_0003__this, arg0).
arc(r_0028_0002__Is, z_000_28_a_loosechange_12, prd).
arc(r_0028_0004__all_quant, r_0028_0002__Is, scope).
arc(r_0028_0004__all_quant, z_000_28_a_loosechange_12, restriction).
arc(r_0028_0006___apos_ve, r_0028_0007__got, scope).
arc(r_0028_0007__got, r_0028_0005__you, arg0).
arc(r_0028_0007__got, z_000_28_a_loosechange_12, arg1).
arc(r_0028_0011__asked, utterance_28_a_loosechange_4, arg1).
arc(r_0028_0011__asked, r_0028_0010__I, arg0).

fof(formula,axiom,
    ? [R_28_11_ASKED,R_28_10_I,UTTERANCE_28_A_LOOSECHANGE_4] :
      ( i(R_28_10_I)
      & asked(R_28_11_ASKED,R_28_10_I,UTTERANCE_28_A_LOOSECHANGE_4)
      & ! [R_28_6__APOS_VE_GOT,R_28_5_YOU,Z_28_A_LOOSECHANGE_12] :
          ( ( you(R_28_5_YOU)
            & _apos_ve_got(R_28_6__APOS_VE_GOT,R_28_5_YOU,Z_28_A_LOOSECHANGE_12) )
         => ? [R_28_2_IS,R_28_3_THIS] :
              ( this(R_28_3_THIS)
              & is(R_28_2_IS,R_28_3_THIS,Z_28_A_LOOSECHANGE_12) ) )
      & part1(PART1)
      & utterance_28_a_loosechange_4(UTTERANCE_28_A_LOOSECHANGE_4) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
                                             (NP-SBJ;{LOOSE_CHANGE} (D;_nphd_ this;{this}))
                                             (NP-PRD (Q;_nphd_ all;{all})
                                                     (IP-REL (NP-SBJ;{LAYLOR} (PRO you;{you}))
                                                             (HVP;_cat_Ve_ <apos>ve;{have})
                                                             (IP-PPL-CAT (NP-OB1 *T*)
                                                                         (VVN;_Tn_ got;{get})))))
                                     (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tr_ asked;{ask})
          (PUNC .))
  (ID 28_a_loosechange))