( (IP-MAT (NP-SBJ;{LAYLOR} (ADVP (ADV Only;{only}))
                           (PRO she;{she}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ left;{leave}))
          (PUNC <hyphen>)
          (PP-SCON (IP-PPL (VAG;_Tn_ fixing;{fix})
                           (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                   (N hair;{hair}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (N mirror;{mirror})))))
          (PUNC .))
  (ID 13_a_loosechange))

arc(r_0013_0002__she,r_0013_0001__Only,qual).
arc(r_0013_0003__was,r_0013_0004__left,scope).
arc(r_0013_0004__left,r_0013_0002__she,arg1).
arc(r_0013_0004__left,z_0013_5009___star_,arg0).
arc(r_0013_0006__fixing,r_0013_0002__she,arg0).
arc(r_0013_0006__fixing,r_0013_0008__hair,arg1).
arc(r_0013_0006__fixing,r_0013_0010__the_r_0013_0011__mirror,r_0013_0009__in__nim).
arc(r_0013_0008__hair,r_0013_0002__she,gen).
arc(z_0013_5002,r_0013_0003__was,scope).
arc(z_0013_5002,r_0013_0006__fixing,restriction).

fof(formula,axiom,
    ? [R_0013_0001__ONLY,R_0013_0002__SHE,Z_0013_5009___STAR_,R_0013_0003__WAS_R_0013_0004__LEFT,R_0013_0008__HAIR,R_0013_0010__THE_R_0013_0011__MIRROR,R_0013_0006__FIXING,Z_0013_5002] :
      ( r_0013_0001__Only(R_0013_0001__ONLY)
      & r_0013_0010__the_r_0013_0011__mirror(R_0013_0010__THE_R_0013_0011__MIRROR)
      & z_0013_5009___star_(Z_0013_5009___STAR_)
      & z_0013_5002(Z_0013_5002)
      & has_conj1(Z_0013_5002,R_0013_0006__FIXING)
      & r_0013_0006__fixing(R_0013_0006__FIXING)
      & has_r_0013_0009__in__nim(R_0013_0006__FIXING,R_0013_0010__THE_R_0013_0011__MIRROR)
      & has_arg1(R_0013_0006__FIXING,R_0013_0008__HAIR)
      & r_0013_0008__hair(R_0013_0008__HAIR)
      & has_gen(R_0013_0008__HAIR,R_0013_0002__SHE)
      & r_0013_0002__she(R_0013_0002__SHE)
      & has_qual(R_0013_0002__SHE,R_0013_0001__ONLY)
      & has_arg0(R_0013_0006__FIXING,R_0013_0002__SHE)
      & has_conj2(Z_0013_5002,R_0013_0003__WAS_R_0013_0004__LEFT)
      & r_0013_0003__was_r_0013_0004__left(R_0013_0003__WAS_R_0013_0004__LEFT)
      & has_arg0(R_0013_0003__WAS_R_0013_0004__LEFT,Z_0013_5009___STAR_)
      & has_arg1(R_0013_0003__WAS_R_0013_0004__LEFT,R_0013_0002__SHE) ) ).