arc(r_0077_0003__is, r_0077_0002__This, arg0).
arc(r_0077_0003__is, r_0077_0004__Uzbekistan, prd).
arc(r_0077_0008__said, r_0077_0007__she, arg0).
arc(r_0077_0008__said, utterance_77_a_loosechange_4, arg1).
arc(utterance_77_a_loosechange_4, r_0077_0003__is, part1).

fof(formula,axiom,
    ? [R_77_8_SAID,R_77_7_SHE,UTTERANCE_77_A_LOOSECHANGE_4,R_77_3_IS,R_77_2_THIS,R_77_4_UZBEKISTAN] :
      ( she(R_77_7_SHE)
      & this(R_77_2_THIS)
      & uzbekistan(R_77_4_UZBEKISTAN)
      & said(R_77_8_SAID,R_77_7_SHE,UTTERANCE_77_A_LOOSECHANGE_4)
      & utterance_77_a_loosechange_4(UTTERANCE_77_A_LOOSECHANGE_4)
      & part1(UTTERANCE_77_A_LOOSECHANGE_4,R_77_3_IS)
      & is(R_77_3_IS,R_77_2_THIS,R_77_4_UZBEKISTAN) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
                                 (BEP;_Ln_ is;{be})
                                 (NP-PRD;{COUNTRY} (NPR Uzbekistan;{Uzbekistan}))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 77_a_loosechange))