( (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>)
                                       (PRN (NP (D a;{a})
                                                (N dream;{dream})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 47_a_loosechange))

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,nim).
arc(r_0047_0006__as,r_0047_0004__fluttered,scope).
arc(r_0047_0006__as,r_0047_0008__searched_r_0047_0009__for,restriction).
arc(r_0047_0008__searched_r_0047_0009__for,r_0047_0002__Her,arg0).
arc(r_0047_0008__searched_r_0047_0009__for,r_0047_0010__the_r_0047_0012__word,arg1).
arc(r_0047_0010__the_r_0047_0012__word,r_0047_0011__right,attrib).
arc(z_0047_5007,r_0047_0010__the_r_0047_0012__word,arg0).
arc(z_0047_5007,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_0011__RIGHT,R_0047_0010__THE_R_0047_0012__WORD,R_0047_0008__SEARCHED_R_0047_0009__FOR,R_0047_0006__AS,R_0047_0015__A_R_0047_0016__DREAM,Z_0047_5007] :
      ( r_0047_0002__Her(R_0047_0002__HER)
      & r_0047_0005__sleepily(R_0047_0005__SLEEPILY)
      & 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_0047_5007(Z_0047_5007)
      & has_prd(Z_0047_5007,R_0047_0015__A_R_0047_0016__DREAM)
      & has_arg0(Z_0047_5007,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_attrib(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_0009__FOR)
      & r_0047_0008__searched_r_0047_0009__for(R_0047_0008__SEARCHED_R_0047_0009__FOR)
      & has_arg1(R_0047_0008__SEARCHED_R_0047_0009__FOR,R_0047_0010__THE_R_0047_0012__WORD)
      & has_arg0(R_0047_0008__SEARCHED_R_0047_0009__FOR,R_0047_0002__HER)
      & has_conj2(R_0047_0006__AS,R_0047_0004__FLUTTERED)
      & r_0047_0004__fluttered(R_0047_0004__FLUTTERED)
      & has_nim(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) ) ).