( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{MEMBERS} (D any;{any})
                                             (NS Members;{member}))
                           (BEP;_La_ are;{be})
                           (ADJP-PRD (ADJ interested;{interested}))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ delighted;{delighted})))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{MEMBERS} (PRO they;{they}))
                           (VBD;_Tn_ contacted;{contact})
                           (NP-OB1 (PRO me;{I}))
                           (PP-NIM (P-ROLE on;{on})
                                   (NP (ADD oliver<dot>colvile<dot>mp<commat>parliament<dot>uk)))))
          (PUNC .))
  (ID 91_a_hedgehog;speaker=Colvile))

arc(r_0091_0001__If,r_0091_0004__are,restriction).
arc(r_0091_0001__If,r_0091_0011__if,scope).
arc(r_0091_0004__are,r_0091_0002__any_r_0091_0003__Members,arg0).
arc(r_0091_0004__are,r_0091_0005__interested,prd).
arc(r_0091_0008__should,r_0091_0009__be,scope).
arc(r_0091_0009__be,r_0091_0007__I,arg0).
arc(r_0091_0009__be,r_0091_0010__delighted,prd).
arc(r_0091_0011__if,r_0091_0008__should,scope).
arc(r_0091_0011__if,r_0091_0013__contacted,restriction).
arc(r_0091_0013__contacted,r_0091_0002__any_r_0091_0003__Members,arg0).
arc(r_0091_0013__contacted,r_0091_0007__I,arg1).
arc(r_0091_0013__contacted,z_0091_5009,r_0091_0015__on__nim).

fof(formula,axiom,
    ! [R_0091_0004__ARE,R_0091_0002__ANY_R_0091_0003__MEMBERS,R_0091_0005__INTERESTED] :
      ( ( r_0091_0002__any_r_0091_0003__Members(R_0091_0002__ANY_R_0091_0003__MEMBERS)
        & r_0091_0005__interested(R_0091_0005__INTERESTED)
        & r_0091_0004__are(R_0091_0004__ARE)
        & has_prd(R_0091_0004__ARE,R_0091_0005__INTERESTED)
        & has_arg0(R_0091_0004__ARE,R_0091_0002__ANY_R_0091_0003__MEMBERS) )
     => ! [R_0091_0013__CONTACTED,R_0091_0007__I,Z_0091_5009] :
          ( ( r_0091_0007__I(R_0091_0007__I)
            & z_0091_5009(Z_0091_5009)
            & r_0091_0013__contacted(R_0091_0013__CONTACTED)
            & has_r_0091_0015__on__nim(R_0091_0013__CONTACTED,Z_0091_5009)
            & has_arg1(R_0091_0013__CONTACTED,R_0091_0007__I)
            & has_arg0(R_0091_0013__CONTACTED,R_0091_0002__ANY_R_0091_0003__MEMBERS) )
         => ? [R_0091_0010__DELIGHTED,R_0091_0008__SHOULD_R_0091_0009__BE] :
              ( r_0091_0010__delighted(R_0091_0010__DELIGHTED)
              & r_0091_0008__should_r_0091_0009__be(R_0091_0008__SHOULD_R_0091_0009__BE)
              & has_prd(R_0091_0008__SHOULD_R_0091_0009__BE,R_0091_0010__DELIGHTED)
              & has_arg0(R_0091_0008__SHOULD_R_0091_0009__BE,R_0091_0007__I) ) ) ) ).