TSPC 35_a_major

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.

( (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-)
                    (PRN (NP (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))

arc(r_0035_0004__is_r_0035_0005__under,r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister,arg0).
arc(r_0035_0004__is_r_0035_0005__under,r_0035_0006__a_r_0035_0007__duty,arg1).
arc(r_0035_0006__a_r_0035_0007__duty,r_0035_0010__explain,emb).
arc(r_0035_0010__explain,r_0035_0011__the_r_0035_0013__facts_r_0035_0014__and_r_0035_0015__reasoning,arg1).
arc(r_0035_0010__explain,z_0035_5004,arg0).
arc(r_0035_0011__the_r_0035_0013__facts_r_0035_0014__and_r_0035_0015__reasoning,r_0035_0012__full,attrib).
arc(r_0035_0016__underlying,r_0035_0011__the_r_0035_0013__facts_r_0035_0014__and_r_0035_0015__reasoning,inv_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,inv_arg0).

fof(formula,axiom,
    ? [R_0035_0001__THE_R_0035_0002__PRIME_R_0035_0003__MINISTER,R_0035_0012__FULL,R_0035_0019__CHALLENGED,R_0035_0017__THE_R_0035_0018__DECISION,R_0035_0016__UNDERLYING,R_0035_0011__THE_R_0035_0013__FACTS_R_0035_0014__AND_R_0035_0015__REASONING,Z_0035_5004,R_0035_0010__EXPLAIN,R_0035_0006__A_R_0035_0007__DUTY,R_0035_0004__IS_R_0035_0005__UNDER] :
      ( r_0035_0001__The_r_0035_0002__Prime_r_0035_0003__Minister(R_0035_0001__THE_R_0035_0002__PRIME_R_0035_0003__MINISTER)
      & r_0035_0012__full(R_0035_0012__FULL)
      & r_0035_0019__challenged(R_0035_0019__CHALLENGED)
      & z_0035_5004(Z_0035_5004)
      & r_0035_0004__is_r_0035_0005__under(R_0035_0004__IS_R_0035_0005__UNDER)
      & has_arg1(R_0035_0004__IS_R_0035_0005__UNDER,R_0035_0006__A_R_0035_0007__DUTY)
      & r_0035_0006__a_r_0035_0007__duty(R_0035_0006__A_R_0035_0007__DUTY)
      & has_emb(R_0035_0006__A_R_0035_0007__DUTY,R_0035_0010__EXPLAIN)
      & r_0035_0010__explain(R_0035_0010__EXPLAIN)
      & has_arg0(R_0035_0010__EXPLAIN,Z_0035_5004)
      & has_arg1(R_0035_0010__EXPLAIN,R_0035_0011__THE_R_0035_0013__FACTS_R_0035_0014__AND_R_0035_0015__REASONING)
      & r_0035_0011__the_r_0035_0013__facts_r_0035_0014__and_r_0035_0015__reasoning(R_0035_0011__THE_R_0035_0013__FACTS_R_0035_0014__AND_R_0035_0015__REASONING)
      & has_inv_arg0(R_0035_0011__THE_R_0035_0013__FACTS_R_0035_0014__AND_R_0035_0015__REASONING,R_0035_0016__UNDERLYING)
      & r_0035_0016__underlying(R_0035_0016__UNDERLYING)
      & has_arg1(R_0035_0016__UNDERLYING,R_0035_0017__THE_R_0035_0018__DECISION)
      & r_0035_0017__the_r_0035_0018__decision(R_0035_0017__THE_R_0035_0018__DECISION)
      & has_inv_arg0(R_0035_0017__THE_R_0035_0018__DECISION,R_0035_0019__CHALLENGED)
      & has_attrib(R_0035_0011__THE_R_0035_0013__FACTS_R_0035_0014__AND_R_0035_0015__REASONING,R_0035_0012__FULL)
      & has_arg0(R_0035_0004__IS_R_0035_0005__UNDER,R_0035_0001__THE_R_0035_0002__PRIME_R_0035_0003__MINISTER) ) ).