arc(r_0085_0002__have, r_0085_0004__volunteered, scope).
arc(r_0085_0004__volunteered, r_0085_0001__I, arg0).
arc(r_0085_0004__volunteered, r_0085_0003__now, nim10).
arc(r_0085_0004__volunteered, r_0085_0005__to_r_0085_0006__be, arg1).
arc(r_0085_0005__to_r_0085_0006__be, r_0085_0001__I, arg0).
arc(r_0085_0005__to_r_0085_0006__be, r_0085_0007__one, prd).
arc(r_0085_0009__and, r_0085_0002__have, conj1).
arc(r_0085_0009__and, z_000_85_a_hedgehog_50, conj2).
arc(r_0085_0011__am, r_0085_0001__I, arg0).
arc(r_0085_0011__am, r_0085_0012__the_r_0085_0014__hedgehog_r_0085_0015__champion, prd).
arc(r_0085_0012__the_r_0085_0014__hedgehog_r_0085_0015__champion, r_0085_0013__150th, attrib37).
arc(r_0085_0012__the_r_0085_0014__hedgehog_r_0085_0015__champion, r_0085_0017__Plymouth, r_0085_0016__from).
arc(r_0085_0018__to_r_0085_0019__sign_r_0085_0020__up, r_0085_0001__I, arg0).
arc(r_0085_0018__to_r_0085_0019__sign_r_0085_0020__up, r_0085_0022__this_r_0085_0024__scheme, r_0085_0021__to_clr61).
arc(r_0085_0022__this_r_0085_0024__scheme, r_0085_0023__excellent, attrib64).
arc(z_000_85_a_hedgehog_50, r_0085_0011__am, scope).
arc(z_000_85_a_hedgehog_50, r_0085_0018__to_r_0085_0019__sign_r_0085_0020__up, restriction).

fof(formula,axiom,
    ? [R_85_9_AND,R_85_2_HAVE_VOLUNTEERED,R_85_5_TO_BE,R_85_7_ONE,R_85_3_NOW,Z_85_A_HEDGEHOG_50,R_85_18_TO_SIGN_UP,R_85_22_THIS_SCHEME,R_85_23_EXCELLENT,R_85_11_AM,R_85_1_I,R_85_12_THE_HEDGEHOG_CHAMPION,R_85_13_150TH,R_85_17_PLYMOUTH] :
      ( one(R_85_7_ONE)
      & now(R_85_3_NOW)
      & excellent(R_85_23_EXCELLENT)
      & i(R_85_1_I)
      & 150th(R_85_13_150TH)
      & plymouth(R_85_17_PLYMOUTH)
      & and(R_85_9_AND)
      & conj1(R_85_9_AND,R_85_2_HAVE_VOLUNTEERED)
      & have_volunteered(R_85_2_HAVE_VOLUNTEERED,R_85_1_I,R_85_5_TO_BE)
      & to_be(R_85_5_TO_BE,R_85_1_I,R_85_7_ONE)
      & nim10(R_85_2_HAVE_VOLUNTEERED,R_85_3_NOW)
      & conj2(R_85_9_AND,Z_85_A_HEDGEHOG_50)
      & z_85_a_hedgehog_50(Z_85_A_HEDGEHOG_50)
      & conj1(Z_85_A_HEDGEHOG_50,R_85_18_TO_SIGN_UP)
      & to_sign_up(R_85_18_TO_SIGN_UP,R_85_1_I)
      & to_clr61(R_85_18_TO_SIGN_UP,R_85_22_THIS_SCHEME)
      & this_scheme(R_85_22_THIS_SCHEME)
      & attrib64(R_85_22_THIS_SCHEME,R_85_23_EXCELLENT)
      & conj2(Z_85_A_HEDGEHOG_50,R_85_11_AM)
      & am(R_85_11_AM,R_85_1_I,R_85_12_THE_HEDGEHOG_CHAMPION)
      & the_hedgehog_champion(R_85_12_THE_HEDGEHOG_CHAMPION)
      & attrib37(R_85_12_THE_HEDGEHOG_CHAMPION,R_85_13_150TH)
      & from(R_85_12_THE_HEDGEHOG_CHAMPION,R_85_17_PLYMOUTH) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (HVP;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (ADVP-NIM (ADV now;{now}))
                                  (VVN;_Tt_ volunteered;{volunteer})
                                  (IP-INF-OB1 (TO to;{to})
                                              (BE;_Ln_ be;{be})
                                              (NP-PRD (NUM one;{one})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (BEP;_Ln_ am;{be})
                             (NP-PRD (D the;{the})
                                     (ADJP (ADJ 150th))
                                     (N hedgehog;{hedgehog})
                                     (N champion;{champion})
                                     (PP (P-ROLE from;{from})
                                         (NP (NPR Plymouth;{Plymouth}))))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;_phr_Vp.pr_ sign;{sign[up,to]})
                                              (RP up;{up})
                                              (PP-CLR (P-ROLE to;{to})
                                                      (NP (D this;{this})
                                                          (ADJP (ADJ excellent;{excellent}))
                                                          (N scheme;{scheme}))))))))
          (PUNC .))
  (ID 85_a_hedgehog;speaker=Colvile))