( (IP-MAT (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ;{GLORIA} (PRO she;{she}))
          (VBD;_phr_Vp_ rang;{ring[off]})
          (RP off;{off})
          (PUNC .))
  (ID 11_a_lob_n01))

arc(r_0011_0003__rang_r_0011_0004__off,r_0011_0001__Then,nim).
arc(r_0011_0003__rang_r_0011_0004__off,r_0011_0002__she,arg0).

fof(formula,axiom,
    ? [R_0011_0001__THEN,R_0011_0002__SHE,R_0011_0003__RANG_R_0011_0004__OFF] :
      ( r_0011_0001__Then(R_0011_0001__THEN)
      & r_0011_0002__she(R_0011_0002__SHE)
      & r_0011_0003__rang_r_0011_0004__off(R_0011_0003__RANG_R_0011_0004__OFF)
      & has_arg0(R_0011_0003__RANG_R_0011_0004__OFF,R_0011_0002__SHE)
      & has_nim(R_0011_0003__RANG_R_0011_0004__OFF,R_0011_0001__THEN) ) ).