arc(r_0028_0002___apos_m_r_0028_0003__not, r_0028_0004__trying, scope).
arc(r_0028_0004__trying, r_0028_0001__I, arg0).
arc(r_0028_0004__trying, r_0028_0005__to_r_0028_0006__bump_r_0028_0008__off, arg1).
arc(r_0028_0005__to_r_0028_0006__bump_r_0028_0008__off, r_0028_0001__I, arg0).
arc(r_0028_0005__to_r_0028_0006__bump_r_0028_0008__off, r_0028_0007__her, arg1).

fof(formula,axiom,
    ? [R_0028_0001__I,R_0028_0007__HER,R_0028_0005__TO_R_0028_0006__BUMP_R_0028_0008__OFF,R_0028_0002___APOS_M_R_0028_0003__NOT_R_0028_0004__TRYING] :
      ( r_0028_0001__I(R_0028_0001__I)
      & r_0028_0007__her(R_0028_0007__HER)
      & ~ ( has_arg1(R_0028_0002___APOS_M_R_0028_0003__NOT_R_0028_0004__TRYING,R_0028_0005__TO_R_0028_0006__BUMP_R_0028_0008__OFF)
          & r_0028_0005__to_r_0028_0006__bump_r_0028_0008__off(R_0028_0005__TO_R_0028_0006__BUMP_R_0028_0008__OFF)
          & has_arg1(R_0028_0005__TO_R_0028_0006__BUMP_R_0028_0008__OFF,R_0028_0007__HER)
          & has_arg0(R_0028_0005__TO_R_0028_0006__BUMP_R_0028_0008__OFF,R_0028_0001__I)
          & has_arg0(R_0028_0002___APOS_M_R_0028_0003__NOT_R_0028_0004__TRYING,R_0028_0001__I) ) ) ).

( (IP-MAT (NP-SBJ;{PERSON_B} (PRO I;{I}))
          (BEP;_cat_Vg_ <apos>m;{be})
          (NEG not;{not})
          (IP-PPL-CAT (VAG;_Tt_ trying;{try})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_phr_Vn<=>p_ bump;{bump[off]})
                                  (NP-OB1;{MOTHER_IN_LAW_OF_B} (PRO her;{her}))
                                  (RP off;{off})))
          (PUNC .))
  (ID 28_a_lockdown;speaker=b))