arc(utterance_171_a_loosechange_4, r_0171_0006__am, part1).
arc(r_0171_0006__am, r_0171_0002__This_r_0171_0003__day, nim6).
arc(r_0171_0006__am, r_0171_0005__I, arg0).
arc(r_0171_0006__am, r_0171_0007__here, clr20).
arc(r_0171_0006__am, r_0171_0009__London, r_0171_0008__in_nim26).
arc(r_0171_0013__said, utterance_171_a_loosechange_4, arg1).
arc(r_0171_0013__said, r_0171_0012__she, arg0).
arc(z_000_171_a_loosechange_11, r_0171_0002__This_r_0171_0003__day, arg0).
arc(z_000_171_a_loosechange_11, r_0171_0004__Friday, prd).

fof(formula,axiom,
    ? [R_0171_0002__THIS_R_0171_0003__DAY,R_0171_0005__I,R_0171_0007__HERE,R_0171_0009__LONDON,R_0171_0006__AM,UTTERANCE_171_A_LOOSECHANGE_4,R_0171_0012__SHE,R_0171_0013__SAID,R_0171_0004__FRIDAY,Z_000_171_A_LOOSECHANGE_11] :
      ( r_0171_0002__This_r_0171_0003__day(R_0171_0002__THIS_R_0171_0003__DAY)
      & r_0171_0004__Friday(R_0171_0004__FRIDAY)
      & r_0171_0005__I(R_0171_0005__I)
      & r_0171_0007__here(R_0171_0007__HERE)
      & r_0171_0009__London(R_0171_0009__LONDON)
      & r_0171_0012__she(R_0171_0012__SHE)
      & z_000_171_a_loosechange_11(Z_000_171_A_LOOSECHANGE_11)
      & has_prd(Z_000_171_A_LOOSECHANGE_11,R_0171_0004__FRIDAY)
      & has_arg0(Z_000_171_A_LOOSECHANGE_11,R_0171_0002__THIS_R_0171_0003__DAY)
      & r_0171_0013__said(R_0171_0013__SAID)
      & has_arg0(R_0171_0013__SAID,R_0171_0012__SHE)
      & has_arg1(R_0171_0013__SAID,UTTERANCE_171_A_LOOSECHANGE_4)
      & utterance_171_a_loosechange_4(UTTERANCE_171_A_LOOSECHANGE_4)
      & has_part1(UTTERANCE_171_A_LOOSECHANGE_4,R_0171_0006__AM)
      & r_0171_0006__am(R_0171_0006__AM)
      & has_r_0171_0008__in_nim26(R_0171_0006__AM,R_0171_0009__LONDON)
      & has_clr20(R_0171_0006__AM,R_0171_0007__HERE)
      & has_arg0(R_0171_0006__AM,R_0171_0005__I)
      & has_nim6(R_0171_0006__AM,R_0171_0002__THIS_R_0171_0003__DAY) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-NIM (D This;{this})
                                         (N day;{day})
                                         (IP-PPL (NP-PRD (NPR Friday;{Friday}))))
                                 (NP-SBJ (PRO I;{I}))
                                 (BEP;_Ip_ am;{be})
                                 (ADVP-CLR (ADV here;{here}))
                                 (PP-NIM (P-ROLE in;{in})
                                         (NP (NPR London;{London})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 171_a_loosechange))