arc(r_0009_0002__leave, r_0009_0001__I, arg0).
arc(r_0009_0002__leave, r_0009_0005__you, r_0009_0004__to_clr13).
arc(r_0009_0002__leave, r_0009_0011__to_r_0009_0012__decide, arg1).
arc(r_0009_0011__to_r_0009_0012__decide, r_0009_0018__share, arg1).
arc(r_0009_0011__to_r_0009_0012__decide, z_000_9_a_hedgehog_7, arg0).
arc(r_0009_0013__which, r_0009_0015__those_r_0009_0016__traits, r_0009_0014__of).
arc(r_0009_0018__share, r_0009_0001__I, arg0).
arc(r_0009_0018__share, r_0009_0013__which, arg1).
arc(z_000_9_a_hedgehog_18, r_0009_0005__you, arg0).
arc(z_000_9_a_hedgehog_18, r_0009_0007__Madam_r_0009_0008__Deputy_r_0009_0009__Speaker, prd).

fof(formula,axiom,
    ? [R_9_2_LEAVE,R_9_11_TO_DECIDE,Z_9_A_HEDGEHOG_7,R_9_18_SHARE,R_9_1_I,R_9_13_WHICH,R_9_15_THOSE_TRAITS,Z_9_A_HEDGEHOG_18,R_9_5_YOU,R_9_7_MADAM_DEPUTY_SPEAKER] :
      ( i(R_9_1_I)
      & those_traits(R_9_15_THOSE_TRAITS)
      & you(R_9_5_YOU)
      & madam_Deputy_Speaker(R_9_7_MADAM_DEPUTY_SPEAKER)
      & leave(R_9_2_LEAVE,R_9_1_I,R_9_11_TO_DECIDE)
      & to_decide(R_9_11_TO_DECIDE,Z_9_A_HEDGEHOG_7,R_9_18_SHARE)
      & share(R_9_18_SHARE,R_9_1_I,R_9_13_WHICH)
      & which(R_9_13_WHICH)
      & of(R_9_13_WHICH,R_9_15_THOSE_TRAITS)
      & to_clr13(R_9_2_LEAVE,R_9_5_YOU)
      & z_9_a_hedgehog_18(Z_9_A_HEDGEHOG_18,R_9_5_YOU,R_9_7_MADAM_DEPUTY_SPEAKER) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn.pr_ leave;{leave})
          (NP-OB1 (PRO;_provisional_ it;{it}))
          (PP-CLR (P-ROLE to;{to})
                  (NP (PRO you;{you})
                      (PUNC ,)
                      (IP-PPL (NP-PRD;{LAING} (NPR Madam;{Madam})
                                              (NPR Deputy;{Deputy})
                                              (NPR Speaker;{Speaker})))))
          (PUNC ,)
          (IP-INF-NOB1 (TO to;{to})
                       (VB;_Tw_ decide;{decide})
                       (CP-QUE-OB1 (IP-SUB (NP-OB1 (WPRO which;{which})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (D those;{those})
                                                           (NS traits;{trait}))))
                                           (NP-SBJ (PRO I;{I}))
                                           (VBP;_Tn_ share;{share}))))
          (PUNC .))
  (ID 9_a_hedgehog;speaker=Colvile))