( (IP-MAT (NP-SBJ (D This;{this})
                  (N country;{country}))
          (BED;_Ln_ was;{be})
          (NP-PRD (ADVP (ADV just;{just}))
                  (D a;{a})
                  (ADJP (ADJ safe;{safe}))
                  (N place;{place}))
          (PUNC .))
  (ID 127_a_loosechange))

arc(r_0127_0003__was,r_0127_0001__This_r_0127_0002__country,arg0).
arc(r_0127_0003__was,r_0127_0005__a_r_0127_0007__place,prd).
arc(r_0127_0005__a_r_0127_0007__place,r_0127_0004__just,qual).
arc(r_0127_0005__a_r_0127_0007__place,r_0127_0006__safe,attrib).

fof(formula,axiom,
    ? [R_0127_0001__THIS_R_0127_0002__COUNTRY,R_0127_0004__JUST,R_0127_0006__SAFE,R_0127_0005__A_R_0127_0007__PLACE,R_0127_0003__WAS] :
      ( r_0127_0001__This_r_0127_0002__country(R_0127_0001__THIS_R_0127_0002__COUNTRY)
      & r_0127_0004__just(R_0127_0004__JUST)
      & r_0127_0006__safe(R_0127_0006__SAFE)
      & r_0127_0003__was(R_0127_0003__WAS)
      & has_prd(R_0127_0003__WAS,R_0127_0005__A_R_0127_0007__PLACE)
      & r_0127_0005__a_r_0127_0007__place(R_0127_0005__A_R_0127_0007__PLACE)
      & has_attrib(R_0127_0005__A_R_0127_0007__PLACE,R_0127_0006__SAFE)
      & has_qual(R_0127_0005__A_R_0127_0007__PLACE,R_0127_0004__JUST)
      & has_arg0(R_0127_0003__WAS,R_0127_0001__THIS_R_0127_0002__COUNTRY) ) ).