( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO You;{you}))
                                 (DOP do;{do})
                                 (NEG;_clitic_ n<apos>t;{not})
                                 (VB;_Tn_ like;{like})
                                 (PUNC ?)))
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ asked;{ask})
          (PUNC .))
  (ID 49_a_loosechange))

arc(r_0049_0003__do_r_0049_0005__like,r_0049_0002__You,arg0).
arc(r_0049_0004__n_apos_t,r_0049_0003__do_r_0049_0005__like,keep_scope).
arc(r_0049_0009__asked,r_0049_0008__she,arg0).
arc(r_0049_0009__asked,z_0049_5002__utterance,arg1).
arc(z_0049_5002__utterance,r_0049_0004__n_apos_t,part1).

fof(formula,axiom,
    ? [R_0049_0008__SHE,Z_0049_5002__UTTERANCE,R_0049_0009__ASKED] :
      ( r_0049_0008__she(R_0049_0008__SHE)
      & r_0049_0009__asked(R_0049_0009__ASKED)
      & has_arg1(R_0049_0009__ASKED,Z_0049_5002__UTTERANCE)
      & z_0049_5002__utterance(Z_0049_5002__UTTERANCE)
      & has_part1(Z_0049_5002__UTTERANCE,R_0049_0004__N_APOS_T)
      & ~ ? [R_0049_0002__YOU,R_0049_0003__DO_R_0049_0005__LIKE] :
            ( r_0049_0002__You(R_0049_0002__YOU)
            & r_0049_0003__do_r_0049_0005__like(R_0049_0003__DO_R_0049_0005__LIKE)
            & has_arg0(R_0049_0003__DO_R_0049_0005__LIKE,R_0049_0002__YOU) )
      & has_arg0(R_0049_0009__ASKED,R_0049_0008__SHE) ) ).