Context                Previous, Next                Top


35_a_major_case
The Prime Minister is under a duty “to explain the full facts and reasoning underlying the decision challenged”: AHK v Secretary of State for the Home Department -LSB- 2012 -RSB- EWHC 1117 (Admin) at <sect> 22.

%3 r_0035_0004__is is r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister The Prime Minister r_0035_0004__is->r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister [arg0] r_0035_0006__a_r_0035_0007__duty a duty r_0035_0004__is->r_0035_0006__a_r_0035_0007__duty under [clr] r_0035_0009__to_r_0035_0010__explain to explain r_0035_0006__a_r_0035_0007__duty->r_0035_0009__to_r_0035_0010__explain [emb] r_0035_0014__and and r_0035_0009__to_r_0035_0010__explain->r_0035_0014__and [arg1] z_000_35_a_major_case_21 r_0035_0009__to_r_0035_0010__explain->z_000_35_a_major_case_21 [arg0] r_0035_0012__full full r_0035_0014__and->r_0035_0012__full [attrib] r_0035_0013__facts facts r_0035_0014__and->r_0035_0013__facts [conj1] r_0035_0015__reasoning reasoning r_0035_0014__and->r_0035_0015__reasoning [conj2] r_0035_0016__underlying underlying r_0035_0016__underlying->r_0035_0014__and [arg0] r_0035_0017__the_r_0035_0018__decision the decision r_0035_0016__underlying->r_0035_0017__the_r_0035_0018__decision [arg1] r_0035_0019__challenged challenged r_0035_0019__challenged->r_0035_0017__the_r_0035_0018__decision [arg0] 
arc(r_0035_0004__is, r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister, arg0).
arc(r_0035_0004__is, r_0035_0006__a_r_0035_0007__duty, r_0035_0005__under_clr14).
arc(r_0035_0006__a_r_0035_0007__duty, r_0035_0009__to_r_0035_0010__explain, emb21).
arc(r_0035_0009__to_r_0035_0010__explain, r_0035_0014__and, arg1).
arc(r_0035_0009__to_r_0035_0010__explain, z_000_35_a_major_case_21, arg0).
arc(r_0035_0014__and, r_0035_0012__full, attrib29).
arc(r_0035_0014__and, r_0035_0013__facts, conj1).
arc(r_0035_0014__and, r_0035_0015__reasoning, conj2).
arc(r_0035_0016__underlying, r_0035_0014__and, arg0).
arc(r_0035_0016__underlying, r_0035_0017__the_r_0035_0018__decision, arg1).
arc(r_0035_0019__challenged, r_0035_0017__the_r_0035_0018__decision, arg0).


%3 r_0035_0004__is is r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister The Prime Minister r_0035_0004__is->r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister [arg0] r_0035_0006__a_r_0035_0007__duty a duty r_0035_0004__is->r_0035_0006__a_r_0035_0007__duty under [clr] r_0035_0009__to_r_0035_0010__explain to explain r_0035_0006__a_r_0035_0007__duty->r_0035_0009__to_r_0035_0010__explain [emb] r_0035_0014__and and r_0035_0009__to_r_0035_0010__explain->r_0035_0014__and [arg1] z_000_35_a_major_case_21 r_0035_0009__to_r_0035_0010__explain->z_000_35_a_major_case_21 [arg0] r_0035_0012__full full r_0035_0014__and->r_0035_0012__full [attrib] r_0035_0013__facts facts r_0035_0014__and->r_0035_0013__facts [conj1] r_0035_0015__reasoning reasoning r_0035_0014__and->r_0035_0015__reasoning [conj2] r_0035_0016__underlying underlying r_0035_0016__underlying->r_0035_0014__and [arg0] r_0035_0017__the_r_0035_0018__decision the decision r_0035_0016__underlying->r_0035_0017__the_r_0035_0018__decision [arg1] r_0035_0019__challenged challenged r_0035_0019__challenged->r_0035_0017__the_r_0035_0018__decision [arg0] 
fof(formula,axiom,
    ? [R_35_4_IS,R_35_1_THE_PRIME_MINISTER,R_35_6_A_DUTY,R_35_9_TO_EXPLAIN,Z_35_A_MAJOR_CASE_21,R_35_16_UNDERLYING,R_35_14_AND,R_35_12_FULL,R_35_13_FACTS,R_35_15_REASONING,R_35_19_CHALLENGED,R_35_17_THE_DECISION] :
      ( the_Prime_Minister(R_35_1_THE_PRIME_MINISTER)
      & full(R_35_12_FULL)
      & facts(R_35_13_FACTS)
      & reasoning(R_35_15_REASONING)
      & the_decision(R_35_17_THE_DECISION)
      & is(R_35_4_IS,R_35_1_THE_PRIME_MINISTER)
      & under_clr14(R_35_4_IS,R_35_6_A_DUTY)
      & a_duty(R_35_6_A_DUTY)
      & emb21(R_35_6_A_DUTY,R_35_9_TO_EXPLAIN)
      & to_explain(R_35_9_TO_EXPLAIN,Z_35_A_MAJOR_CASE_21,R_35_14_AND)
      & and(R_35_14_AND)
      & attrib29(R_35_14_AND,R_35_12_FULL)
      & conj1(R_35_14_AND,R_35_13_FACTS)
      & conj2(R_35_14_AND,R_35_15_REASONING)
      & underlying(R_35_16_UNDERLYING,R_35_14_AND,R_35_17_THE_DECISION)
      & challenged(R_35_19_CHALLENGED,R_35_17_THE_DECISION) ) ).


n35_a_major_case n35_a_major_case_4 The n35_a_major_case_6 Prime n35_a_major_case_8 Minister n35_a_major_case_10 is n35_a_major_case_13 under n35_a_major_case_16 a n35_a_major_case_18 duty n35_a_major_case_20 <ldquo> n35_a_major_case_23 to n35_a_major_case_25 explain n35_a_major_case_28 the n35_a_major_case_31 full n35_a_major_case_35 facts n35_a_major_case_38 and n35_a_major_case_41 reasoning n35_a_major_case_44 underlying n35_a_major_case_47 the n35_a_major_case_49 decision n35_a_major_case_52 challenged n35_a_major_case_54 <rdquo> n35_a_major_case_56 : n35_a_major_case_60 AHK n35_a_major_case_63 v n35_a_major_case_66 Secretary n35_a_major_case_69 of n35_a_major_case_72 State n35_a_major_case_75 for n35_a_major_case_78 the n35_a_major_case_80 Home n35_a_major_case_82 Department n35_a_major_case_84 -LSB- n35_a_major_case_88 2012 n35_a_major_case_90 -RSB- n35_a_major_case_92 EWHC n35_a_major_case_94 1117 n35_a_major_case_96 -LRB- n35_a_major_case_98 Admin n35_a_major_case_100 -RRB- n35_a_major_case_103 at n35_a_major_case_106 <sect> n35_a_major_case_108 22 n35_a_major_case_110 . n35_a_major_case_1 IP-MAT n35_a_major_case_2 NP-SBJ n35_a_major_case_1->n35_a_major_case_2 n35_a_major_case_9 BEP;_Ipr_ n35_a_major_case_1->n35_a_major_case_9 n35_a_major_case_11 PP-CLR n35_a_major_case_1->n35_a_major_case_11 n35_a_major_case_55 PUNC n35_a_major_case_1->n35_a_major_case_55 n35_a_major_case_57 META n35_a_major_case_1->n35_a_major_case_57 n35_a_major_case_109 PUNC n35_a_major_case_1->n35_a_major_case_109 n35_a_major_case_3 D n35_a_major_case_2->n35_a_major_case_3 n35_a_major_case_5 NPR n35_a_major_case_2->n35_a_major_case_5 n35_a_major_case_7 NPR n35_a_major_case_2->n35_a_major_case_7 n35_a_major_case_3->n35_a_major_case_4 n35_a_major_case_5->n35_a_major_case_6 n35_a_major_case_7->n35_a_major_case_8 n35_a_major_case_9->n35_a_major_case_10 n35_a_major_case_12 P-ROLE n35_a_major_case_11->n35_a_major_case_12 n35_a_major_case_14 NP n35_a_major_case_11->n35_a_major_case_14 n35_a_major_case_12->n35_a_major_case_13 n35_a_major_case_15 D n35_a_major_case_14->n35_a_major_case_15 n35_a_major_case_17 N n35_a_major_case_14->n35_a_major_case_17 n35_a_major_case_19 PULQ n35_a_major_case_14->n35_a_major_case_19 n35_a_major_case_21 IP-INF n35_a_major_case_14->n35_a_major_case_21 n35_a_major_case_53 PURQ n35_a_major_case_14->n35_a_major_case_53 n35_a_major_case_15->n35_a_major_case_16 n35_a_major_case_17->n35_a_major_case_18 n35_a_major_case_19->n35_a_major_case_20 n35_a_major_case_22 TO n35_a_major_case_21->n35_a_major_case_22 n35_a_major_case_24 VB;__ n35_a_major_case_21->n35_a_major_case_24 n35_a_major_case_26 NP-OB1 n35_a_major_case_21->n35_a_major_case_26 n35_a_major_case_22->n35_a_major_case_23 n35_a_major_case_24->n35_a_major_case_25 n35_a_major_case_27 D n35_a_major_case_26->n35_a_major_case_27 n35_a_major_case_29 ADJP n35_a_major_case_26->n35_a_major_case_29 n35_a_major_case_32 NLYR n35_a_major_case_26->n35_a_major_case_32 n35_a_major_case_42 IP-PPL n35_a_major_case_26->n35_a_major_case_42 n35_a_major_case_27->n35_a_major_case_28 n35_a_major_case_30 ADJ n35_a_major_case_29->n35_a_major_case_30 n35_a_major_case_30->n35_a_major_case_31 n35_a_major_case_33 NLYR n35_a_major_case_32->n35_a_major_case_33 n35_a_major_case_36 CONJP n35_a_major_case_32->n35_a_major_case_36 n35_a_major_case_34 NS n35_a_major_case_33->n35_a_major_case_34 n35_a_major_case_34->n35_a_major_case_35 n35_a_major_case_37 CONJ n35_a_major_case_36->n35_a_major_case_37 n35_a_major_case_39 NLYR n35_a_major_case_36->n35_a_major_case_39 n35_a_major_case_37->n35_a_major_case_38 n35_a_major_case_40 N n35_a_major_case_39->n35_a_major_case_40 n35_a_major_case_40->n35_a_major_case_41 n35_a_major_case_43 VAG;__ n35_a_major_case_42->n35_a_major_case_43 n35_a_major_case_45 NP-OB1 n35_a_major_case_42->n35_a_major_case_45 n35_a_major_case_43->n35_a_major_case_44 n35_a_major_case_46 D n35_a_major_case_45->n35_a_major_case_46 n35_a_major_case_48 N n35_a_major_case_45->n35_a_major_case_48 n35_a_major_case_50 IP-PPL n35_a_major_case_45->n35_a_major_case_50 n35_a_major_case_46->n35_a_major_case_47 n35_a_major_case_48->n35_a_major_case_49 n35_a_major_case_51 VVN;__ n35_a_major_case_50->n35_a_major_case_51 n35_a_major_case_51->n35_a_major_case_52 n35_a_major_case_53->n35_a_major_case_54 n35_a_major_case_55->n35_a_major_case_56 n35_a_major_case_58 NP n35_a_major_case_57->n35_a_major_case_58 n35_a_major_case_59 NPR n35_a_major_case_58->n35_a_major_case_59 n35_a_major_case_61 PP n35_a_major_case_58->n35_a_major_case_61 n35_a_major_case_83 PULB n35_a_major_case_58->n35_a_major_case_83 n35_a_major_case_85 IP-PPL n35_a_major_case_58->n35_a_major_case_85 n35_a_major_case_89 PURB n35_a_major_case_58->n35_a_major_case_89 n35_a_major_case_91 NPR n35_a_major_case_58->n35_a_major_case_91 n35_a_major_case_93 NPR n35_a_major_case_58->n35_a_major_case_93 n35_a_major_case_95 PULB n35_a_major_case_58->n35_a_major_case_95 n35_a_major_case_97 N n35_a_major_case_58->n35_a_major_case_97 n35_a_major_case_99 PURB n35_a_major_case_58->n35_a_major_case_99 n35_a_major_case_101 PP n35_a_major_case_58->n35_a_major_case_101 n35_a_major_case_59->n35_a_major_case_60 n35_a_major_case_62 P-ROLE n35_a_major_case_61->n35_a_major_case_62 n35_a_major_case_64 NP n35_a_major_case_61->n35_a_major_case_64 n35_a_major_case_62->n35_a_major_case_63 n35_a_major_case_65 N n35_a_major_case_64->n35_a_major_case_65 n35_a_major_case_67 PP n35_a_major_case_64->n35_a_major_case_67 n35_a_major_case_73 PP n35_a_major_case_64->n35_a_major_case_73 n35_a_major_case_65->n35_a_major_case_66 n35_a_major_case_68 P-ROLE n35_a_major_case_67->n35_a_major_case_68 n35_a_major_case_70 NP n35_a_major_case_67->n35_a_major_case_70 n35_a_major_case_68->n35_a_major_case_69 n35_a_major_case_71 NPR n35_a_major_case_70->n35_a_major_case_71 n35_a_major_case_71->n35_a_major_case_72 n35_a_major_case_74 P-ROLE n35_a_major_case_73->n35_a_major_case_74 n35_a_major_case_76 NP n35_a_major_case_73->n35_a_major_case_76 n35_a_major_case_74->n35_a_major_case_75 n35_a_major_case_77 D n35_a_major_case_76->n35_a_major_case_77 n35_a_major_case_79 NPR n35_a_major_case_76->n35_a_major_case_79 n35_a_major_case_81 NPR n35_a_major_case_76->n35_a_major_case_81 n35_a_major_case_77->n35_a_major_case_78 n35_a_major_case_79->n35_a_major_case_80 n35_a_major_case_81->n35_a_major_case_82 n35_a_major_case_83->n35_a_major_case_84 n35_a_major_case_86 NP-PRD n35_a_major_case_85->n35_a_major_case_86 n35_a_major_case_87 NPR n35_a_major_case_86->n35_a_major_case_87 n35_a_major_case_87->n35_a_major_case_88 n35_a_major_case_89->n35_a_major_case_90 n35_a_major_case_91->n35_a_major_case_92 n35_a_major_case_93->n35_a_major_case_94 n35_a_major_case_95->n35_a_major_case_96 n35_a_major_case_97->n35_a_major_case_98 n35_a_major_case_99->n35_a_major_case_100 n35_a_major_case_102 P-ROLE n35_a_major_case_101->n35_a_major_case_102 n35_a_major_case_104 NP n35_a_major_case_101->n35_a_major_case_104 n35_a_major_case_102->n35_a_major_case_103 n35_a_major_case_105 N n35_a_major_case_104->n35_a_major_case_105 n35_a_major_case_107 NUM n35_a_major_case_104->n35_a_major_case_107 n35_a_major_case_105->n35_a_major_case_106 n35_a_major_case_107->n35_a_major_case_108 n35_a_major_case_109->n35_a_major_case_110 
( (IP-MAT (NP-SBJ;{JOHNSON} (D The;{the})
                            (NPR Prime;{Prime})
                            (NPR Minister;{Minister}))
          (BEP;_Ipr_ is;{be[under]})
          (PP-CLR (P-ROLE under;{under})
                  (NP (D a;{a})
                      (N duty;{duty})
                      (PULQ <ldquo>)
                      (IP-INF (TO to;{to})
                              (VB;__ explain;{explain})
                              (NP-OB1 (D the;{the})
                                      (ADJP (ADJ full;{full}))
                                      (NLYR (NLYR (NS facts;{fact}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (N reasoning;{reasoning}))))
                                      (IP-PPL (VAG;__ underlying;{underlie})
                                              (NP-OB1 (D the;{the})
                                                      (N decision;{decision})
                                                      (IP-PPL (VVN;__ challenged;{challenge}))))))
                      (PURQ <rdquo>)))
          (PUNC :)
          (META (NP (NPR AHK;{AHK})
                    (PP (P-ROLE v)
                        (NP (N Secretary;{secretary})
                            (PP (P-ROLE of;{of})
                                (NP (NPR State;{State})))
                            (PP (P-ROLE for;{for})
                                (NP (D the;{the})
                                    (NPR Home;{Home})
                                    (NPR Department;{Department})))))
                    (PULB -LSB-)
                    (IP-PPL (NP-PRD (NPR 2012)))
                    (PURB -RSB-)
                    (NPR EWHC;{EWHC})
                    (NPR 1117)
                    (PULB -LRB-)
                    (N Admin;{admin})
                    (PURB -RRB-)
                    (PP (P-ROLE at;{at})
                        (NP (N <sect>)
                            (NUM 22)))))
          (PUNC .))
  (ID 35_a_major_case))