( (IP-MAT (NP-SBJ;{BERYL} (PRO She;{she}))
          (VBD;__ caught;{catch})
          (NP-OB1 (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                  (N breath;{breath}))
          (PUNC .))
  (ID 60_a_lob_n02))

arc(r_0060_0002__caught,r_0060_0001__She,arg0).
arc(r_0060_0002__caught,r_0060_0004__breath,arg1).
arc(r_0060_0004__breath,r_0060_0001__She,gen).

fof(formula,axiom,
    ? [R_0060_0001__SHE,R_0060_0004__BREATH,R_0060_0002__CAUGHT] :
      ( r_0060_0001__She(R_0060_0001__SHE)
      & r_0060_0002__caught(R_0060_0002__CAUGHT)
      & has_arg1(R_0060_0002__CAUGHT,R_0060_0004__BREATH)
      & r_0060_0004__breath(R_0060_0004__BREATH)
      & has_gen(R_0060_0004__BREATH,R_0060_0001__SHE)
      & has_arg0(R_0060_0002__CAUGHT,R_0060_0001__SHE) ) ).