arc(utterance_51_a_loosechange_4, r_0051_0003__show, part1).
arc(r_0051_0003__show, r_0051_0002__You, arg0).
arc(r_0051_0003__show, r_0051_0005__one, arg1).
arc(r_0051_0003__show, r_0051_0010__she, arg2).
arc(r_0051_0007__like, r_0051_0002__You, arg0).
arc(r_0051_0007__like, r_0051_0005__one, arg1).
arc(r_0051_0011__said, utterance_51_a_loosechange_4, arg1).
arc(r_0051_0011__said, r_0051_0010__she, arg0).

fof(formula,axiom,
    ? [R_51_7_LIKE,R_51_11_SAID,UTTERANCE_51_A_LOOSECHANGE_4,R_51_3_SHOW,R_51_2_YOU,R_51_5_ONE,R_51_10_SHE] :
      ( you(R_51_2_YOU)
      & one(R_51_5_ONE)
      & she(R_51_10_SHE)
      & like(R_51_7_LIKE,R_51_2_YOU,R_51_5_ONE)
      & said(R_51_11_SAID,R_51_10_SHE,UTTERANCE_51_A_LOOSECHANGE_4)
      & utterance_51_a_loosechange_4(UTTERANCE_51_A_LOOSECHANGE_4)
      & part1(UTTERANCE_51_A_LOOSECHANGE_4,R_51_3_SHOW)
      & show(R_51_3_SHOW,R_51_2_YOU,R_51_5_ONE,R_51_10_SHE) ) ).

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