Context                Previous, Next                Top


91_a_hedgehog
If any Members are interested, I should be delighted if they contacted me on oliver.colvile.mp@parliament.uk.

%3 r_0091_0001__If If r_0091_0004__are are r_0091_0001__If->r_0091_0004__are [restriction] r_0091_0011__if if r_0091_0001__If->r_0091_0011__if [scope] r_0091_0002__any_r_0091_0003__Members any Members r_0091_0004__are->r_0091_0002__any_r_0091_0003__Members [arg0] r_0091_0005__interested interested r_0091_0004__are->r_0091_0005__interested [prd] r_0091_0008__should should r_0091_0011__if->r_0091_0008__should [scope] r_0091_0013__contacted contacted r_0091_0011__if->r_0091_0013__contacted [restriction] r_0091_0009__be be r_0091_0008__should->r_0091_0009__be [scope] r_0091_0007__I I r_0091_0009__be->r_0091_0007__I [arg0] r_0091_0010__delighted delighted r_0091_0009__be->r_0091_0010__delighted [prd] r_0091_0013__contacted->r_0091_0002__any_r_0091_0003__Members [arg0] r_0091_0013__contacted->r_0091_0007__I [arg1] r_0091_0016__oliver_dot_colvile_dot_mp_commat_parliament_dot_uk oliver.colvile.mp commat parliament.uk r_0091_0013__contacted->r_0091_0016__oliver_dot_colvile_dot_mp_commat_parliament_dot_uk on [nim] 
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).


%3 r_0091_0001__If If r_0091_0004__are are r_0091_0001__If->r_0091_0004__are [restriction] r_0091_0011__if if r_0091_0001__If->r_0091_0011__if [scope] r_0091_0002__any_r_0091_0003__Members any Members r_0091_0004__are->r_0091_0002__any_r_0091_0003__Members [arg0] r_0091_0005__interested interested r_0091_0004__are->r_0091_0005__interested [prd] r_0091_0008__should_r_0091_0009__be should be r_0091_0011__if->r_0091_0008__should_r_0091_0009__be [scope] r_0091_0013__contacted contacted r_0091_0011__if->r_0091_0013__contacted [restriction] r_0091_0007__I I r_0091_0008__should_r_0091_0009__be->r_0091_0007__I [arg0] r_0091_0010__delighted delighted r_0091_0008__should_r_0091_0009__be->r_0091_0010__delighted [prd] r_0091_0013__contacted->r_0091_0002__any_r_0091_0003__Members [arg0] r_0091_0013__contacted->r_0091_0007__I [arg1] r_0091_0016__oliver_dot_colvile_dot_mp_commat_parliament_dot_uk oliver.colvile.mp commat parliament.uk r_0091_0013__contacted->r_0091_0016__oliver_dot_colvile_dot_mp_commat_parliament_dot_uk on [nim] 
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) ) ) ) ).


n91_a_hedgehog n91_a_hedgehog_4 If n91_a_hedgehog_8 any n91_a_hedgehog_10 Members n91_a_hedgehog_12 are n91_a_hedgehog_15 interested n91_a_hedgehog_17 , n91_a_hedgehog_20 I n91_a_hedgehog_22 should n91_a_hedgehog_25 be n91_a_hedgehog_28 delighted n91_a_hedgehog_31 if n91_a_hedgehog_35 they n91_a_hedgehog_37 contacted n91_a_hedgehog_40 me n91_a_hedgehog_43 on n91_a_hedgehog_46 oliver.colvile.mp<commat>parliament.uk n91_a_hedgehog_48 . n91_a_hedgehog_1 IP-MAT n91_a_hedgehog_2 PP-SCON n91_a_hedgehog_1->n91_a_hedgehog_2 n91_a_hedgehog_16 PUNC n91_a_hedgehog_1->n91_a_hedgehog_16 n91_a_hedgehog_18 NP-SBJ n91_a_hedgehog_1->n91_a_hedgehog_18 n91_a_hedgehog_21 MD;_cat_Vi_ n91_a_hedgehog_1->n91_a_hedgehog_21 n91_a_hedgehog_23 IP-INF-CAT n91_a_hedgehog_1->n91_a_hedgehog_23 n91_a_hedgehog_29 PP-SCON n91_a_hedgehog_1->n91_a_hedgehog_29 n91_a_hedgehog_47 PUNC n91_a_hedgehog_1->n91_a_hedgehog_47 n91_a_hedgehog_3 P-CONN n91_a_hedgehog_2->n91_a_hedgehog_3 n91_a_hedgehog_5 IP-ADV n91_a_hedgehog_2->n91_a_hedgehog_5 n91_a_hedgehog_3->n91_a_hedgehog_4 n91_a_hedgehog_6 NP-SBJ n91_a_hedgehog_5->n91_a_hedgehog_6 n91_a_hedgehog_11 BEP;_La_ n91_a_hedgehog_5->n91_a_hedgehog_11 n91_a_hedgehog_13 ADJP-PRD n91_a_hedgehog_5->n91_a_hedgehog_13 n91_a_hedgehog_7 D n91_a_hedgehog_6->n91_a_hedgehog_7 n91_a_hedgehog_9 NS n91_a_hedgehog_6->n91_a_hedgehog_9 n91_a_hedgehog_7->n91_a_hedgehog_8 n91_a_hedgehog_9->n91_a_hedgehog_10 n91_a_hedgehog_11->n91_a_hedgehog_12 n91_a_hedgehog_14 ADJ n91_a_hedgehog_13->n91_a_hedgehog_14 n91_a_hedgehog_14->n91_a_hedgehog_15 n91_a_hedgehog_16->n91_a_hedgehog_17 n91_a_hedgehog_19 PRO n91_a_hedgehog_18->n91_a_hedgehog_19 n91_a_hedgehog_19->n91_a_hedgehog_20 n91_a_hedgehog_21->n91_a_hedgehog_22 n91_a_hedgehog_24 BE;_La_ n91_a_hedgehog_23->n91_a_hedgehog_24 n91_a_hedgehog_26 ADJP-PRD n91_a_hedgehog_23->n91_a_hedgehog_26 n91_a_hedgehog_24->n91_a_hedgehog_25 n91_a_hedgehog_27 ADJ n91_a_hedgehog_26->n91_a_hedgehog_27 n91_a_hedgehog_27->n91_a_hedgehog_28 n91_a_hedgehog_30 P-CONN n91_a_hedgehog_29->n91_a_hedgehog_30 n91_a_hedgehog_32 IP-ADV n91_a_hedgehog_29->n91_a_hedgehog_32 n91_a_hedgehog_30->n91_a_hedgehog_31 n91_a_hedgehog_33 NP-SBJ n91_a_hedgehog_32->n91_a_hedgehog_33 n91_a_hedgehog_36 VBD;_Tn_ n91_a_hedgehog_32->n91_a_hedgehog_36 n91_a_hedgehog_38 NP-OB1 n91_a_hedgehog_32->n91_a_hedgehog_38 n91_a_hedgehog_41 PP-NIM n91_a_hedgehog_32->n91_a_hedgehog_41 n91_a_hedgehog_34 PRO n91_a_hedgehog_33->n91_a_hedgehog_34 n91_a_hedgehog_34->n91_a_hedgehog_35 n91_a_hedgehog_36->n91_a_hedgehog_37 n91_a_hedgehog_39 PRO n91_a_hedgehog_38->n91_a_hedgehog_39 n91_a_hedgehog_39->n91_a_hedgehog_40 n91_a_hedgehog_42 P-ROLE n91_a_hedgehog_41->n91_a_hedgehog_42 n91_a_hedgehog_44 NP n91_a_hedgehog_41->n91_a_hedgehog_44 n91_a_hedgehog_42->n91_a_hedgehog_43 n91_a_hedgehog_45 ADD n91_a_hedgehog_44->n91_a_hedgehog_45 n91_a_hedgehog_45->n91_a_hedgehog_46 n91_a_hedgehog_47->n91_a_hedgehog_48 
( (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))