( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-NIM (D This;{this})
                                         (N day;{day})
                                         (PRN (NP (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))

arc(r_0171_0006__am_r_0171_0007__here,r_0171_0002__This_r_0171_0003__day,nim).
arc(r_0171_0006__am_r_0171_0007__here,r_0171_0005__I,arg0).
arc(r_0171_0006__am_r_0171_0007__here,r_0171_0009__London,r_0171_0008__in__nim).
arc(r_0171_0013__said,r_0171_0012__she,arg0).
arc(r_0171_0013__said,z_0171_5002__utterance,arg1).
arc(z_0171_5002__utterance,r_0171_0006__am_r_0171_0007__here,part1).
arc(z_0171_5004,r_0171_0002__This_r_0171_0003__day,arg0).
arc(z_0171_5004,r_0171_0004__Friday,prd).

fof(formula,axiom,
    ? [R_0171_0012__SHE,R_0171_0002__THIS_R_0171_0003__DAY,R_0171_0005__I,R_0171_0009__LONDON,R_0171_0006__AM_R_0171_0007__HERE,Z_0171_5002__UTTERANCE,R_0171_0013__SAID,R_0171_0004__FRIDAY,Z_0171_5004] :
      ( 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_0009__London(R_0171_0009__LONDON)
      & r_0171_0012__she(R_0171_0012__SHE)
      & z_0171_5004(Z_0171_5004)
      & has_prd(Z_0171_5004,R_0171_0004__FRIDAY)
      & has_arg0(Z_0171_5004,R_0171_0002__THIS_R_0171_0003__DAY)
      & r_0171_0013__said(R_0171_0013__SAID)
      & has_arg1(R_0171_0013__SAID,Z_0171_5002__UTTERANCE)
      & z_0171_5002__utterance(Z_0171_5002__UTTERANCE)
      & has_part1(Z_0171_5002__UTTERANCE,R_0171_0006__AM_R_0171_0007__HERE)
      & r_0171_0006__am_r_0171_0007__here(R_0171_0006__AM_R_0171_0007__HERE)
      & has_r_0171_0008__in__nim(R_0171_0006__AM_R_0171_0007__HERE,R_0171_0009__LONDON)
      & has_arg0(R_0171_0006__AM_R_0171_0007__HERE,R_0171_0005__I)
      & has_nim(R_0171_0006__AM_R_0171_0007__HERE,R_0171_0002__THIS_R_0171_0003__DAY)
      & has_arg0(R_0171_0013__SAID,R_0171_0012__SHE) ) ).