arc(r_0021_0001__Yes_r_0021_0004__am, r_0021_0003__I, arg0).
arc(r_0021_0001__Yes_r_0021_0004__am, r_0021_0005__happy, prd).
arc(r_0021_0005__happy, r_0021_0006__to_r_0021_0007__agree, emb16).
arc(r_0021_0006__to_r_0021_0007__agree, z_000_21_a_hedgehog_16, arg0).
arc(r_0021_0009__but, r_0021_0001__Yes_r_0021_0004__am, conj1).
arc(r_0021_0009__but, r_0021_0011__am, conj2).
arc(r_0021_0011__am, r_0021_0015__and, scope).
arc(r_0021_0012__talking, r_0021_0003__I, arg0).
arc(r_0021_0012__talking, r_0021_0019__the_r_0021_0020__hedgehog, r_0021_0013__about_clr40).
arc(r_0021_0015__and, r_0021_0012__talking, conj1).
arc(r_0021_0015__and, r_0021_0016__campaigning, conj2).
arc(r_0021_0016__campaigning, r_0021_0003__I, arg0).
arc(r_0021_0016__campaigning, r_0021_0019__the_r_0021_0020__hedgehog, r_0021_0017__for_clr53).

fof(formula,axiom,
    ? [R_0021_0003__I,Z_000_21_A_HEDGEHOG_16,R_0021_0006__TO_R_0021_0007__AGREE,R_0021_0005__HAPPY,R_0021_0001__YES_R_0021_0004__AM,R_0021_0019__THE_R_0021_0020__HEDGEHOG,R_0021_0012__TALKING,R_0021_0016__CAMPAIGNING,R_0021_0015__AND,R_0021_0011__AM,R_0021_0009__BUT] :
      ( r_0021_0003__I(R_0021_0003__I)
      & r_0021_0019__the_r_0021_0020__hedgehog(R_0021_0019__THE_R_0021_0020__HEDGEHOG)
      & z_000_21_a_hedgehog_16(Z_000_21_A_HEDGEHOG_16)
      & r_0021_0009__but(R_0021_0009__BUT)
      & has_conj2(R_0021_0009__BUT,R_0021_0011__AM)
      & r_0021_0011__am(R_0021_0011__AM)
      & has_keep_scope(R_0021_0011__AM,R_0021_0015__AND)
      & r_0021_0015__and(R_0021_0015__AND)
      & has_conj2(R_0021_0015__AND,R_0021_0016__CAMPAIGNING)
      & r_0021_0016__campaigning(R_0021_0016__CAMPAIGNING)
      & has_r_0021_0017__for_clr53(R_0021_0016__CAMPAIGNING,R_0021_0019__THE_R_0021_0020__HEDGEHOG)
      & has_arg0(R_0021_0016__CAMPAIGNING,R_0021_0003__I)
      & has_conj1(R_0021_0015__AND,R_0021_0012__TALKING)
      & r_0021_0012__talking(R_0021_0012__TALKING)
      & has_r_0021_0013__about_clr40(R_0021_0012__TALKING,R_0021_0019__THE_R_0021_0020__HEDGEHOG)
      & has_arg0(R_0021_0012__TALKING,R_0021_0003__I)
      & has_conj1(R_0021_0009__BUT,R_0021_0001__YES_R_0021_0004__AM)
      & r_0021_0001__Yes_r_0021_0004__am(R_0021_0001__YES_R_0021_0004__AM)
      & has_prd(R_0021_0001__YES_R_0021_0004__AM,R_0021_0005__HAPPY)
      & r_0021_0005__happy(R_0021_0005__HAPPY)
      & has_emb16(R_0021_0005__HAPPY,R_0021_0006__TO_R_0021_0007__AGREE)
      & r_0021_0006__to_r_0021_0007__agree(R_0021_0006__TO_R_0021_0007__AGREE)
      & has_arg0(R_0021_0006__TO_R_0021_0007__AGREE,Z_000_21_A_HEDGEHOG_16)
      & has_arg0(R_0021_0001__YES_R_0021_0004__AM,R_0021_0003__I) ) ).

( (IP-MAT (ILYR (ILYR (REACT Yes)
                      (PUNC ,)
                      (NP-SBJ (PRO I;{I}))
                      (BEP;_La_ am;{be})
                      (ADJP-PRD (ADJ;_cat_ happy;{happy})
                                (IP-INF (TO to;{to})
                                        (VB;_I_ agree;{agree}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (BEP;_cat_Vg_ am;{be})
                             (IP-PPL-CAT (ILYR (ILYR (VAG;_Ipr_ talking;{talk[about]})
                                                     (PP-CLR (P-ROLE about;{about})
                                                             (NP *ICH*-138)))
                                               (PUNC ,)
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (VAG;_Ipr_ campaigning;{campaign[for]})
                                                            (PP-CLR (P-ROLE for;{for})
                                                                    (NP *ICH*-138))))))
                             (PUNC ,)
                             (NP-RNR-138 (D the;{the})
                                         (N hedgehog;{hedgehog})))))
          (PUNC .))
  (ID 21_a_hedgehog;speaker=Colvile))