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

arc(r_0028_0002__Is,r_0028_0003__this,arg0).
arc(r_0028_0002__Is,z_0028_5008,prd).
arc(r_0028_0004__all__quant,r_0028_0002__Is,scope).
arc(r_0028_0004__all__quant,z_0028_5008,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_0028_5008,inv_arg1).
arc(r_0028_0011__asked,r_0028_0010__I,arg0).
arc(r_0028_0011__asked,z_0028_5002__utterance,arg1).
arc(z_0028_5002__utterance,r_0028_0004__all__quant,part1).

fof(formula,axiom,
    ? [R_0028_0010__I,Z_0028_5002__UTTERANCE,R_0028_0011__ASKED] :
      ( r_0028_0010__I(R_0028_0010__I)
      & r_0028_0011__asked(R_0028_0011__ASKED)
      & has_arg1(R_0028_0011__ASKED,Z_0028_5002__UTTERANCE)
      & z_0028_5002__utterance(Z_0028_5002__UTTERANCE)
      & ! [Z_0028_5008,R_0028_0005__YOU,R_0028_0006___APOS_VE_R_0028_0007__GOT] :
          ( ( r_0028_0005__you(R_0028_0005__YOU)
            & z_0028_5008(Z_0028_5008)
            & has_inv_arg1(Z_0028_5008,R_0028_0006___APOS_VE_R_0028_0007__GOT)
            & r_0028_0006___apos_ve_r_0028_0007__got(R_0028_0006___APOS_VE_R_0028_0007__GOT)
            & has_arg0(R_0028_0006___APOS_VE_R_0028_0007__GOT,R_0028_0005__YOU) )
         => ? [R_0028_0003__THIS,R_0028_0002__IS] :
              ( r_0028_0003__this(R_0028_0003__THIS)
              & r_0028_0002__Is(R_0028_0002__IS)
              & has_prd(R_0028_0002__IS,Z_0028_5008)
              & has_arg0(R_0028_0002__IS,R_0028_0003__THIS) ) )
      & has_arg0(R_0028_0011__ASKED,R_0028_0010__I) ) ).