Context                Previous, Next                Top


21_a_major_case
“Mr David Gauke (South West Hertfordshire) (Ind): The Prime Minister has said that the Prorogation of Parliament is nothing to do with Brexit.

%3 r_0021_0017__has has r_0021_0018__said said r_0021_0017__has->r_0021_0018__said [scope] r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister The Prime Minister r_0021_0018__said->r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister [arg0] r_0021_0025__nothing_quant nothing [quant] r_0021_0018__said->r_0021_0025__nothing_quant [arg1] r_0021_0019__that_r_0021_0024__is that is r_0021_0025__nothing_quant->r_0021_0019__that_r_0021_0024__is [scope] z_000_21_a_major_case_63 r_0021_0025__nothing_quant->z_000_21_a_major_case_63 [restriction] r_0021_0020__the_r_0021_0021__Prorogation the Prorogation r_0021_0019__that_r_0021_0024__is->r_0021_0020__the_r_0021_0021__Prorogation [arg0] r_0021_0019__that_r_0021_0024__is->z_000_21_a_major_case_63 [prd] r_0021_0023__Parliament Parliament r_0021_0020__the_r_0021_0021__Prorogation->r_0021_0023__Parliament of r_0021_0026__to_r_0021_0027__do to do r_0021_0026__to_r_0021_0027__do->z_000_21_a_major_case_63 [arg0] r_0021_0029__Brexit Brexit r_0021_0026__to_r_0021_0027__do->r_0021_0029__Brexit with [clr] 
arc(r_0021_0017__has, r_0021_0018__said, scope).
arc(r_0021_0018__said, r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister, arg0).
arc(r_0021_0018__said, r_0021_0025__nothing_quant, arg1).
arc(r_0021_0019__that_r_0021_0024__is, r_0021_0020__the_r_0021_0021__Prorogation, arg0).
arc(r_0021_0019__that_r_0021_0024__is, z_000_21_a_major_case_63, prd).
arc(r_0021_0020__the_r_0021_0021__Prorogation, r_0021_0023__Parliament, r_0021_0022__of).
arc(r_0021_0025__nothing_quant, r_0021_0019__that_r_0021_0024__is, scope).
arc(r_0021_0025__nothing_quant, z_000_21_a_major_case_63, restriction).
arc(r_0021_0026__to_r_0021_0027__do, r_0021_0029__Brexit, r_0021_0028__with_clr76).
arc(r_0021_0026__to_r_0021_0027__do, z_000_21_a_major_case_63, arg0).


%3 r_0021_0017__has_r_0021_0018__said has said r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister The Prime Minister r_0021_0017__has_r_0021_0018__said->r_0021_0014__The_r_0021_0015__Prime_r_0021_0016__Minister [arg0] r_0021_0025__nothing_quant nothing [quant] r_0021_0017__has_r_0021_0018__said->r_0021_0025__nothing_quant [arg1] r_0021_0019__that_r_0021_0024__is that is r_0021_0025__nothing_quant->r_0021_0019__that_r_0021_0024__is [scope] r_0021_0026__to_r_0021_0027__do to do r_0021_0025__nothing_quant->r_0021_0026__to_r_0021_0027__do [restriction] r_0021_0020__the_r_0021_0021__Prorogation the Prorogation r_0021_0019__that_r_0021_0024__is->r_0021_0020__the_r_0021_0021__Prorogation [arg0] z_000_21_a_major_case_63 r_0021_0019__that_r_0021_0024__is->z_000_21_a_major_case_63 [prd] r_0021_0023__Parliament Parliament r_0021_0020__the_r_0021_0021__Prorogation->r_0021_0023__Parliament of r_0021_0026__to_r_0021_0027__do->z_000_21_a_major_case_63 [arg0] r_0021_0029__Brexit Brexit r_0021_0026__to_r_0021_0027__do->r_0021_0029__Brexit with [clr] 
fof(formula,axiom,
    ? [R_21_17_HAS_SAID,R_21_14_THE_PRIME_MINISTER] :
      ( the_Prime_Minister(R_21_14_THE_PRIME_MINISTER)
      & ! [R_21_26_TO_DO,Z_21_A_MAJOR_CASE_63,R_21_29_BREXIT] :
          ( ( brexit(R_21_29_BREXIT)
            & to_do(R_21_26_TO_DO,Z_21_A_MAJOR_CASE_63)
            & with_clr76(R_21_26_TO_DO,R_21_29_BREXIT) )
         => ? [R_21_19_THAT_IS,R_21_20_THE_PROROGATION,R_21_23_PARLIAMENT] :
              ( parliament(R_21_23_PARLIAMENT)
              & that_is(R_21_19_THAT_IS,R_21_20_THE_PROROGATION,Z_21_A_MAJOR_CASE_63)
              & the_Prorogation(R_21_20_THE_PROROGATION)
              & of(R_21_20_THE_PROROGATION,R_21_23_PARLIAMENT) ) )
      & arg1(ARG1)
      & has_said(R_21_17_HAS_SAID,R_21_14_THE_PRIME_MINISTER) ) ).


n21_a_major_case n21_a_major_case_3 <ldquo> n21_a_major_case_7 Mr n21_a_major_case_9 David n21_a_major_case_11 Gauke n21_a_major_case_14 -LRB- n21_a_major_case_17 South n21_a_major_case_19 West n21_a_major_case_21 Hertfordshire n21_a_major_case_23 -RRB- n21_a_major_case_26 -LRB- n21_a_major_case_29 Ind n21_a_major_case_31 -RRB- n21_a_major_case_33 : n21_a_major_case_36 The n21_a_major_case_38 Prime n21_a_major_case_40 Minister n21_a_major_case_42 has n21_a_major_case_45 said n21_a_major_case_49 that n21_a_major_case_52 the n21_a_major_case_54 Prorogation n21_a_major_case_57 of n21_a_major_case_60 Parliament n21_a_major_case_62 is n21_a_major_case_65 nothing n21_a_major_case_68 *T* n21_a_major_case_70 to n21_a_major_case_72 do n21_a_major_case_75 with n21_a_major_case_78 Brexit n21_a_major_case_80 . n21_a_major_case_1 IP-MAT n21_a_major_case_2 PULQ n21_a_major_case_1->n21_a_major_case_2 n21_a_major_case_4 META n21_a_major_case_1->n21_a_major_case_4 n21_a_major_case_34 NP-SBJ n21_a_major_case_1->n21_a_major_case_34 n21_a_major_case_41 HVP;_cat_Ve_ n21_a_major_case_1->n21_a_major_case_41 n21_a_major_case_43 IP-PPL-CAT n21_a_major_case_1->n21_a_major_case_43 n21_a_major_case_79 PUNC n21_a_major_case_1->n21_a_major_case_79 n21_a_major_case_2->n21_a_major_case_3 n21_a_major_case_5 NP n21_a_major_case_4->n21_a_major_case_5 n21_a_major_case_32 PUNC n21_a_major_case_4->n21_a_major_case_32 n21_a_major_case_6 N n21_a_major_case_5->n21_a_major_case_6 n21_a_major_case_8 NPR n21_a_major_case_5->n21_a_major_case_8 n21_a_major_case_10 NPR n21_a_major_case_5->n21_a_major_case_10 n21_a_major_case_12 IP-PPL n21_a_major_case_5->n21_a_major_case_12 n21_a_major_case_24 IP-PPL n21_a_major_case_5->n21_a_major_case_24 n21_a_major_case_6->n21_a_major_case_7 n21_a_major_case_8->n21_a_major_case_9 n21_a_major_case_10->n21_a_major_case_11 n21_a_major_case_13 PULB n21_a_major_case_12->n21_a_major_case_13 n21_a_major_case_15 NP-PRD n21_a_major_case_12->n21_a_major_case_15 n21_a_major_case_22 PURB n21_a_major_case_12->n21_a_major_case_22 n21_a_major_case_13->n21_a_major_case_14 n21_a_major_case_16 NPR n21_a_major_case_15->n21_a_major_case_16 n21_a_major_case_18 NPR n21_a_major_case_15->n21_a_major_case_18 n21_a_major_case_20 NPR n21_a_major_case_15->n21_a_major_case_20 n21_a_major_case_16->n21_a_major_case_17 n21_a_major_case_18->n21_a_major_case_19 n21_a_major_case_20->n21_a_major_case_21 n21_a_major_case_22->n21_a_major_case_23 n21_a_major_case_25 PULB n21_a_major_case_24->n21_a_major_case_25 n21_a_major_case_27 NP-PRD n21_a_major_case_24->n21_a_major_case_27 n21_a_major_case_30 PURB n21_a_major_case_24->n21_a_major_case_30 n21_a_major_case_25->n21_a_major_case_26 n21_a_major_case_28 NPR n21_a_major_case_27->n21_a_major_case_28 n21_a_major_case_28->n21_a_major_case_29 n21_a_major_case_30->n21_a_major_case_31 n21_a_major_case_32->n21_a_major_case_33 n21_a_major_case_35 D n21_a_major_case_34->n21_a_major_case_35 n21_a_major_case_37 NPR n21_a_major_case_34->n21_a_major_case_37 n21_a_major_case_39 NPR n21_a_major_case_34->n21_a_major_case_39 n21_a_major_case_35->n21_a_major_case_36 n21_a_major_case_37->n21_a_major_case_38 n21_a_major_case_39->n21_a_major_case_40 n21_a_major_case_41->n21_a_major_case_42 n21_a_major_case_44 VVN;__ n21_a_major_case_43->n21_a_major_case_44 n21_a_major_case_46 CP-THT-OB1 n21_a_major_case_43->n21_a_major_case_46 n21_a_major_case_44->n21_a_major_case_45 n21_a_major_case_47 IP-SUB n21_a_major_case_46->n21_a_major_case_47 n21_a_major_case_48 C n21_a_major_case_47->n21_a_major_case_48 n21_a_major_case_50 NP-SBJ n21_a_major_case_47->n21_a_major_case_50 n21_a_major_case_61 BEP;_Ln_ n21_a_major_case_47->n21_a_major_case_61 n21_a_major_case_63 NP-PRD n21_a_major_case_47->n21_a_major_case_63 n21_a_major_case_48->n21_a_major_case_49 n21_a_major_case_51 D n21_a_major_case_50->n21_a_major_case_51 n21_a_major_case_53 N n21_a_major_case_50->n21_a_major_case_53 n21_a_major_case_55 PP n21_a_major_case_50->n21_a_major_case_55 n21_a_major_case_51->n21_a_major_case_52 n21_a_major_case_53->n21_a_major_case_54 n21_a_major_case_56 P-ROLE n21_a_major_case_55->n21_a_major_case_56 n21_a_major_case_58 NP n21_a_major_case_55->n21_a_major_case_58 n21_a_major_case_56->n21_a_major_case_57 n21_a_major_case_59 NPR n21_a_major_case_58->n21_a_major_case_59 n21_a_major_case_59->n21_a_major_case_60 n21_a_major_case_61->n21_a_major_case_62 n21_a_major_case_64 Q;_nphd_ n21_a_major_case_63->n21_a_major_case_64 n21_a_major_case_66 IP-INF-REL n21_a_major_case_63->n21_a_major_case_66 n21_a_major_case_64->n21_a_major_case_65 n21_a_major_case_67 NP-SBJ n21_a_major_case_66->n21_a_major_case_67 n21_a_major_case_69 TO n21_a_major_case_66->n21_a_major_case_69 n21_a_major_case_71 DO;_Ipr_ n21_a_major_case_66->n21_a_major_case_71 n21_a_major_case_73 PP-CLR n21_a_major_case_66->n21_a_major_case_73 n21_a_major_case_67->n21_a_major_case_68 n21_a_major_case_69->n21_a_major_case_70 n21_a_major_case_71->n21_a_major_case_72 n21_a_major_case_74 P-ROLE n21_a_major_case_73->n21_a_major_case_74 n21_a_major_case_76 NP n21_a_major_case_73->n21_a_major_case_76 n21_a_major_case_74->n21_a_major_case_75 n21_a_major_case_77 NPR n21_a_major_case_76->n21_a_major_case_77 n21_a_major_case_77->n21_a_major_case_78 n21_a_major_case_79->n21_a_major_case_80 
( (IP-MAT (PULQ <ldquo>)
          (META (NP (N Mr;{mr})
                    (NPR David;{David})
                    (NPR Gauke;{Gauke})
                    (IP-PPL (PULB -LRB-)
                            (NP-PRD (NPR South;{South})
                                    (NPR West;{West})
                                    (NPR Hertfordshire;{Hertfordshire}))
                            (PURB -RRB-))
                    (IP-PPL (PULB -LRB-)
                            (NP-PRD (NPR Ind;{Ind}))
                            (PURB -RRB-)))
                (PUNC :))
          (NP-SBJ;{JOHNSON} (D The;{the})
                            (NPR Prime;{Prime})
                            (NPR Minister;{Minister}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;__ said;{say})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ (D the;{the})
                                                  (N Prorogation;{prorogation})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NPR Parliament;{Parliament}))))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (Q;_nphd_ nothing;{nothing})
                                                  (IP-INF-REL (NP-SBJ *T*)
                                                              (TO to;{to})
                                                              (DO;_Ipr_ do;{do[with]})
                                                              (PP-CLR (P-ROLE with;{with})
                                                                      (NP (NPR Brexit;{Brexit}))))))))
          (PUNC .))
  (ID 21_a_major_case))