arc(r_0047_0003__eyelids, r_0047_0002__Her, gen).
arc(r_0047_0004__fluttered, r_0047_0003__eyelids, arg0).
arc(r_0047_0004__fluttered, r_0047_0005__sleepily, nim12).
arc(r_0047_0006__as, r_0047_0004__fluttered, scope).
arc(r_0047_0006__as, r_0047_0008__searched, restriction).
arc(r_0047_0008__searched, r_0047_0007__she, arg0).
arc(r_0047_0008__searched, r_0047_0010__the_r_0047_0012__word, r_0047_0009__for_clr27).
arc(r_0047_0010__the_r_0047_0012__word, r_0047_0011__right, attrib30).
arc(z_000_47_a_loosechange_39, r_0047_0010__the_r_0047_0012__word, arg0).
arc(z_000_47_a_loosechange_39, r_0047_0015__a_r_0047_0016__dream, prd).

fof(formula,axiom,
    ? [R_0047_0002__HER,R_0047_0003__EYELIDS,R_0047_0005__SLEEPILY,R_0047_0004__FLUTTERED,R_0047_0007__SHE,R_0047_0011__RIGHT,R_0047_0010__THE_R_0047_0012__WORD,R_0047_0008__SEARCHED,R_0047_0006__AS,R_0047_0015__A_R_0047_0016__DREAM,Z_000_47_A_LOOSECHANGE_39] :
      ( r_0047_0002__Her(R_0047_0002__HER)
      & r_0047_0005__sleepily(R_0047_0005__SLEEPILY)
      & r_0047_0007__she(R_0047_0007__SHE)
      & r_0047_0011__right(R_0047_0011__RIGHT)
      & r_0047_0015__a_r_0047_0016__dream(R_0047_0015__A_R_0047_0016__DREAM)
      & z_000_47_a_loosechange_39(Z_000_47_A_LOOSECHANGE_39)
      & has_prd(Z_000_47_A_LOOSECHANGE_39,R_0047_0015__A_R_0047_0016__DREAM)
      & has_arg0(Z_000_47_A_LOOSECHANGE_39,R_0047_0010__THE_R_0047_0012__WORD)
      & r_0047_0010__the_r_0047_0012__word(R_0047_0010__THE_R_0047_0012__WORD)
      & has_attrib30(R_0047_0010__THE_R_0047_0012__WORD,R_0047_0011__RIGHT)
      & r_0047_0006__as(R_0047_0006__AS)
      & has_conj1(R_0047_0006__AS,R_0047_0008__SEARCHED)
      & r_0047_0008__searched(R_0047_0008__SEARCHED)
      & has_r_0047_0009__for_clr27(R_0047_0008__SEARCHED,R_0047_0010__THE_R_0047_0012__WORD)
      & has_arg0(R_0047_0008__SEARCHED,R_0047_0007__SHE)
      & has_conj2(R_0047_0006__AS,R_0047_0004__FLUTTERED)
      & r_0047_0004__fluttered(R_0047_0004__FLUTTERED)
      & has_nim12(R_0047_0004__FLUTTERED,R_0047_0005__SLEEPILY)
      & has_arg0(R_0047_0004__FLUTTERED,R_0047_0003__EYELIDS)
      & r_0047_0003__eyelids(R_0047_0003__EYELIDS)
      & has_gen(R_0047_0003__EYELIDS,R_0047_0002__HER) ) ).

( (IP-MAT (PURQ <rquo>)
          (NP-SBJ (NP-GEN;{LAYLOR} (PRO;_genm_ Her;{her}))
                  (NS eyelids;{eyelid}))
          (VBD;_I_ fluttered;{flutter})
          (ADVP-NIM (ADV sleepily;{sleepily}))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{LAYLOR} (PRO she;{she}))
                           (VBD;_Ipr_ searched;{search[for]})
                           (PP-CLR (P-ROLE for;{for})
                                   (NP (D the;{the})
                                       (ADJP (ADJ right;{right}))
                                       (N word;{word})
                                       (PUNC ,)
                                       (PULQ <lquo>)
                                       (IP-PPL (NP-PRD (D a;{a})
                                                       (N dream;{dream})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 47_a_loosechange))