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_000_13_a_loosechange_11, 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_nim30).
arc(r_0013_0008__hair, r_0013_0002__she, gen).
arc(z_000_13_a_loosechange_17, r_0013_0003__was, scope).
arc(z_000_13_a_loosechange_17, r_0013_0006__fixing, restriction).

fof(formula,axiom,
    ? [R_0013_0002__SHE,Z_000_13_A_LOOSECHANGE_11,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_000_13_A_LOOSECHANGE_17] :
      ( r_0013_0002__she(R_0013_0002__SHE)
      & r_0013_0010__the_r_0013_0011__mirror(R_0013_0010__THE_R_0013_0011__MIRROR)
      & z_000_13_a_loosechange_11(Z_000_13_A_LOOSECHANGE_11)
      & z_000_13_a_loosechange_17(Z_000_13_A_LOOSECHANGE_17)
      & has_conj1(Z_000_13_A_LOOSECHANGE_17,R_0013_0006__FIXING)
      & r_0013_0006__fixing(R_0013_0006__FIXING)
      & has_r_0013_0009__in_nim30(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)
      & has_arg0(R_0013_0006__FIXING,R_0013_0002__SHE)
      & has_conj2(Z_000_13_A_LOOSECHANGE_17,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_000_13_A_LOOSECHANGE_11)
      & has_arg1(R_0013_0003__WAS_R_0013_0004__LEFT,R_0013_0002__SHE) ) ).

( (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))