( (IP-MAT (NP-SBJ (NP-GEN;{LAYLOR} (PRO;_genm_ Her;{her}))
                  (N gaze;{gaze}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADVP (ADV as;{as}))
                    (ADJ keen;{keen})
                    (PP (P-ROLE as;{as})
                        (NP (D a;{a})
                            (N cat;{cat})
                            (PP (P-ROLE with;{with})
                                (NP (N string;{string}))))))
          (PUNC .))
  (ID 33_a_loosechange))

arc(r_0033_0002__gaze,r_0033_0001__Her,gen).
arc(r_0033_0003__was,r_0033_0002__gaze,arg0).
arc(r_0033_0003__was,r_0033_0005__keen,prd).
arc(r_0033_0005__keen,r_0033_0004__as,qual).
arc(r_0033_0005__keen,r_0033_0007__a_r_0033_0008__cat,r_0033_0006__as).
arc(r_0033_0007__a_r_0033_0008__cat,r_0033_0010__string,r_0033_0009__with).

fof(formula,axiom,
    ? [R_0033_0001__HER,R_0033_0002__GAZE,R_0033_0004__AS,R_0033_0010__STRING,R_0033_0007__A_R_0033_0008__CAT,R_0033_0005__KEEN,R_0033_0003__WAS] :
      ( r_0033_0001__Her(R_0033_0001__HER)
      & r_0033_0004__as(R_0033_0004__AS)
      & r_0033_0010__string(R_0033_0010__STRING)
      & r_0033_0003__was(R_0033_0003__WAS)
      & has_prd(R_0033_0003__WAS,R_0033_0005__KEEN)
      & r_0033_0005__keen(R_0033_0005__KEEN)
      & has_r_0033_0006__as(R_0033_0005__KEEN,R_0033_0007__A_R_0033_0008__CAT)
      & r_0033_0007__a_r_0033_0008__cat(R_0033_0007__A_R_0033_0008__CAT)
      & has_r_0033_0009__with(R_0033_0007__A_R_0033_0008__CAT,R_0033_0010__STRING)
      & has_qual(R_0033_0005__KEEN,R_0033_0004__AS)
      & has_arg0(R_0033_0003__WAS,R_0033_0002__GAZE)
      & r_0033_0002__gaze(R_0033_0002__GAZE)
      & has_gen(R_0033_0002__GAZE,R_0033_0001__HER) ) ).