( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BED;_cleft_Vn_ was;{be})
          (NP-FOC (D this;{this})
                  (N act;{act})
                  (PP (P-ROLE of;{of})
                      (NP (N benevolence;{benevolence}))))
          (IP-CLF (C that;{that})
                  (NP-SBJ *T*)
                  (VBD;__ kept;{keep})
                  (NP-OB1;{GRANDMA} (NP-GEN (PRO;_genm_ my;{my}))
                                    (N grandmother;{grandmother}))
                  (ADJP-PRD (ADJ alive;{alive})))
          (PUNC .))
  (ID 161_a_loosechange))

arc(r_0161_0002__was,r_0161_0003__this_r_0161_0004__act,arg0).
arc(r_0161_0002__was,z_0161_5006,prd).
arc(r_0161_0003__this_r_0161_0004__act,r_0161_0006__benevolence,r_0161_0005__of).
arc(r_0161_0008__kept,r_0161_0010__grandmother,arg1).
arc(r_0161_0008__kept,r_0161_0011__alive,prd).
arc(r_0161_0008__kept,z_0161_5006,arg0).
arc(r_0161_0010__grandmother,r_0161_0009__my,gen).

fof(formula,axiom,
    ? [R_0161_0006__BENEVOLENCE,R_0161_0003__THIS_R_0161_0004__ACT,Z_0161_5006,R_0161_0002__WAS,R_0161_0009__MY,R_0161_0010__GRANDMOTHER,R_0161_0011__ALIVE,R_0161_0008__KEPT] :
      ( r_0161_0006__benevolence(R_0161_0006__BENEVOLENCE)
      & r_0161_0009__my(R_0161_0009__MY)
      & r_0161_0011__alive(R_0161_0011__ALIVE)
      & z_0161_5006(Z_0161_5006)
      & r_0161_0008__kept(R_0161_0008__KEPT)
      & has_arg0(R_0161_0008__KEPT,Z_0161_5006)
      & has_prd(R_0161_0008__KEPT,R_0161_0011__ALIVE)
      & has_arg1(R_0161_0008__KEPT,R_0161_0010__GRANDMOTHER)
      & r_0161_0010__grandmother(R_0161_0010__GRANDMOTHER)
      & has_gen(R_0161_0010__GRANDMOTHER,R_0161_0009__MY)
      & r_0161_0002__was(R_0161_0002__WAS)
      & has_prd(R_0161_0002__WAS,Z_0161_5006)
      & has_arg0(R_0161_0002__WAS,R_0161_0003__THIS_R_0161_0004__ACT)
      & r_0161_0003__this_r_0161_0004__act(R_0161_0003__THIS_R_0161_0004__ACT)
      & has_r_0161_0005__of(R_0161_0003__THIS_R_0161_0004__ACT,R_0161_0006__BENEVOLENCE) ) ).