( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn.pr_ congratulate;{congratulate[on]})
          (NP-OB1;{COLVILE} (NP-GEN (PRO;_genm_ my;{my}))
                            (N hon<dot>;{honorable})
                            (N Friend;{friend}))
          (PP-CLR (P-ROLE on;{on})
                  (IP-PPL (VAG;_Tn_ securing;{secure})
                          (NP-OB1 (D this;{this})
                                  (N debate;{debate}))))
          (PUNC .))
  (ID 52_a_hedgehog;speaker=Knight))

arc(r_0052_0002__congratulate,r_0052_0001__I,arg0).
arc(r_0052_0002__congratulate,r_0052_0004__hon_dot__r_0052_0005__Friend,arg1).
arc(r_0052_0002__congratulate,r_0052_0007__securing,r_0052_0006__on__clr).
arc(r_0052_0004__hon_dot__r_0052_0005__Friend,r_0052_0001__I,gen).
arc(r_0052_0007__securing,r_0052_0004__hon_dot__r_0052_0005__Friend,arg0).
arc(r_0052_0007__securing,r_0052_0008__this_r_0052_0009__debate,arg1).

fof(formula,axiom,
    ? [R_0052_0001__I,R_0052_0004__HON_DOT__R_0052_0005__FRIEND,R_0052_0008__THIS_R_0052_0009__DEBATE,R_0052_0007__SECURING,R_0052_0002__CONGRATULATE] :
      ( r_0052_0001__I(R_0052_0001__I)
      & r_0052_0008__this_r_0052_0009__debate(R_0052_0008__THIS_R_0052_0009__DEBATE)
      & r_0052_0002__congratulate(R_0052_0002__CONGRATULATE)
      & has_r_0052_0006__on__clr(R_0052_0002__CONGRATULATE,R_0052_0007__SECURING)
      & r_0052_0007__securing(R_0052_0007__SECURING)
      & has_arg1(R_0052_0007__SECURING,R_0052_0008__THIS_R_0052_0009__DEBATE)
      & has_arg0(R_0052_0007__SECURING,R_0052_0004__HON_DOT__R_0052_0005__FRIEND)
      & r_0052_0004__hon_dot__r_0052_0005__Friend(R_0052_0004__HON_DOT__R_0052_0005__FRIEND)
      & has_gen(R_0052_0004__HON_DOT__R_0052_0005__FRIEND,R_0052_0001__I)
      & has_arg1(R_0052_0002__CONGRATULATE,R_0052_0004__HON_DOT__R_0052_0005__FRIEND)
      & has_arg0(R_0052_0002__CONGRATULATE,R_0052_0001__I) ) ).