( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn.pr_ congratulate;{congratulate[on]})
          (NP-OB1 (D the;{the})
                  (N hon<dot>;{honorable})
                  (N Gentleman;{gentleman}))
          (PP-CLR (P-ROLE on;{on})
                  (IP-PPL (VAG;_Tn_ securing;{secure})
                          (NP-OB1 (D this;{this})
                                  (N debate;{debate}))))
          (PUNC .))
  (ID 78_a_hedgehog;speaker=Cameron))

arc(r_0078_0002__congratulate,r_0078_0001__I,arg0).
arc(r_0078_0002__congratulate,r_0078_0003__the_r_0078_0004__hon_dot__r_0078_0005__Gentleman,arg1).
arc(r_0078_0002__congratulate,r_0078_0007__securing,r_0078_0006__on__clr).
arc(r_0078_0007__securing,r_0078_0003__the_r_0078_0004__hon_dot__r_0078_0005__Gentleman,arg0).
arc(r_0078_0007__securing,r_0078_0008__this_r_0078_0009__debate,arg1).

fof(formula,axiom,
    ? [R_0078_0001__I,R_0078_0003__THE_R_0078_0004__HON_DOT__R_0078_0005__GENTLEMAN,R_0078_0008__THIS_R_0078_0009__DEBATE,R_0078_0007__SECURING,R_0078_0002__CONGRATULATE] :
      ( r_0078_0001__I(R_0078_0001__I)
      & r_0078_0003__the_r_0078_0004__hon_dot__r_0078_0005__Gentleman(R_0078_0003__THE_R_0078_0004__HON_DOT__R_0078_0005__GENTLEMAN)
      & r_0078_0008__this_r_0078_0009__debate(R_0078_0008__THIS_R_0078_0009__DEBATE)
      & r_0078_0002__congratulate(R_0078_0002__CONGRATULATE)
      & has_r_0078_0006__on__clr(R_0078_0002__CONGRATULATE,R_0078_0007__SECURING)
      & r_0078_0007__securing(R_0078_0007__SECURING)
      & has_arg1(R_0078_0007__SECURING,R_0078_0008__THIS_R_0078_0009__DEBATE)
      & has_arg0(R_0078_0007__SECURING,R_0078_0003__THE_R_0078_0004__HON_DOT__R_0078_0005__GENTLEMAN)
      & has_arg1(R_0078_0002__CONGRATULATE,R_0078_0003__THE_R_0078_0004__HON_DOT__R_0078_0005__GENTLEMAN)
      & has_arg0(R_0078_0002__CONGRATULATE,R_0078_0001__I) ) ).