Context                Previous, Next                Top


29_a_major_case
That debate concluded with the House passing a Humble Address calling for the supply of all correspondence and other communications concerning prorogation sent or received by certain specified individuals since 23 July 2019 -LCB- HC Deb vol 664 col 559 -RCB-.

%3 r_0029_0003__concluded concluded r_0029_0001__That_r_0029_0002__debate That debate r_0029_0003__concluded->r_0029_0001__That_r_0029_0002__debate [arg0] r_0029_0005__the_r_0029_0006__House the House r_0029_0003__concluded->r_0029_0005__the_r_0029_0006__House with [nim] r_0029_0007__passing passing r_0029_0007__passing->r_0029_0005__the_r_0029_0006__House [arg0] r_0029_0008__a_r_0029_0010__Address a Address r_0029_0007__passing->r_0029_0008__a_r_0029_0010__Address [arg1] r_0029_0009__Humble Humble r_0029_0008__a_r_0029_0010__Address->r_0029_0009__Humble [attrib] r_0029_0011__calling calling r_0029_0011__calling->r_0029_0008__a_r_0029_0010__Address [arg0] r_0029_0013__the_r_0029_0014__supply the supply r_0029_0011__calling->r_0029_0013__the_r_0029_0014__supply for [clr] r_0029_0018__and and r_0029_0013__the_r_0029_0014__supply->r_0029_0018__and of r_0029_0017__correspondence correspondence r_0029_0018__and->r_0029_0017__correspondence [conj1] r_0029_0020__communications communications r_0029_0018__and->r_0029_0020__communications [conj2] r_0029_0016__all_quant all [quant] r_0029_0016__all_quant->r_0029_0013__the_r_0029_0014__supply [scope] r_0029_0016__all_quant->r_0029_0018__and [restriction] r_0029_0019__other other r_0029_0020__communications->r_0029_0019__other [attrib] r_0029_0021__concerning concerning r_0029_0021__concerning->r_0029_0018__and [arg0] r_0029_0022__prorogation prorogation r_0029_0021__concerning->r_0029_0022__prorogation [arg1] r_0029_0023__sent sent r_0029_0023__sent->r_0029_0018__and [arg1] r_0029_0029__individuals individuals r_0029_0023__sent->r_0029_0029__individuals [arg0] r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 23 July 2019 r_0029_0023__sent->r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 since [nim] r_0029_0027__certain certain r_0029_0029__individuals->r_0029_0027__certain [attrib] r_0029_0024__or or r_0029_0024__or->r_0029_0023__sent [conj1] r_0029_0025__received received r_0029_0024__or->r_0029_0025__received [conj2] r_0029_0025__received->r_0029_0018__and [arg1] r_0029_0025__received->r_0029_0029__individuals [arg0] r_0029_0025__received->r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 since [nim] r_0029_0028__specified specified r_0029_0028__specified->r_0029_0029__individuals [arg1] z_000_29_a_major_case_83 r_0029_0028__specified->z_000_29_a_major_case_83 [arg0] 
arc(r_0029_0003__concluded, r_0029_0001__That_r_0029_0002__debate, arg0).
arc(r_0029_0003__concluded, r_0029_0005__the_r_0029_0006__House, r_0029_0004__with_nim12).
arc(r_0029_0007__passing, r_0029_0005__the_r_0029_0006__House, arg0).
arc(r_0029_0007__passing, r_0029_0008__a_r_0029_0010__Address, arg1).
arc(r_0029_0008__a_r_0029_0010__Address, r_0029_0009__Humble, attrib23).
arc(r_0029_0011__calling, r_0029_0008__a_r_0029_0010__Address, arg0).
arc(r_0029_0011__calling, r_0029_0013__the_r_0029_0014__supply, r_0029_0012__for_clr34).
arc(r_0029_0013__the_r_0029_0014__supply, r_0029_0018__and, r_0029_0015__of).
arc(r_0029_0016__all_quant, r_0029_0013__the_r_0029_0014__supply, scope).
arc(r_0029_0016__all_quant, r_0029_0018__and, restriction).
arc(r_0029_0018__and, r_0029_0017__correspondence, conj1).
arc(r_0029_0018__and, r_0029_0020__communications, conj2).
arc(r_0029_0020__communications, r_0029_0019__other, attrib53).
arc(r_0029_0021__concerning, r_0029_0018__and, arg0).
arc(r_0029_0021__concerning, r_0029_0022__prorogation, arg1).
arc(r_0029_0023__sent, r_0029_0018__and, arg1).
arc(r_0029_0023__sent, r_0029_0029__individuals, arg0).
arc(r_0029_0023__sent, r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019, r_0029_0030__since_nim92).
arc(r_0029_0024__or, r_0029_0023__sent, conj1).
arc(r_0029_0024__or, r_0029_0025__received, conj2).
arc(r_0029_0025__received, r_0029_0018__and, arg1).
arc(r_0029_0025__received, r_0029_0029__individuals, arg0).
arc(r_0029_0025__received, r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019, r_0029_0030__since_nim92).
arc(r_0029_0028__specified, r_0029_0029__individuals, arg1).
arc(r_0029_0028__specified, z_000_29_a_major_case_83, arg0).
arc(r_0029_0029__individuals, r_0029_0027__certain, attrib79).


%3 r_0029_0003__concluded concluded r_0029_0001__That_r_0029_0002__debate That debate r_0029_0003__concluded->r_0029_0001__That_r_0029_0002__debate [arg0] r_0029_0005__the_r_0029_0006__House the House r_0029_0003__concluded->r_0029_0005__the_r_0029_0006__House with [nim] r_0029_0007__passing passing r_0029_0007__passing->r_0029_0005__the_r_0029_0006__House [arg0] r_0029_0008__a_r_0029_0010__Address a Address r_0029_0007__passing->r_0029_0008__a_r_0029_0010__Address [arg1] r_0029_0009__Humble Humble r_0029_0008__a_r_0029_0010__Address->r_0029_0009__Humble [attrib] r_0029_0011__calling calling r_0029_0011__calling->r_0029_0008__a_r_0029_0010__Address [arg0] r_0029_0013__the_r_0029_0014__supply the supply r_0029_0011__calling->r_0029_0013__the_r_0029_0014__supply for [clr] r_0029_0018__and and r_0029_0013__the_r_0029_0014__supply->r_0029_0018__and of r_0029_0017__correspondence correspondence r_0029_0018__and->r_0029_0017__correspondence [conj1] r_0029_0020__communications communications r_0029_0018__and->r_0029_0020__communications [conj2] r_0029_0016__all_quant all [quant] r_0029_0016__all_quant->r_0029_0011__calling [scope] r_0029_0021__concerning__and__r_0029_0024__or concerning and  or r_0029_0016__all_quant->r_0029_0021__concerning__and__r_0029_0024__or [restriction] r_0029_0021__concerning concerning r_0029_0021__concerning__and__r_0029_0024__or->r_0029_0021__concerning [conj1] r_0029_0024__or or r_0029_0021__concerning__and__r_0029_0024__or->r_0029_0024__or [conj2] r_0029_0019__other other r_0029_0020__communications->r_0029_0019__other [attrib] r_0029_0021__concerning->r_0029_0018__and [arg0] r_0029_0022__prorogation prorogation r_0029_0021__concerning->r_0029_0022__prorogation [arg1] r_0029_0023__sent sent r_0029_0024__or->r_0029_0023__sent [conj1] r_0029_0025__received received r_0029_0024__or->r_0029_0025__received [conj2] r_0029_0023__sent->r_0029_0018__and [arg1] r_0029_0029__individuals individuals r_0029_0023__sent->r_0029_0029__individuals [arg0] r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 23 July 2019 r_0029_0023__sent->r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 since [nim] r_0029_0027__certain certain r_0029_0029__individuals->r_0029_0027__certain [attrib] r_0029_0025__received->r_0029_0018__and [arg1] r_0029_0025__received->r_0029_0029__individuals [arg0] r_0029_0025__received->r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019 since [nim] r_0029_0028__specified specified r_0029_0028__specified->r_0029_0029__individuals [arg1] z_000_29_a_major_case_83 r_0029_0028__specified->z_000_29_a_major_case_83 [arg0] 
fof(formula,axiom,
    ? [R_29_3_CONCLUDED,R_29_1_THAT_DEBATE,R_29_7_PASSING,R_29_5_THE_HOUSE,R_29_8_A_ADDRESS,R_29_9_HUMBLE,R_29_28_SPECIFIED,Z_29_A_MAJOR_CASE_83,R_29_29_INDIVIDUALS,R_29_27_CERTAIN] :
      ( that_debate(R_29_1_THAT_DEBATE)
      & the_House(R_29_5_THE_HOUSE)
      & humble(R_29_9_HUMBLE)
      & certain(R_29_27_CERTAIN)
      & concluded(R_29_3_CONCLUDED,R_29_1_THAT_DEBATE)
      & with_nim12(R_29_3_CONCLUDED,R_29_5_THE_HOUSE)
      & passing(R_29_7_PASSING,R_29_5_THE_HOUSE,R_29_8_A_ADDRESS)
      & a_Address(R_29_8_A_ADDRESS)
      & attrib23(R_29_8_A_ADDRESS,R_29_9_HUMBLE)
      & ! [R_29_21_CONCERNING_AND_OR,R_29_21_CONCERNING,R_29_22_PROROGATION,R_29_24_OR,R_29_23_SENT,R_29_25_RECEIVED,R_29_18_AND,R_29_17_CORRESPONDENCE,R_29_20_COMMUNICATIONS,R_29_19_OTHER,R_29_31_23_JULY_2019] :
          ( ( prorogation(R_29_22_PROROGATION)
            & correspondence(R_29_17_CORRESPONDENCE)
            & other(R_29_19_OTHER)
            & 23_July_2019(R_29_31_23_JULY_2019)
            & concerning_and_or(R_29_21_CONCERNING_AND_OR)
            & conj1(R_29_21_CONCERNING_AND_OR,R_29_21_CONCERNING)
            & concerning(R_29_21_CONCERNING,R_29_18_AND,R_29_22_PROROGATION)
            & and(R_29_18_AND)
            & conj1(R_29_18_AND,R_29_17_CORRESPONDENCE)
            & conj2(R_29_18_AND,R_29_20_COMMUNICATIONS)
            & communications(R_29_20_COMMUNICATIONS)
            & attrib53(R_29_20_COMMUNICATIONS,R_29_19_OTHER)
            & conj2(R_29_21_CONCERNING_AND_OR,R_29_24_OR)
            & or(R_29_24_OR)
            & conj1(R_29_24_OR,R_29_23_SENT)
            & sent(R_29_23_SENT,R_29_29_INDIVIDUALS,R_29_18_AND)
            & since_nim92(R_29_23_SENT,R_29_31_23_JULY_2019)
            & conj2(R_29_24_OR,R_29_25_RECEIVED)
            & received(R_29_25_RECEIVED,R_29_29_INDIVIDUALS,R_29_18_AND)
            & since_nim92(R_29_25_RECEIVED,R_29_31_23_JULY_2019) )
         => ? [R_29_11_CALLING,R_29_13_THE_SUPPLY] :
              ( calling(R_29_11_CALLING,R_29_8_A_ADDRESS)
              & for_clr34(R_29_11_CALLING,R_29_13_THE_SUPPLY)
              & the_supply(R_29_13_THE_SUPPLY)
              & of(R_29_13_THE_SUPPLY,R_29_18_AND) ) )
      & specified(R_29_28_SPECIFIED,Z_29_A_MAJOR_CASE_83,R_29_29_INDIVIDUALS)
      & individuals(R_29_29_INDIVIDUALS)
      & attrib79(R_29_29_INDIVIDUALS,R_29_27_CERTAIN) ) ).


n29_a_major_case n29_a_major_case_4 That n29_a_major_case_6 debate n29_a_major_case_8 concluded n29_a_major_case_11 with n29_a_major_case_14 the n29_a_major_case_16 House n29_a_major_case_19 passing n29_a_major_case_22 a n29_a_major_case_25 Humble n29_a_major_case_27 Address n29_a_major_case_30 calling n29_a_major_case_33 for n29_a_major_case_36 the n29_a_major_case_38 supply n29_a_major_case_41 of n29_a_major_case_44 all n29_a_major_case_48 correspondence n29_a_major_case_51 and n29_a_major_case_55 other n29_a_major_case_57 communications n29_a_major_case_60 concerning n29_a_major_case_63 prorogation n29_a_major_case_68 sent n29_a_major_case_71 or n29_a_major_case_74 received n29_a_major_case_77 by n29_a_major_case_81 certain n29_a_major_case_84 * n29_a_major_case_86 specified n29_a_major_case_88 individuals n29_a_major_case_91 since n29_a_major_case_94 23 n29_a_major_case_96 July n29_a_major_case_98 2019 n29_a_major_case_101 -LCB- n29_a_major_case_104 HC n29_a_major_case_106 Deb n29_a_major_case_108 vol n29_a_major_case_110 664 n29_a_major_case_112 col n29_a_major_case_114 559 n29_a_major_case_116 -RCB- n29_a_major_case_118 . n29_a_major_case_1 IP-MAT n29_a_major_case_2 NP-SBJ n29_a_major_case_1->n29_a_major_case_2 n29_a_major_case_7 VBD;__ n29_a_major_case_1->n29_a_major_case_7 n29_a_major_case_9 PP-NIM n29_a_major_case_1->n29_a_major_case_9 n29_a_major_case_99 META n29_a_major_case_1->n29_a_major_case_99 n29_a_major_case_117 PUNC n29_a_major_case_1->n29_a_major_case_117 n29_a_major_case_3 D n29_a_major_case_2->n29_a_major_case_3 n29_a_major_case_5 N n29_a_major_case_2->n29_a_major_case_5 n29_a_major_case_3->n29_a_major_case_4 n29_a_major_case_5->n29_a_major_case_6 n29_a_major_case_7->n29_a_major_case_8 n29_a_major_case_10 P-ROLE n29_a_major_case_9->n29_a_major_case_10 n29_a_major_case_12 NP n29_a_major_case_9->n29_a_major_case_12 n29_a_major_case_10->n29_a_major_case_11 n29_a_major_case_13 D n29_a_major_case_12->n29_a_major_case_13 n29_a_major_case_15 NPR n29_a_major_case_12->n29_a_major_case_15 n29_a_major_case_17 IP-PPL n29_a_major_case_12->n29_a_major_case_17 n29_a_major_case_13->n29_a_major_case_14 n29_a_major_case_15->n29_a_major_case_16 n29_a_major_case_18 VAG;__ n29_a_major_case_17->n29_a_major_case_18 n29_a_major_case_20 NP-OB1 n29_a_major_case_17->n29_a_major_case_20 n29_a_major_case_18->n29_a_major_case_19 n29_a_major_case_21 D n29_a_major_case_20->n29_a_major_case_21 n29_a_major_case_23 ADJP n29_a_major_case_20->n29_a_major_case_23 n29_a_major_case_26 N n29_a_major_case_20->n29_a_major_case_26 n29_a_major_case_28 IP-PPL n29_a_major_case_20->n29_a_major_case_28 n29_a_major_case_21->n29_a_major_case_22 n29_a_major_case_24 ADJ n29_a_major_case_23->n29_a_major_case_24 n29_a_major_case_24->n29_a_major_case_25 n29_a_major_case_26->n29_a_major_case_27 n29_a_major_case_29 VAG;__ n29_a_major_case_28->n29_a_major_case_29 n29_a_major_case_31 PP-CLR n29_a_major_case_28->n29_a_major_case_31 n29_a_major_case_29->n29_a_major_case_30 n29_a_major_case_32 P-ROLE n29_a_major_case_31->n29_a_major_case_32 n29_a_major_case_34 NP n29_a_major_case_31->n29_a_major_case_34 n29_a_major_case_32->n29_a_major_case_33 n29_a_major_case_35 D n29_a_major_case_34->n29_a_major_case_35 n29_a_major_case_37 N n29_a_major_case_34->n29_a_major_case_37 n29_a_major_case_39 PP n29_a_major_case_34->n29_a_major_case_39 n29_a_major_case_35->n29_a_major_case_36 n29_a_major_case_37->n29_a_major_case_38 n29_a_major_case_40 P-ROLE n29_a_major_case_39->n29_a_major_case_40 n29_a_major_case_42 NP n29_a_major_case_39->n29_a_major_case_42 n29_a_major_case_40->n29_a_major_case_41 n29_a_major_case_43 Q n29_a_major_case_42->n29_a_major_case_43 n29_a_major_case_45 NLYR n29_a_major_case_42->n29_a_major_case_45 n29_a_major_case_58 IP-PPL n29_a_major_case_42->n29_a_major_case_58 n29_a_major_case_64 IP-PPL n29_a_major_case_42->n29_a_major_case_64 n29_a_major_case_43->n29_a_major_case_44 n29_a_major_case_46 NLYR n29_a_major_case_45->n29_a_major_case_46 n29_a_major_case_49 CONJP n29_a_major_case_45->n29_a_major_case_49 n29_a_major_case_47 N n29_a_major_case_46->n29_a_major_case_47 n29_a_major_case_47->n29_a_major_case_48 n29_a_major_case_50 CONJ n29_a_major_case_49->n29_a_major_case_50 n29_a_major_case_52 NLYR n29_a_major_case_49->n29_a_major_case_52 n29_a_major_case_50->n29_a_major_case_51 n29_a_major_case_53 ADJP n29_a_major_case_52->n29_a_major_case_53 n29_a_major_case_56 NS n29_a_major_case_52->n29_a_major_case_56 n29_a_major_case_54 ADJ n29_a_major_case_53->n29_a_major_case_54 n29_a_major_case_54->n29_a_major_case_55 n29_a_major_case_56->n29_a_major_case_57 n29_a_major_case_59 VAG;__ n29_a_major_case_58->n29_a_major_case_59 n29_a_major_case_61 NP-OB1 n29_a_major_case_58->n29_a_major_case_61 n29_a_major_case_59->n29_a_major_case_60 n29_a_major_case_62 N n29_a_major_case_61->n29_a_major_case_62 n29_a_major_case_62->n29_a_major_case_63 n29_a_major_case_65 ILYR n29_a_major_case_64->n29_a_major_case_65 n29_a_major_case_75 PP-LGS n29_a_major_case_64->n29_a_major_case_75 n29_a_major_case_89 PP-NIM n29_a_major_case_64->n29_a_major_case_89 n29_a_major_case_66 ILYR n29_a_major_case_65->n29_a_major_case_66 n29_a_major_case_69 CONJP n29_a_major_case_65->n29_a_major_case_69 n29_a_major_case_67 VVN;__ n29_a_major_case_66->n29_a_major_case_67 n29_a_major_case_67->n29_a_major_case_68 n29_a_major_case_70 CONJ n29_a_major_case_69->n29_a_major_case_70 n29_a_major_case_72 ILYR n29_a_major_case_69->n29_a_major_case_72 n29_a_major_case_70->n29_a_major_case_71 n29_a_major_case_73 VVN;__ n29_a_major_case_72->n29_a_major_case_73 n29_a_major_case_73->n29_a_major_case_74 n29_a_major_case_76 P-ROLE;_lgs_ n29_a_major_case_75->n29_a_major_case_76 n29_a_major_case_78 NP n29_a_major_case_75->n29_a_major_case_78 n29_a_major_case_76->n29_a_major_case_77 n29_a_major_case_79 ADJP n29_a_major_case_78->n29_a_major_case_79 n29_a_major_case_82 IP-PPL n29_a_major_case_78->n29_a_major_case_82 n29_a_major_case_87 NS n29_a_major_case_78->n29_a_major_case_87 n29_a_major_case_80 ADJ n29_a_major_case_79->n29_a_major_case_80 n29_a_major_case_80->n29_a_major_case_81 n29_a_major_case_83 NP-LGS n29_a_major_case_82->n29_a_major_case_83 n29_a_major_case_85 VVN;__ n29_a_major_case_82->n29_a_major_case_85 n29_a_major_case_83->n29_a_major_case_84 n29_a_major_case_85->n29_a_major_case_86 n29_a_major_case_87->n29_a_major_case_88 n29_a_major_case_90 P-ROLE n29_a_major_case_89->n29_a_major_case_90 n29_a_major_case_92 NP n29_a_major_case_89->n29_a_major_case_92 n29_a_major_case_90->n29_a_major_case_91 n29_a_major_case_93 NPR n29_a_major_case_92->n29_a_major_case_93 n29_a_major_case_95 NPR n29_a_major_case_92->n29_a_major_case_95 n29_a_major_case_97 NPR n29_a_major_case_92->n29_a_major_case_97 n29_a_major_case_93->n29_a_major_case_94 n29_a_major_case_95->n29_a_major_case_96 n29_a_major_case_97->n29_a_major_case_98 n29_a_major_case_100 PULB n29_a_major_case_99->n29_a_major_case_100 n29_a_major_case_102 NP n29_a_major_case_99->n29_a_major_case_102 n29_a_major_case_115 PURB n29_a_major_case_99->n29_a_major_case_115 n29_a_major_case_100->n29_a_major_case_101 n29_a_major_case_103 N n29_a_major_case_102->n29_a_major_case_103 n29_a_major_case_105 NPR n29_a_major_case_102->n29_a_major_case_105 n29_a_major_case_107 N n29_a_major_case_102->n29_a_major_case_107 n29_a_major_case_109 NUM n29_a_major_case_102->n29_a_major_case_109 n29_a_major_case_111 N n29_a_major_case_102->n29_a_major_case_111 n29_a_major_case_113 NUM n29_a_major_case_102->n29_a_major_case_113 n29_a_major_case_103->n29_a_major_case_104 n29_a_major_case_105->n29_a_major_case_106 n29_a_major_case_107->n29_a_major_case_108 n29_a_major_case_109->n29_a_major_case_110 n29_a_major_case_111->n29_a_major_case_112 n29_a_major_case_113->n29_a_major_case_114 n29_a_major_case_115->n29_a_major_case_116 n29_a_major_case_117->n29_a_major_case_118 
( (IP-MAT (NP-SBJ (D That;{that})
                  (N debate;{debate}))
          (VBD;__ concluded;{conclude})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (NPR House;{House})
                      (IP-PPL (VAG;__ passing;{pass})
                              (NP-OB1 (D a;{a})
                                      (ADJP (ADJ Humble;{humble}))
                                      (N Address;{address})
                                      (IP-PPL (VAG;__ calling;{call})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (N supply;{supply})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (Q all;{all})
                                                                  (NLYR (NLYR (N correspondence;{correspondence}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (ADJP (ADJ other;{other}))
                                                                                     (NS communications;{communication}))))
                                                                  (IP-PPL (VAG;__ concerning;{concern})
                                                                          (NP-OB1 (N prorogation;{prorogation})))
                                                                  (IP-PPL (ILYR (ILYR (VVN;__ sent;{send}))
                                                                                (CONJP (CONJ or;{or})
                                                                                       (ILYR (VVN;__ received;{receive}))))
                                                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                  (NP (ADJP (ADJ certain;{certain}))
                                                                                      (IP-PPL (NP-LGS *)
                                                                                              (VVN;__ specified;{specify}))
                                                                                      (NS individuals;{individual})))
                                                                          (PP-NIM (P-ROLE since;{since})
                                                                                  (NP (NPR 23)
                                                                                      (NPR July;{July})
                                                                                      (NPR 2019)))))))))))))
          (META (PULB -LCB-)
                (NP (N HC;{hc})
                    (NPR Deb;{Deb})
                    (N vol;{vol})
                    (NUM 664)
                    (N col;{col})
                    (NUM 559))
                (PURB -RCB-))
          (PUNC .))
  (ID 29_a_major_case))