( (IP-MAT (NP-SBJ;{LIFE_OF_SPEAKER} (NP-GEN (PRO;_genm_ My;{my}))
                                    (N life;{life}))
          (BED;__ was;{be})
          (ADJP-PRD (ADJ hard;{hard})
                    (ADVP (ADV enough;{enough})))
          (PP-NIM (P-ROLE without;{without})
                  (NP (D this;{this})
                      (N stranger;{stranger})
                      (IP-PPL (VAG;__ tramping;{tramp})
                              (PP-NIM (P-ROLE through;{through})
                                      (NP;{LIFE_OF_SPEAKER} (PRO it;{it}))))))
          (PUNC .))
  (ID 153_a_loosechange))

arc(r_0153_0002__life,r_0153_0001__My,gen).
arc(r_0153_0003__was,r_0153_0002__life,arg0).
arc(r_0153_0003__was,r_0153_0004__hard,prd).
arc(r_0153_0003__was,r_0153_0007__this_r_0153_0008__stranger,r_0153_0006__without__nim).
arc(r_0153_0004__hard,r_0153_0005__enough,qual).
arc(r_0153_0009__tramping,r_0153_0002__life,r_0153_0010__through__nim).
arc(r_0153_0009__tramping,r_0153_0007__this_r_0153_0008__stranger,inv_arg0).

fof(formula,axiom,
    ? [R_0153_0001__MY,R_0153_0002__LIFE,R_0153_0005__ENOUGH,R_0153_0004__HARD,R_0153_0009__TRAMPING,R_0153_0007__THIS_R_0153_0008__STRANGER,R_0153_0003__WAS] :
      ( r_0153_0001__My(R_0153_0001__MY)
      & r_0153_0005__enough(R_0153_0005__ENOUGH)
      & r_0153_0003__was(R_0153_0003__WAS)
      & has_r_0153_0006__without__nim(R_0153_0003__WAS,R_0153_0007__THIS_R_0153_0008__STRANGER)
      & r_0153_0007__this_r_0153_0008__stranger(R_0153_0007__THIS_R_0153_0008__STRANGER)
      & has_inv_arg0(R_0153_0007__THIS_R_0153_0008__STRANGER,R_0153_0009__TRAMPING)
      & r_0153_0009__tramping(R_0153_0009__TRAMPING)
      & has_r_0153_0010__through__nim(R_0153_0009__TRAMPING,R_0153_0002__LIFE)
      & r_0153_0002__life(R_0153_0002__LIFE)
      & has_gen(R_0153_0002__LIFE,R_0153_0001__MY)
      & has_prd(R_0153_0003__WAS,R_0153_0004__HARD)
      & r_0153_0004__hard(R_0153_0004__HARD)
      & has_qual(R_0153_0004__HARD,R_0153_0005__ENOUGH)
      & has_arg0(R_0153_0003__WAS,R_0153_0002__LIFE) ) ).