( (IP-MAT (PULQ <lquo>)
          (NP-NIM (ADJP (ADJ Last;{last}))
                  (N week;{week}))
          (PUNC ...)
          (PURQ <rquo>)
          (PRN (IP-MAT (NP-SBJ;{LAYLOR} (PRO she;{she}))
                       (VBD;__ began;{begin})
                       (PUNC ,)
                       (PRN (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                (N voice;{voice})
                                (ADJP (ADJ quivering;{quivering}))))))
          (PUNC ,)
          (PULQ <lquo>)
          (NP-SBJ;{LAYLOR} (PRO I;{I}))
          (BED;_Ipr_ was;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (N home;{home})))
          (PUNC .)
          (PURQ <rquo>))
  (ID 166_a_loosechange))

arc(r_0166_0003__week,r_0166_0002__Last,attrib).
arc(r_0166_0007__began,r_0166_0006__she,arg0).
arc(r_0166_0007__began,r_0166_0010__voice,prn).
arc(r_0166_0010__voice,r_0166_0006__she,gen).
arc(r_0166_0010__voice,r_0166_0011__quivering,attrib).
arc(r_0166_0015__was_r_0166_0016__in,r_0166_0003__week,nim).
arc(r_0166_0015__was_r_0166_0016__in,r_0166_0006__she,arg0).
arc(r_0166_0015__was_r_0166_0016__in,r_0166_0007__began,prn).
arc(r_0166_0015__was_r_0166_0016__in,r_0166_0017__home,arg1).

fof(formula,axiom,
    ? [R_0166_0002__LAST,R_0166_0003__WEEK,R_0166_0006__SHE,R_0166_0011__QUIVERING,R_0166_0010__VOICE,R_0166_0007__BEGAN,R_0166_0017__HOME,R_0166_0015__WAS_R_0166_0016__IN] :
      ( r_0166_0002__Last(R_0166_0002__LAST)
      & r_0166_0006__she(R_0166_0006__SHE)
      & r_0166_0011__quivering(R_0166_0011__QUIVERING)
      & r_0166_0017__home(R_0166_0017__HOME)
      & r_0166_0015__was_r_0166_0016__in(R_0166_0015__WAS_R_0166_0016__IN)
      & has_arg1(R_0166_0015__WAS_R_0166_0016__IN,R_0166_0017__HOME)
      & has_prn(R_0166_0015__WAS_R_0166_0016__IN,R_0166_0007__BEGAN)
      & r_0166_0007__began(R_0166_0007__BEGAN)
      & has_prn(R_0166_0007__BEGAN,R_0166_0010__VOICE)
      & r_0166_0010__voice(R_0166_0010__VOICE)
      & has_attrib(R_0166_0010__VOICE,R_0166_0011__QUIVERING)
      & has_gen(R_0166_0010__VOICE,R_0166_0006__SHE)
      & has_arg0(R_0166_0007__BEGAN,R_0166_0006__SHE)
      & has_arg0(R_0166_0015__WAS_R_0166_0016__IN,R_0166_0006__SHE)
      & has_nim(R_0166_0015__WAS_R_0166_0016__IN,R_0166_0003__WEEK)
      & r_0166_0003__week(R_0166_0003__WEEK)
      & has_attrib(R_0166_0003__WEEK,R_0166_0002__LAST) ) ).