( (IP-MAT (NP-SBJ;{SWIMMING} (PRO It;{it}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N life_<hyphen>_saver;{life_saver}))
          (PUNC .))
  (ID 12_a_stories_09_m14))

arc(r_0012_0002__is,r_0012_0001__It,arg0).
arc(r_0012_0002__is,r_0012_0003__a_r_0012_0004__life__hyphen__saver,prd).

fof(formula,axiom,
    ? [R_0012_0001__IT,R_0012_0003__A_R_0012_0004__LIFE__HYPHEN__SAVER,R_0012_0002__IS] :
      ( r_0012_0001__It(R_0012_0001__IT)
      & r_0012_0003__a_r_0012_0004__life__hyphen__saver(R_0012_0003__A_R_0012_0004__LIFE__HYPHEN__SAVER)
      & r_0012_0002__is(R_0012_0002__IS)
      & has_prd(R_0012_0002__IS,R_0012_0003__A_R_0012_0004__LIFE__HYPHEN__SAVER)
      & has_arg0(R_0012_0002__IS,R_0012_0001__IT) ) ).