91_a_hedgehog
If any Members are interested, I should be delighted if they contacted me on oliver.colvile.mp@parliament.uk.
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, r_0091_0016__oliver_dot_colvile_dot_mp_commat_parliament_dot_uk, r_0091_0015__on_nim44).
fof(formula,axiom,
! [R_91_4_ARE,R_91_2_ANY_MEMBERS,R_91_5_INTERESTED] :
( ( any_Members(R_91_2_ANY_MEMBERS)
& interested(R_91_5_INTERESTED)
& are(R_91_4_ARE,R_91_2_ANY_MEMBERS,R_91_5_INTERESTED) )
=> ! [R_91_13_CONTACTED,R_91_7_I,R_91_16_OLIVER_DOT_COLVILE_DOT_MP_COMMAT_PARLIAMENT_DOT_UK] :
( ( i(R_91_7_I)
& oliver_dot_colvile_dot_mp_commat_parliament_dot_uk(R_91_16_OLIVER_DOT_COLVILE_DOT_MP_COMMAT_PARLIAMENT_DOT_UK)
& contacted(R_91_13_CONTACTED,R_91_2_ANY_MEMBERS,R_91_7_I)
& on_nim44(R_91_13_CONTACTED,R_91_16_OLIVER_DOT_COLVILE_DOT_MP_COMMAT_PARLIAMENT_DOT_UK) )
=> ? [R_91_8_SHOULD_BE,R_91_10_DELIGHTED] :
( delighted(R_91_10_DELIGHTED)
& should_be(R_91_8_SHOULD_BE,R_91_7_I,R_91_10_DELIGHTED) ) ) ) ).
( (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))