( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BED;_La_ was;{be})
          (ADJP-PRD (ADVP (ADV so;{so}))
                    (ADJ simple;{simple}))
          (PRN (IP-MAT (NP-SBJ;{LAYLOR} (PRO she;{she}))
                       (VBD;__ spread;{spread})
                       (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                               (NS hands;{hand}))
                       (PP-SCON (IP-INF (TO to;{to})
                                        (VB;__ suggest;{suggest})
                                        (NP-OB1 (D the;{the})
                                                (N lie;{lie})
                                                (PP (P-ROLE of;{of})
                                                    (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                                        (N bed;{bed}))))))))
          (PUNC .))
  (ID 119_a_loosechange))

arc(r_0119_0002__was,r_0119_0001__It,arg0).
arc(r_0119_0002__was,r_0119_0004__simple,prd).
arc(r_0119_0002__was,z_0119_5004,prn).
arc(r_0119_0004__simple,r_0119_0003__so,qual).
arc(r_0119_0006__spread,r_0119_0005__she,arg0).
arc(r_0119_0006__spread,r_0119_0008__hands,arg1).
arc(r_0119_0008__hands,r_0119_0005__she,gen).
arc(r_0119_0010__suggest,r_0119_0008__hands,arg0).
arc(r_0119_0010__suggest,r_0119_0011__the_r_0119_0012__lie,arg1).
arc(r_0119_0011__the_r_0119_0012__lie,r_0119_0015__bed,r_0119_0013__of).
arc(r_0119_0015__bed,r_0119_0005__she,gen).
arc(z_0119_5004,r_0119_0006__spread,scope).
arc(z_0119_5004,r_0119_0010__suggest,restriction).

fof(formula,axiom,
    ? [R_0119_0001__IT,R_0119_0003__SO,R_0119_0004__SIMPLE,R_0119_0005__SHE,R_0119_0008__HANDS,R_0119_0006__SPREAD,R_0119_0015__BED,R_0119_0011__THE_R_0119_0012__LIE,R_0119_0010__SUGGEST,Z_0119_5004,R_0119_0002__WAS] :
      ( r_0119_0001__It(R_0119_0001__IT)
      & r_0119_0003__so(R_0119_0003__SO)
      & r_0119_0005__she(R_0119_0005__SHE)
      & r_0119_0002__was(R_0119_0002__WAS)
      & has_prn(R_0119_0002__WAS,Z_0119_5004)
      & z_0119_5004(Z_0119_5004)
      & has_conj1(Z_0119_5004,R_0119_0010__SUGGEST)
      & r_0119_0010__suggest(R_0119_0010__SUGGEST)
      & has_arg1(R_0119_0010__SUGGEST,R_0119_0011__THE_R_0119_0012__LIE)
      & r_0119_0011__the_r_0119_0012__lie(R_0119_0011__THE_R_0119_0012__LIE)
      & has_r_0119_0013__of(R_0119_0011__THE_R_0119_0012__LIE,R_0119_0015__BED)
      & r_0119_0015__bed(R_0119_0015__BED)
      & has_gen(R_0119_0015__BED,R_0119_0005__SHE)
      & has_arg0(R_0119_0010__SUGGEST,R_0119_0008__HANDS)
      & r_0119_0008__hands(R_0119_0008__HANDS)
      & has_gen(R_0119_0008__HANDS,R_0119_0005__SHE)
      & has_conj2(Z_0119_5004,R_0119_0006__SPREAD)
      & r_0119_0006__spread(R_0119_0006__SPREAD)
      & has_arg1(R_0119_0006__SPREAD,R_0119_0008__HANDS)
      & has_arg0(R_0119_0006__SPREAD,R_0119_0005__SHE)
      & has_prd(R_0119_0002__WAS,R_0119_0004__SIMPLE)
      & r_0119_0004__simple(R_0119_0004__SIMPLE)
      & has_qual(R_0119_0004__SIMPLE,R_0119_0003__SO)
      & has_arg0(R_0119_0002__WAS,R_0119_0001__IT) ) ).