TSPC 31_a_major

31_a_major_case
In any normal case, it would be all but inconceivable that a court in these circumstances would reach any conclusion other than that (i) the “legislative programme” explanation must be, at best, materially incomplete, and (ii) the decision was in fact substantially motivated by a desire to obstruct Parliament from interfering with the Prime Minister's plans.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D any;{any})
                      (ADJP (ADJ normal;{normal}))
                      (N case;{case})))
          (PUNC ,)
          (NP-SBJ (PRO;_provisional_ it;{it}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADVP (ADV all_but;{all_but}))
                                (ADJ inconceivable;{inconceivable}))
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (D a;{a})
                                                   (N court;{court})
                                                   (PP (P-ROLE in;{in})
                                                       (NP (D these;{these})
                                                           (NS circumstances;{circumstance}))))
                                           (MD;_cat_Vi_ would;{will})
                                           (IP-INF-CAT (VB;__ reach;{reach})
                                                       (NP-OB1 (D any;{any})
                                                               (N conclusion;{conclusion})
                                                               (ADJP (ADJ other;{other})
                                                                     (PP (P-ROLE than;{than})
                                                                         (CP-THT (IP-SUB (C that;{that})
                                                                                         (ILYR (ILYR (LST (PULB -LRB-)
                                                                                                          (LS i)
                                                                                                          (PURB -RRB-))
                                                                                                     (NP-SBJ (D the;{the})
                                                                                                             (PULQ <ldquo>)
                                                                                                             (ADJP (ADJ legislative;{legislative}))
                                                                                                             (N programme;{programme})
                                                                                                             (PURQ <rdquo>)
                                                                                                             (N explanation;{explanation}))
                                                                                                     (MD;_cat_Vi_ must;{must})
                                                                                                     (IP-INF-CAT (BE;_La_ be;{be})
                                                                                                                 (PUNC ,)
                                                                                                                 (ADVP-NIM (ADV at_best;{at_best}))
                                                                                                                 (PUNC ,)
                                                                                                                 (ADJP-PRD (ADVP (ADV materially;{materially}))
                                                                                                                           (ADJ incomplete;{incomplete}))))
                                                                                               (PUNC ,)
                                                                                               (CONJP (CONJ and;{and})
                                                                                                      (ILYR (LST (PULB -LRB-)
                                                                                                                 (LS ii)
                                                                                                                 (PURB -RRB-))
                                                                                                            (NP-SBJ (D the;{the})
                                                                                                                    (N decision;{decision}))
                                                                                                            (BED;_cat_VePASS_ was;{be})
                                                                                                            (ADVP-NIM (ADV in_fact;{in_fact}))
                                                                                                            (IP-PPL-CAT (ADVP-NIM (ADV substantially;{substantially}))
                                                                                                                        (VVN;__ motivated;{motivate})
                                                                                                                        (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                                                                (NP (D a;{a})
                                                                                                                                    (N desire;{desire})
                                                                                                                                    (IP-INF (TO to;{to})
                                                                                                                                            (VB;__ obstruct;{obstruct})
                                                                                                                                            (NP-OB1 (NPR Parliament;{Parliament}))
                                                                                                                                            (PP-NIM (P-ROLE from;{from})
                                                                                                                                                    (IP-PPL (VAG;__ interfering;{interfere})
                                                                                                                                                            (PP-CLR (P-ROLE with;{with})
                                                                                                                                                                    (NP (NP-GEN;{JOHNSON} (D the;{the})
                                                                                                                                                                                          (NPR Prime;{Prime})
                                                                                                                                                                                          (NPR Minister;{Minister})
                                                                                                                                                                                          (GENM <apos>s))
                                                                                                                                                                        (NS plans;{plan})))))))))))))))))))))
          (PUNC .))
  (ID 31_a_major_case))

arc(r_0031_0002__any_r_0031_0004__case,r_0031_0003__normal,attrib).
arc(r_0031_0007__would,r_0031_0002__any_r_0031_0004__case,r_0031_0001__In__nim).
arc(r_0031_0007__would,r_0031_0008__be,scope).
arc(r_0031_0008__be,r_0031_0010__inconceivable,prd).
arc(r_0031_0008__be,r_0031_0017__would,arg0).
arc(r_0031_0010__inconceivable,r_0031_0009__all_but,qual).
arc(r_0031_0012__a_r_0031_0013__court,r_0031_0015__these_r_0031_0016__circumstances,r_0031_0014__in).
arc(r_0031_0017__would,r_0031_0018__reach,scope).
arc(r_0031_0018__reach,r_0031_0012__a_r_0031_0013__court,arg0).
arc(r_0031_0018__reach,r_0031_0019__any_r_0031_0020__conclusion,arg1).
arc(r_0031_0019__any_r_0031_0020__conclusion,r_0031_0021__other,attrib).
arc(r_0031_0021__other,r_0031_0041__and,r_0031_0022__than).
arc(r_0031_0027__the_r_0031_0030__programme_r_0031_0032__explanation,r_0031_0029__legislative,attrib).
arc(r_0031_0033__must,r_0031_0034__be,scope).
arc(r_0031_0034__be,r_0031_0027__the_r_0031_0030__programme_r_0031_0032__explanation,arg0).
arc(r_0031_0034__be,r_0031_0036__at_best,nim).
arc(r_0031_0034__be,r_0031_0039__incomplete,prd).
arc(r_0031_0039__incomplete,r_0031_0038__materially,qual).
arc(r_0031_0041__and,r_0031_0033__must,conj1).
arc(r_0031_0041__and,r_0031_0047__was,conj2).
arc(r_0031_0047__was,r_0031_0048__in_fact,nim).
arc(r_0031_0047__was,r_0031_0050__motivated,scope).
arc(r_0031_0050__motivated,r_0031_0045__the_r_0031_0046__decision,arg1).
arc(r_0031_0050__motivated,r_0031_0049__substantially,nim).
arc(r_0031_0050__motivated,r_0031_0052__a_r_0031_0053__desire,r_0031_0051__by_arg0).
arc(r_0031_0052__a_r_0031_0053__desire,r_0031_0055__obstruct,emb).
arc(r_0031_0055__obstruct,r_0031_0056__Parliament,arg1).
arc(r_0031_0055__obstruct,r_0031_0058__interfering,r_0031_0057__from__nim).
arc(r_0031_0055__obstruct,z_0031_5026,arg0).
arc(r_0031_0058__interfering,r_0031_0056__Parliament,arg0).
arc(r_0031_0058__interfering,r_0031_0064__plans,r_0031_0059__with__clr).
arc(r_0031_0064__plans,r_0031_0060__the_r_0031_0061__Prime_r_0031_0062__Minister,gen).

fof(formula,axiom,
    ? [R_0031_0003__NORMAL,R_0031_0002__ANY_R_0031_0004__CASE,R_0031_0009__ALL_BUT,R_0031_0010__INCONCEIVABLE,R_0031_0015__THESE_R_0031_0016__CIRCUMSTANCES,R_0031_0012__A_R_0031_0013__COURT,R_0031_0029__LEGISLATIVE,R_0031_0027__THE_R_0031_0030__PROGRAMME_R_0031_0032__EXPLANATION,R_0031_0036__AT_BEST,R_0031_0038__MATERIALLY,R_0031_0039__INCOMPLETE,R_0031_0033__MUST_R_0031_0034__BE,R_0031_0048__IN_FACT,R_0031_0045__THE_R_0031_0046__DECISION,R_0031_0049__SUBSTANTIALLY,R_0031_0056__PARLIAMENT,R_0031_0060__THE_R_0031_0061__PRIME_R_0031_0062__MINISTER,R_0031_0064__PLANS,R_0031_0058__INTERFERING,Z_0031_5026,R_0031_0055__OBSTRUCT,R_0031_0052__A_R_0031_0053__DESIRE,R_0031_0047__WAS_R_0031_0050__MOTIVATED,R_0031_0041__AND,R_0031_0021__OTHER,R_0031_0019__ANY_R_0031_0020__CONCLUSION,R_0031_0017__WOULD_R_0031_0018__REACH,R_0031_0007__WOULD_R_0031_0008__BE] :
      ( r_0031_0003__normal(R_0031_0003__NORMAL)
      & r_0031_0009__all_but(R_0031_0009__ALL_BUT)
      & r_0031_0015__these_r_0031_0016__circumstances(R_0031_0015__THESE_R_0031_0016__CIRCUMSTANCES)
      & r_0031_0029__legislative(R_0031_0029__LEGISLATIVE)
      & r_0031_0036__at_best(R_0031_0036__AT_BEST)
      & r_0031_0038__materially(R_0031_0038__MATERIALLY)
      & r_0031_0045__the_r_0031_0046__decision(R_0031_0045__THE_R_0031_0046__DECISION)
      & r_0031_0048__in_fact(R_0031_0048__IN_FACT)
      & r_0031_0049__substantially(R_0031_0049__SUBSTANTIALLY)
      & r_0031_0056__Parliament(R_0031_0056__PARLIAMENT)
      & r_0031_0060__the_r_0031_0061__Prime_r_0031_0062__Minister(R_0031_0060__THE_R_0031_0061__PRIME_R_0031_0062__MINISTER)
      & z_0031_5026(Z_0031_5026)
      & r_0031_0007__would_r_0031_0008__be(R_0031_0007__WOULD_R_0031_0008__BE)
      & has_arg0(R_0031_0007__WOULD_R_0031_0008__BE,R_0031_0017__WOULD_R_0031_0018__REACH)
      & r_0031_0017__would_r_0031_0018__reach(R_0031_0017__WOULD_R_0031_0018__REACH)
      & has_arg1(R_0031_0017__WOULD_R_0031_0018__REACH,R_0031_0019__ANY_R_0031_0020__CONCLUSION)
      & r_0031_0019__any_r_0031_0020__conclusion(R_0031_0019__ANY_R_0031_0020__CONCLUSION)
      & has_attrib(R_0031_0019__ANY_R_0031_0020__CONCLUSION,R_0031_0021__OTHER)
      & r_0031_0021__other(R_0031_0021__OTHER)
      & has_r_0031_0022__than(R_0031_0021__OTHER,R_0031_0041__AND)
      & r_0031_0041__and(R_0031_0041__AND)
      & has_conj2(R_0031_0041__AND,R_0031_0047__WAS_R_0031_0050__MOTIVATED)
      & r_0031_0047__was_r_0031_0050__motivated(R_0031_0047__WAS_R_0031_0050__MOTIVATED)
      & has_r_0031_0051__by_arg0(R_0031_0047__WAS_R_0031_0050__MOTIVATED,R_0031_0052__A_R_0031_0053__DESIRE)
      & r_0031_0052__a_r_0031_0053__desire(R_0031_0052__A_R_0031_0053__DESIRE)
      & has_emb(R_0031_0052__A_R_0031_0053__DESIRE,R_0031_0055__OBSTRUCT)
      & r_0031_0055__obstruct(R_0031_0055__OBSTRUCT)
      & has_arg0(R_0031_0055__OBSTRUCT,Z_0031_5026)
      & has_r_0031_0057__from__nim(R_0031_0055__OBSTRUCT,R_0031_0058__INTERFERING)
      & r_0031_0058__interfering(R_0031_0058__INTERFERING)
      & has_r_0031_0059__with__clr(R_0031_0058__INTERFERING,R_0031_0064__PLANS)
      & r_0031_0064__plans(R_0031_0064__PLANS)
      & has_gen(R_0031_0064__PLANS,R_0031_0060__THE_R_0031_0061__PRIME_R_0031_0062__MINISTER)
      & has_arg0(R_0031_0058__INTERFERING,R_0031_0056__PARLIAMENT)
      & has_arg1(R_0031_0055__OBSTRUCT,R_0031_0056__PARLIAMENT)
      & has_nim(R_0031_0047__WAS_R_0031_0050__MOTIVATED,R_0031_0049__SUBSTANTIALLY)
      & has_arg1(R_0031_0047__WAS_R_0031_0050__MOTIVATED,R_0031_0045__THE_R_0031_0046__DECISION)
      & has_nim(R_0031_0047__WAS_R_0031_0050__MOTIVATED,R_0031_0048__IN_FACT)
      & has_conj1(R_0031_0041__AND,R_0031_0033__MUST_R_0031_0034__BE)
      & r_0031_0033__must_r_0031_0034__be(R_0031_0033__MUST_R_0031_0034__BE)
      & has_prd(R_0031_0033__MUST_R_0031_0034__BE,R_0031_0039__INCOMPLETE)
      & r_0031_0039__incomplete(R_0031_0039__INCOMPLETE)
      & has_qual(R_0031_0039__INCOMPLETE,R_0031_0038__MATERIALLY)
      & has_nim(R_0031_0033__MUST_R_0031_0034__BE,R_0031_0036__AT_BEST)
      & has_arg0(R_0031_0033__MUST_R_0031_0034__BE,R_0031_0027__THE_R_0031_0030__PROGRAMME_R_0031_0032__EXPLANATION)
      & r_0031_0027__the_r_0031_0030__programme_r_0031_0032__explanation(R_0031_0027__THE_R_0031_0030__PROGRAMME_R_0031_0032__EXPLANATION)
      & has_attrib(R_0031_0027__THE_R_0031_0030__PROGRAMME_R_0031_0032__EXPLANATION,R_0031_0029__LEGISLATIVE)
      & has_arg0(R_0031_0017__WOULD_R_0031_0018__REACH,R_0031_0012__A_R_0031_0013__COURT)
      & r_0031_0012__a_r_0031_0013__court(R_0031_0012__A_R_0031_0013__COURT)
      & has_r_0031_0014__in(R_0031_0012__A_R_0031_0013__COURT,R_0031_0015__THESE_R_0031_0016__CIRCUMSTANCES)
      & has_prd(R_0031_0007__WOULD_R_0031_0008__BE,R_0031_0010__INCONCEIVABLE)
      & r_0031_0010__inconceivable(R_0031_0010__INCONCEIVABLE)
      & has_qual(R_0031_0010__INCONCEIVABLE,R_0031_0009__ALL_BUT)
      & has_r_0031_0001__In__nim(R_0031_0007__WOULD_R_0031_0008__BE,R_0031_0002__ANY_R_0031_0004__CASE)
      & r_0031_0002__any_r_0031_0004__case(R_0031_0002__ANY_R_0031_0004__CASE)
      & has_attrib(R_0031_0002__ANY_R_0031_0004__CASE,R_0031_0003__NORMAL) ) ).