TSPC 3_a_major

3_a_major_case
In summary, he submitted that, looking at the material then available, the inference was inescapable that the Prime Minister's decision was motivated, or in any event substantially motivated, by his political interest in ensuring that there was no activity in Parliament during the period leading up to the EU Council summit on 17 / 18 October 2019.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (N summary;{summary})))
          (PUNC ,)
          (NP-SBJ;{MAJOR} (PRO he;{he}))
          (VBD;_Tf_ submitted;{submit})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PUNC ,)
                              (PP-SCON (IP-PPL3 (VAG;_Ipr_ looking;{look[at]})
                                                (PP-CLR (P-ROLE at;{at})
                                                        (NP (D the;{the})
                                                            (N material;{material})
                                                            (ADJP (ADVP (ADV then;{then}))
                                                                  (ADJ available;{available}))))))
                              (PUNC ,)
                              (NP-SBJ (D the;{the})
                                      (N inference;{inference})
                                      (CP-THT *ICH*-184))
                              (BED;_La_ was;{be})
                              (ADJP-PRD (ADJ inescapable;{inescapable}))
                              (CP-THT-EPD-184 (IP-SUB (C that;{that})
                                                      (NP-SBJ (NP-GEN;{JOHNSON} (D the;{the})
                                                                                (NPR Prime;{Prime})
                                                                                (NPR Minister;{Minister})
                                                                                (GENM <apos>s))
                                                              (N decision;{decision}))
                                                      (BED;_cat_VePASS_ was;{be})
                                                      (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ motivated;{motivate}))
                                                                        (PUNC ,)
                                                                        (CONJP (CONJ or;{or})
                                                                               (ILYR (PP-NIM (P-ROLE in;{in})
                                                                                             (NP (D any;{any})
                                                                                                 (N event;{event})))
                                                                                     (ADVP-NIM (ADV substantially;{substantially}))
                                                                                     (VVN;_Tn_ motivated;{motivate}))))
                                                                  (PUNC ,)
                                                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                          (NP (NP-GEN;{JOHNSON} (PRO;_genm_ his;{his}))
                                                                              (ADJP (ADJ political;{political}))
                                                                              (N interest;{interest})
                                                                              (PP (P-ROLE in;{in})
                                                                                  (IP-PPL3 (VAG;_Tf_ ensuring;{ensure})
                                                                                           (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                                               (EX there;{there})
                                                                                                               (BED;_ex_V_ was;{be})
                                                                                                               (NP-ESBJ (Q no;{no})
                                                                                                                        (N activity;{activity})
                                                                                                                        (PP (P-ROLE in;{in})
                                                                                                                            (NP (NPR Parliament;{Parliament}))))
                                                                                                               (PP-NIM (P-ROLE during;{during})
                                                                                                                       (NP (D the;{the})
                                                                                                                           (N period;{period})
                                                                                                                           (IP-PPL (VAG;_Ipr_ leading;{lead[up_to]})
                                                                                                                                   (PP-CLR (P-ROLE up_to;{up_to})
                                                                                                                                           (NP (D the;{the})
                                                                                                                                               (NPR EU;{EU})
                                                                                                                                               (NPR Council;{Council})
                                                                                                                                               (N summit;{summit})
                                                                                                                                               (PP (P-ROLE on;{on})
                                                                                                                                                   (NP (NPR 17)
                                                                                                                                                       (PUNC <sol>)
                                                                                                                                                       (NPR 18)
                                                                                                                                                       (NPR October;{October})
                                                                                                                                                       (NPR 2019)))))))))))))))))))
          (PUNC .))
  (ID 3_a_major_case))

arc(r_0003_0005__submitted,r_0003_0002__summary,r_0003_0001__In__nim).
arc(r_0003_0005__submitted,r_0003_0004__he,arg0).
arc(r_0003_0005__submitted,z_0003_5003,arg1).
arc(r_0003_0008__looking_r_0003_0009__at,r_0003_0010__the_r_0003_0011__material,arg1).
arc(r_0003_0008__looking_r_0003_0009__at,z_0003_5006,arg0).
arc(r_0003_0010__the_r_0003_0011__material,r_0003_0013__available,attrib).
arc(r_0003_0013__available,r_0003_0012__then,qual).
arc(r_0003_0015__the_r_0003_0016__inference,r_0003_0025__was,emb).
arc(r_0003_0017__was,r_0003_0015__the_r_0003_0016__inference,arg0).
arc(r_0003_0017__was,r_0003_0018__inescapable,prd).
arc(r_0003_0024__decision,r_0003_0020__the_r_0003_0021__Prime_r_0003_0022__Minister,gen).
arc(r_0003_0025__was,r_0003_0028__or,scope).
arc(r_0003_0026__motivated,r_0003_0024__decision,arg1).
arc(r_0003_0026__motivated,r_0003_0038__interest,r_0003_0035__by_arg0).
arc(r_0003_0028__or,r_0003_0026__motivated,conj1).
arc(r_0003_0028__or,r_0003_0033__motivated,conj2).
arc(r_0003_0033__motivated,r_0003_0024__decision,arg1).
arc(r_0003_0033__motivated,r_0003_0030__any_r_0003_0031__event,r_0003_0029__in__nim).
arc(r_0003_0033__motivated,r_0003_0032__substantially,nim).
arc(r_0003_0033__motivated,r_0003_0038__interest,r_0003_0035__by_arg0).
arc(r_0003_0038__interest,r_0003_0020__the_r_0003_0021__Prime_r_0003_0022__Minister,gen).
arc(r_0003_0038__interest,r_0003_0037__political,attrib).
arc(r_0003_0038__interest,r_0003_0040__ensuring,r_0003_0039__in).
arc(r_0003_0040__ensuring,r_0003_0044__no__quant,arg1).
arc(r_0003_0040__ensuring,z_0003_5018,arg0).
arc(r_0003_0043__was,r_0003_0045__activity,arg0).
arc(r_0003_0043__was,r_0003_0049__the_r_0003_0050__period,r_0003_0048__during__nim).
arc(r_0003_0044__no__quant,r_0003_0043__was,scope).
arc(r_0003_0044__no__quant,r_0003_0045__activity,restriction).
arc(r_0003_0045__activity,r_0003_0047__Parliament,r_0003_0046__in).
arc(r_0003_0051__leading_r_0003_0052__up_to,r_0003_0049__the_r_0003_0050__period,inv_arg0).
arc(r_0003_0051__leading_r_0003_0052__up_to,r_0003_0053__the_r_0003_0054__EU_r_0003_0055__Council_r_0003_0056__summit,arg1).
arc(r_0003_0053__the_r_0003_0054__EU_r_0003_0055__Council_r_0003_0056__summit,r_0003_0058__17_r_0003_0060__18_r_0003_0061__October_r_0003_0062__2019,r_0003_0057__on).
arc(z_0003_5003,r_0003_0008__looking_r_0003_0009__at,restriction).
arc(z_0003_5003,r_0003_0017__was,scope).

fof(formula,axiom,
    ? [R_0003_0002__SUMMARY,R_0003_0004__HE,R_0003_0012__THEN,R_0003_0013__AVAILABLE,R_0003_0010__THE_R_0003_0011__MATERIAL,Z_0003_5006,R_0003_0008__LOOKING_R_0003_0009__AT,R_0003_0020__THE_R_0003_0021__PRIME_R_0003_0022__MINISTER,R_0003_0024__DECISION,R_0003_0037__POLITICAL,Z_0003_5018,R_0003_0040__ENSURING,R_0003_0038__INTEREST,R_0003_0026__MOTIVATED,R_0003_0030__ANY_R_0003_0031__EVENT,R_0003_0032__SUBSTANTIALLY,R_0003_0033__MOTIVATED,R_0003_0028__OR,R_0003_0025__WAS,R_0003_0015__THE_R_0003_0016__INFERENCE,R_0003_0018__INESCAPABLE,R_0003_0017__WAS,Z_0003_5003,R_0003_0005__SUBMITTED] :
      ( r_0003_0002__summary(R_0003_0002__SUMMARY)
      & r_0003_0004__he(R_0003_0004__HE)
      & r_0003_0012__then(R_0003_0012__THEN)
      & r_0003_0018__inescapable(R_0003_0018__INESCAPABLE)
      & r_0003_0020__the_r_0003_0021__Prime_r_0003_0022__Minister(R_0003_0020__THE_R_0003_0021__PRIME_R_0003_0022__MINISTER)
      & r_0003_0030__any_r_0003_0031__event(R_0003_0030__ANY_R_0003_0031__EVENT)
      & r_0003_0032__substantially(R_0003_0032__SUBSTANTIALLY)
      & r_0003_0037__political(R_0003_0037__POLITICAL)
      & z_0003_5006(Z_0003_5006)
      & z_0003_5018(Z_0003_5018)
      & r_0003_0005__submitted(R_0003_0005__SUBMITTED)
      & has_arg1(R_0003_0005__SUBMITTED,Z_0003_5003)
      & z_0003_5003(Z_0003_5003)
      & has_conj2(Z_0003_5003,R_0003_0017__WAS)
      & r_0003_0017__was(R_0003_0017__WAS)
      & has_prd(R_0003_0017__WAS,R_0003_0018__INESCAPABLE)
      & has_arg0(R_0003_0017__WAS,R_0003_0015__THE_R_0003_0016__INFERENCE)
      & r_0003_0015__the_r_0003_0016__inference(R_0003_0015__THE_R_0003_0016__INFERENCE)
      & has_emb(R_0003_0015__THE_R_0003_0016__INFERENCE,R_0003_0025__WAS)
      & r_0003_0025__was(R_0003_0025__WAS)
      & has_keep_scope(R_0003_0025__WAS,R_0003_0028__OR)
      & r_0003_0028__or(R_0003_0028__OR)
      & has_conj2(R_0003_0028__OR,R_0003_0033__MOTIVATED)
      & r_0003_0033__motivated(R_0003_0033__MOTIVATED)
      & has_r_0003_0035__by_arg0(R_0003_0033__MOTIVATED,R_0003_0038__INTEREST)
      & r_0003_0038__interest(R_0003_0038__INTEREST)
      & has_r_0003_0039__in(R_0003_0038__INTEREST,R_0003_0040__ENSURING)
      & r_0003_0040__ensuring(R_0003_0040__ENSURING)
      & has_arg0(R_0003_0040__ENSURING,Z_0003_5018)
      & ! [R_0003_0045__ACTIVITY,R_0003_0047__PARLIAMENT] :
          ( ( r_0003_0047__Parliament(R_0003_0047__PARLIAMENT)
            & r_0003_0045__activity(R_0003_0045__ACTIVITY)
            & has_r_0003_0046__in(R_0003_0045__ACTIVITY,R_0003_0047__PARLIAMENT) )
         => ? [R_0003_0058__17_R_0003_0060__18_R_0003_0061__OCTOBER_R_0003_0062__2019,R_0003_0053__THE_R_0003_0054__EU_R_0003_0055__COUNCIL_R_0003_0056__SUMMIT,R_0003_0051__LEADING_R_0003_0052__UP_TO,R_0003_0049__THE_R_0003_0050__PERIOD,R_0003_0043__WAS] :
              ( r_0003_0058__17_r_0003_0060__18_r_0003_0061__October_r_0003_0062__2019(R_0003_0058__17_R_0003_0060__18_R_0003_0061__OCTOBER_R_0003_0062__2019)
              & r_0003_0043__was(R_0003_0043__WAS)
              & has_r_0003_0048__during__nim(R_0003_0043__WAS,R_0003_0049__THE_R_0003_0050__PERIOD)
              & r_0003_0049__the_r_0003_0050__period(R_0003_0049__THE_R_0003_0050__PERIOD)
              & has_inv_arg0(R_0003_0049__THE_R_0003_0050__PERIOD,R_0003_0051__LEADING_R_0003_0052__UP_TO)
              & r_0003_0051__leading_r_0003_0052__up_to(R_0003_0051__LEADING_R_0003_0052__UP_TO)
              & has_arg1(R_0003_0051__LEADING_R_0003_0052__UP_TO,R_0003_0053__THE_R_0003_0054__EU_R_0003_0055__COUNCIL_R_0003_0056__SUMMIT)
              & r_0003_0053__the_r_0003_0054__EU_r_0003_0055__Council_r_0003_0056__summit(R_0003_0053__THE_R_0003_0054__EU_R_0003_0055__COUNCIL_R_0003_0056__SUMMIT)
              & has_r_0003_0057__on(R_0003_0053__THE_R_0003_0054__EU_R_0003_0055__COUNCIL_R_0003_0056__SUMMIT,R_0003_0058__17_R_0003_0060__18_R_0003_0061__OCTOBER_R_0003_0062__2019)
              & has_arg0(R_0003_0043__WAS,R_0003_0045__ACTIVITY) ) )
      & has_attrib(R_0003_0038__INTEREST,R_0003_0037__POLITICAL)
      & has_gen(R_0003_0038__INTEREST,R_0003_0020__THE_R_0003_0021__PRIME_R_0003_0022__MINISTER)
      & has_nim(R_0003_0033__MOTIVATED,R_0003_0032__SUBSTANTIALLY)
      & has_r_0003_0029__in__nim(R_0003_0033__MOTIVATED,R_0003_0030__ANY_R_0003_0031__EVENT)
      & has_arg1(R_0003_0033__MOTIVATED,R_0003_0024__DECISION)
      & r_0003_0024__decision(R_0003_0024__DECISION)
      & has_gen(R_0003_0024__DECISION,R_0003_0020__THE_R_0003_0021__PRIME_R_0003_0022__MINISTER)
      & has_conj1(R_0003_0028__OR,R_0003_0026__MOTIVATED)
      & r_0003_0026__motivated(R_0003_0026__MOTIVATED)
      & has_r_0003_0035__by_arg0(R_0003_0026__MOTIVATED,R_0003_0038__INTEREST)
      & has_arg1(R_0003_0026__MOTIVATED,R_0003_0024__DECISION)
      & has_conj1(Z_0003_5003,R_0003_0008__LOOKING_R_0003_0009__AT)
      & r_0003_0008__looking_r_0003_0009__at(R_0003_0008__LOOKING_R_0003_0009__AT)
      & has_arg0(R_0003_0008__LOOKING_R_0003_0009__AT,Z_0003_5006)
      & has_arg1(R_0003_0008__LOOKING_R_0003_0009__AT,R_0003_0010__THE_R_0003_0011__MATERIAL)
      & r_0003_0010__the_r_0003_0011__material(R_0003_0010__THE_R_0003_0011__MATERIAL)
      & has_attrib(R_0003_0010__THE_R_0003_0011__MATERIAL,R_0003_0013__AVAILABLE)
      & r_0003_0013__available(R_0003_0013__AVAILABLE)
      & has_qual(R_0003_0013__AVAILABLE,R_0003_0012__THEN)
      & has_arg0(R_0003_0005__SUBMITTED,R_0003_0004__HE)
      & has_r_0003_0001__In__nim(R_0003_0005__SUBMITTED,R_0003_0002__SUMMARY) ) ).