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_171_13_SAID,R_171_12_SHE,UTTERANCE_171_A_LOOSECHANGE_4,R_171_6_AM,R_171_5_I,R_171_7_HERE,R_171_9_LONDON,Z_171_A_LOOSECHANGE_11,R_171_2_THIS_DAY,R_171_4_FRIDAY] :
      ( she(R_171_12_SHE)
      & i(R_171_5_I)
      & here(R_171_7_HERE)
      & london(R_171_9_LONDON)
      & this_day(R_171_2_THIS_DAY)
      & friday(R_171_4_FRIDAY)
      & said(R_171_13_SAID,R_171_12_SHE,UTTERANCE_171_A_LOOSECHANGE_4)
      & utterance_171_a_loosechange_4(UTTERANCE_171_A_LOOSECHANGE_4)
      & part1(UTTERANCE_171_A_LOOSECHANGE_4,R_171_6_AM)
      & am(R_171_6_AM,R_171_5_I)
      & clr20(R_171_6_AM,R_171_7_HERE)
      & nim6(R_171_6_AM,R_171_2_THIS_DAY)
      & in_nim26(R_171_6_AM,R_171_9_LONDON)
      & z_171_a_loosechange_11(Z_171_A_LOOSECHANGE_11,R_171_2_THIS_DAY,R_171_4_FRIDAY) ) ).

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