( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (VBD;__ watched;{watch})
          (NP-OB1 (PRO me;{I}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;__ frowning;{frown})
                            (PUNC ;)
                            (PRN (NP (D the;{the})
                                     (ADJP (ADJ tiny;{tiny}))
                                     (NS hairs;{hair})
                                     (PP (P-ROLE of;{of})
                                         (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                             (NS eyebrows;{eyebrow})))
                                     (IP-PPL (VAG;_Ip_ locking;{lock[together]})
                                             (ADVP-CLR (RP together;{together}))
                                             (PP-NIM (P-ROLE like;{like})
                                                     (NP (N Velcro;{velcro}))))))))
          (PUNC .))
  (ID 193_a_loosechange))

arc(r_0193_0002__watched,r_0193_0001__She,arg0).
arc(r_0193_0002__watched,r_0193_0003__me,arg1).
arc(r_0193_0005__frowning,r_0193_0001__She,arg0).
arc(r_0193_0005__frowning,r_0193_0007__the_r_0193_0009__hairs,prn).
arc(r_0193_0007__the_r_0193_0009__hairs,r_0193_0008__tiny,attrib).
arc(r_0193_0007__the_r_0193_0009__hairs,r_0193_0012__eyebrows,r_0193_0010__of).
arc(r_0193_0012__eyebrows,r_0193_0001__She,gen).
arc(r_0193_0013__locking_r_0193_0014__together,r_0193_0007__the_r_0193_0009__hairs,inv_arg0).
arc(r_0193_0013__locking_r_0193_0014__together,r_0193_0016__Velcro,r_0193_0015__like__nim).
arc(z_0193_5001,r_0193_0002__watched,scope).
arc(z_0193_5001,r_0193_0005__frowning,restriction).

fof(formula,axiom,
    ? [R_0193_0001__SHE,R_0193_0003__ME,R_0193_0002__WATCHED,R_0193_0008__TINY,R_0193_0012__EYEBROWS,R_0193_0016__VELCRO,R_0193_0013__LOCKING_R_0193_0014__TOGETHER,R_0193_0007__THE_R_0193_0009__HAIRS,R_0193_0005__FROWNING,Z_0193_5001] :
      ( r_0193_0001__She(R_0193_0001__SHE)
      & r_0193_0003__me(R_0193_0003__ME)
      & r_0193_0008__tiny(R_0193_0008__TINY)
      & r_0193_0016__Velcro(R_0193_0016__VELCRO)
      & z_0193_5001(Z_0193_5001)
      & has_conj1(Z_0193_5001,R_0193_0005__FROWNING)
      & r_0193_0005__frowning(R_0193_0005__FROWNING)
      & has_prn(R_0193_0005__FROWNING,R_0193_0007__THE_R_0193_0009__HAIRS)
      & r_0193_0007__the_r_0193_0009__hairs(R_0193_0007__THE_R_0193_0009__HAIRS)
      & has_inv_arg0(R_0193_0007__THE_R_0193_0009__HAIRS,R_0193_0013__LOCKING_R_0193_0014__TOGETHER)
      & r_0193_0013__locking_r_0193_0014__together(R_0193_0013__LOCKING_R_0193_0014__TOGETHER)
      & has_r_0193_0015__like__nim(R_0193_0013__LOCKING_R_0193_0014__TOGETHER,R_0193_0016__VELCRO)
      & has_r_0193_0010__of(R_0193_0007__THE_R_0193_0009__HAIRS,R_0193_0012__EYEBROWS)
      & r_0193_0012__eyebrows(R_0193_0012__EYEBROWS)
      & has_gen(R_0193_0012__EYEBROWS,R_0193_0001__SHE)
      & has_attrib(R_0193_0007__THE_R_0193_0009__HAIRS,R_0193_0008__TINY)
      & has_arg0(R_0193_0005__FROWNING,R_0193_0001__SHE)
      & has_conj2(Z_0193_5001,R_0193_0002__WATCHED)
      & r_0193_0002__watched(R_0193_0002__WATCHED)
      & has_arg1(R_0193_0002__WATCHED,R_0193_0003__ME)
      & has_arg0(R_0193_0002__WATCHED,R_0193_0001__SHE) ) ).