arc(r_0088_0001__Although, r_0088_0004__not, restriction).
arc(r_0088_0001__Although, r_0088_0010__is, scope).
arc(r_0088_0003__is, r_0088_0002__it, arg0).
arc(r_0088_0003__is, r_0088_0005__a_r_0088_0007__survey, prd).
arc(r_0088_0004__not, r_0088_0003__is, keep_scope).
arc(r_0088_0005__a_r_0088_0007__survey, r_0088_0006__scientific, attrib18).
arc(r_0088_0010__is, r_0088_0009__it, arg0).
arc(r_0088_0010__is, r_0088_0011__an_r_0088_0013__way, prd).
arc(r_0088_0011__an_r_0088_0013__way, r_0088_0012__excellent, attrib33).
arc(r_0088_0016__to_r_0088_0017__engage, r_0088_0011__an_r_0088_0013__way, r_0088_0014__in_nim42).
arc(r_0088_0016__to_r_0088_0017__engage, r_0088_0018__the_r_0088_0019__public, arg1).
arc(r_0088_0021__and, r_0088_0001__Although, conj1).
arc(r_0088_0021__and, r_0088_0023__challenge, conj2).
arc(r_0088_0023__challenge, r_0088_0022__I, arg0).
arc(r_0088_0023__challenge, r_0088_0026__right_hon_dot__and_hon_dot__r_0088_0027__Members, arg2).
arc(r_0088_0023__challenge, r_0088_0030__to_r_0088_0031__sign_r_0088_0032__up, arg1).
arc(r_0088_0025__many, r_0088_0024__as, qual67).
arc(r_0088_0025__many, z_000_88_a_hedgehog_81, r_0088_0028__as).
arc(r_0088_0026__right_hon_dot__and_hon_dot__r_0088_0027__Members, r_0088_0025__many, attrib66).
arc(r_0088_0030__to_r_0088_0031__sign_r_0088_0032__up, r_0088_0026__right_hon_dot__and_hon_dot__r_0088_0027__Members, arg0).
arc(r_0088_0030__to_r_0088_0031__sign_r_0088_0032__up, r_0088_0034__the_r_0088_0035__cause, r_0088_0033__to_clr95).
arc(z_000_88_a_hedgehog_81, r_0088_0029__possible, attrib82).

fof(formula,axiom,
    ? [R_88_16_TO_ENGAGE,R_88_18_THE_PUBLIC,R_88_21_AND,R_88_1_ALTHOUGH,R_88_10_IS,R_88_9_IT,R_88_11_AN_WAY,R_88_12_EXCELLENT,R_88_23_CHALLENGE,R_88_22_I,R_88_30_TO_SIGN_UP,R_88_34_THE_CAUSE,R_88_26_RIGHT_HON_DOT_AND_HON_DOT_MEMBERS,R_88_25_MANY,R_88_24_AS,Z_88_A_HEDGEHOG_81,R_88_29_POSSIBLE] :
      ( the_public(R_88_18_THE_PUBLIC)
      & it(R_88_9_IT)
      & excellent(R_88_12_EXCELLENT)
      & i(R_88_22_I)
      & the_cause(R_88_34_THE_CAUSE)
      & as(R_88_24_AS)
      & possible(R_88_29_POSSIBLE)
      & to_engage(R_88_16_TO_ENGAGE)
      & arg1(R_88_16_TO_ENGAGE,R_88_18_THE_PUBLIC)
      & in_nim42(R_88_16_TO_ENGAGE,R_88_11_AN_WAY)
      & an_way(R_88_11_AN_WAY)
      & attrib33(R_88_11_AN_WAY,R_88_12_EXCELLENT)
      & and(R_88_21_AND)
      & conj1(R_88_21_AND,R_88_1_ALTHOUGH)
      & although(R_88_1_ALTHOUGH)
      & conj1(R_88_1_ALTHOUGH,R_88_4_NOT)
      & ~ ? [R_88_3_IS,R_88_2_IT,R_88_5_A_SURVEY,R_88_6_SCIENTIFIC] :
            ( it(R_88_2_IT)
            & scientific(R_88_6_SCIENTIFIC)
            & is(R_88_3_IS,R_88_2_IT,R_88_5_A_SURVEY)
            & a_survey(R_88_5_A_SURVEY)
            & attrib18(R_88_5_A_SURVEY,R_88_6_SCIENTIFIC) )
      & conj2(R_88_1_ALTHOUGH,R_88_10_IS)
      & is(R_88_10_IS,R_88_9_IT,R_88_11_AN_WAY)
      & conj2(R_88_21_AND,R_88_23_CHALLENGE)
      & challenge(R_88_23_CHALLENGE,R_88_22_I,R_88_30_TO_SIGN_UP,R_88_26_RIGHT_HON_DOT_AND_HON_DOT_MEMBERS)
      & to_sign_up(R_88_30_TO_SIGN_UP,R_88_26_RIGHT_HON_DOT_AND_HON_DOT_MEMBERS)
      & right_hon_dot_and_hon_dot_Members(R_88_26_RIGHT_HON_DOT_AND_HON_DOT_MEMBERS)
      & attrib66(R_88_26_RIGHT_HON_DOT_AND_HON_DOT_MEMBERS,R_88_25_MANY)
      & many(R_88_25_MANY)
      & qual67(R_88_25_MANY,R_88_24_AS)
      & as(R_88_25_MANY,Z_88_A_HEDGEHOG_81)
      & z_88_a_hedgehog_81(Z_88_A_HEDGEHOG_81)
      & attrib82(Z_88_A_HEDGEHOG_81,R_88_29_POSSIBLE)
      & to_clr95(R_88_30_TO_SIGN_UP,R_88_34_THE_CAUSE) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Although;{although})
                               (IP-ADV (NP-SBJ;{HEDGEHOG_MAP} (PRO it;{it}))
                                       (BEP;_Ln_ is;{be})
                                       (NEG not;{not})
                                       (NP-PRD (D a;{a})
                                               (ADJP (ADJ scientific;{scientific}))
                                               (N survey;{survey}))))
                      (PUNC ,)
                      (NP-SBJ;{HEDGEHOG_MAP} (PRO it;{it}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (D an;{an})
                              (ADJP (ADJ excellent;{excellent}))
                              (N way;{way})
                              (IP-REL (PP-NIM (P-ROLE in;{in})
                                              (NP (RPRO which;{which})))
                                      (TO to;{to})
                                      (VB;_Tn_ engage;{engage})
                                      (NP-OB1 (D the;{the})
                                              (N public;{public})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (VBP;_Dn.t_ challenge;{challenge})
                             (NP-OB2 (ADJP (ADVP (ADV as;{as}))
                                           (ADJ many;{many})
                                           (PP *ICH*-127))
                                     (N right_hon<dot>_and_hon<dot>;{right_honorable_and_honorable})
                                     (NS Members;{member})
                                     (PP-EPD-127 (P-ROLE as;{as})
                                                 (NP (ADJP (ADJ possible;{possible})))))
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;_phr_Vp.pt_ sign;{sign[up,to]})
                                         (RP up;{up})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D the;{the})
                                                     (N cause;{cause})))))))
          (PUNC .))
  (ID 88_a_hedgehog;speaker=Colvile))