( (IP-MAT (ILYR (ILYR (VB;__ Wipe;{wipe})
                      (NP-OB1;{LAYLOR} (PRO her;{her})
                                       (NS tears;{tear})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;__ assure;{assure})
                             (NP-OB2;{LAYLOR} (PRO her;{her}))
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ;{LAYLOR} (PRO she;{she}))
                                                 (BED;_La_ was;{be})
                                                 (ADVP-NIM (ADV now;{now}))
                                                 (ADJP-PRD (ADJ safe;{safe})))))))
          (PUNC .))
  (ID 183_a_loosechange))

arc(r_0183_0001__Wipe,r_0183_0002__her_r_0183_0003__tears,arg1).
arc(r_0183_0001__Wipe,z_0183_5002,arg0).
arc(r_0183_0004__and,r_0183_0001__Wipe,conj1).
arc(r_0183_0004__and,r_0183_0005__assure,conj2).
arc(r_0183_0005__assure,r_0183_0002__her_r_0183_0003__tears,arg2).
arc(r_0183_0005__assure,r_0183_0009__was,arg1).
arc(r_0183_0005__assure,z_0183_5002,arg0).
arc(r_0183_0009__was,r_0183_0002__her_r_0183_0003__tears,arg0).
arc(r_0183_0009__was,r_0183_0010__now,nim).
arc(r_0183_0009__was,r_0183_0011__safe,prd).

fof(formula,axiom,
    ? [R_0183_0002__HER_R_0183_0003__TEARS,Z_0183_5002,R_0183_0001__WIPE,R_0183_0010__NOW,R_0183_0011__SAFE,R_0183_0009__WAS,R_0183_0005__ASSURE,R_0183_0004__AND] :
      ( r_0183_0002__her_r_0183_0003__tears(R_0183_0002__HER_R_0183_0003__TEARS)
      & r_0183_0010__now(R_0183_0010__NOW)
      & r_0183_0011__safe(R_0183_0011__SAFE)
      & z_0183_5002(Z_0183_5002)
      & r_0183_0004__and(R_0183_0004__AND)
      & has_conj2(R_0183_0004__AND,R_0183_0005__ASSURE)
      & r_0183_0005__assure(R_0183_0005__ASSURE)
      & has_arg0(R_0183_0005__ASSURE,Z_0183_5002)
      & has_arg1(R_0183_0005__ASSURE,R_0183_0009__WAS)
      & r_0183_0009__was(R_0183_0009__WAS)
      & has_prd(R_0183_0009__WAS,R_0183_0011__SAFE)
      & has_nim(R_0183_0009__WAS,R_0183_0010__NOW)
      & has_arg0(R_0183_0009__WAS,R_0183_0002__HER_R_0183_0003__TEARS)
      & has_arg2(R_0183_0005__ASSURE,R_0183_0002__HER_R_0183_0003__TEARS)
      & has_conj1(R_0183_0004__AND,R_0183_0001__WIPE)
      & r_0183_0001__Wipe(R_0183_0001__WIPE)
      & has_arg0(R_0183_0001__WIPE,Z_0183_5002)
      & has_arg1(R_0183_0001__WIPE,R_0183_0002__HER_R_0183_0003__TEARS) ) ).