( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (PRO You;{you}))
                                 (VBP;_Dn.n_ show;{show})
                                 (NP-OB2;{LAYLOR} (PRO me;{I}))
                                 (NP-OB1 (D;_nphd_ one;{one})
                                         (IP-REL (NP-OB1 *T*)
                                                 (NP-SBJ (PRO you;{you}))
                                                 (VBP;_Tn_ like;{like})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 51_a_loosechange))

arc(r_0051_0003__show,r_0051_0002__You,arg0).
arc(r_0051_0003__show,r_0051_0004__me,arg2).
arc(r_0051_0003__show,r_0051_0005__one,arg1).
arc(r_0051_0007__like,r_0051_0002__You,arg0).
arc(r_0051_0007__like,r_0051_0005__one,inv_arg1).
arc(r_0051_0011__said,r_0051_0004__me,arg0).
arc(r_0051_0011__said,z_0051_5002__utterance,arg1).
arc(z_0051_5002__utterance,r_0051_0003__show,part1).

fof(formula,axiom,
    ? [R_0051_0004__ME,R_0051_0002__YOU,R_0051_0007__LIKE,R_0051_0005__ONE,R_0051_0003__SHOW,Z_0051_5002__UTTERANCE,R_0051_0011__SAID] :
      ( r_0051_0002__You(R_0051_0002__YOU)
      & r_0051_0004__me(R_0051_0004__ME)
      & r_0051_0011__said(R_0051_0011__SAID)
      & has_arg1(R_0051_0011__SAID,Z_0051_5002__UTTERANCE)
      & z_0051_5002__utterance(Z_0051_5002__UTTERANCE)
      & has_part1(Z_0051_5002__UTTERANCE,R_0051_0003__SHOW)
      & r_0051_0003__show(R_0051_0003__SHOW)
      & has_arg1(R_0051_0003__SHOW,R_0051_0005__ONE)
      & r_0051_0005__one(R_0051_0005__ONE)
      & has_inv_arg1(R_0051_0005__ONE,R_0051_0007__LIKE)
      & r_0051_0007__like(R_0051_0007__LIKE)
      & has_arg0(R_0051_0007__LIKE,R_0051_0002__YOU)
      & has_arg2(R_0051_0003__SHOW,R_0051_0004__ME)
      & has_arg0(R_0051_0003__SHOW,R_0051_0002__YOU)
      & has_arg0(R_0051_0011__SAID,R_0051_0004__ME) ) ).