TSPC 24_a_major

24_a_major_case
This Session has lasted longer than any in the last 400 years, and there will be ample opportunity to debate the Brexit deal in this House after 17 October if this Government are allowed to get on and deliver a deal.” -LCB- HC Deb vol 664 col 170 -RCB-

arc(r_0024_0003__has, r_0024_0004__lasted, scope).
arc(r_0024_0004__lasted, r_0024_0001__This_r_0024_0002__Session, arg0).
arc(r_0024_0004__lasted, r_0024_0005__longer, nim14).
arc(r_0024_0005__longer, r_0024_0007__any, r_0024_0006__than).
arc(r_0024_0007__any, r_0024_0009__the_r_0024_0011__400_r_0024_0012__years, r_0024_0008__in).
arc(r_0024_0009__the_r_0024_0011__400_r_0024_0012__years, r_0024_0010__last, attrib29).
arc(r_0024_0014__and, r_0024_0003__has, conj1).
arc(r_0024_0014__and, r_0024_0031__if, conj2).
arc(r_0024_0015__there_r_0024_0016__will, r_0024_0017__be, scope).
arc(r_0024_0017__be, r_0024_0019__opportunity, arg0).
arc(r_0024_0019__opportunity, r_0024_0018__ample, attrib50).
arc(r_0024_0019__opportunity, r_0024_0020__to_r_0024_0021__debate, emb55).
arc(r_0024_0020__to_r_0024_0021__debate, r_0024_0022__the_r_0024_0023__Brexit_r_0024_0024__deal, arg1).
arc(r_0024_0020__to_r_0024_0021__debate, r_0024_0026__this_r_0024_0027__House, r_0024_0025__in_nim70).
arc(r_0024_0020__to_r_0024_0021__debate, r_0024_0029__17_r_0024_0030__October, r_0024_0028__after_nim78).
arc(r_0024_0020__to_r_0024_0021__debate, z_000_24_a_major_case_55, arg0).
arc(r_0024_0031__if, r_0024_0015__there_r_0024_0016__will, scope).
arc(r_0024_0031__if, r_0024_0034__are, restriction).
arc(r_0024_0034__are, r_0024_0035__allowed, scope).
arc(r_0024_0035__allowed, r_0024_0039__and, arg1).
arc(r_0024_0035__allowed, z_000_24_a_major_case_95, arg0).
arc(r_0024_0037__get_r_0024_0038__on, r_0024_0032__this_r_0024_0033__Government, arg0).
arc(r_0024_0039__and, r_0024_0037__get_r_0024_0038__on, conj1).
arc(r_0024_0039__and, r_0024_0040__deliver, conj2).
arc(r_0024_0040__deliver, r_0024_0032__this_r_0024_0033__Government, arg0).
arc(r_0024_0040__deliver, r_0024_0041__a_r_0024_0042__deal, arg1).

fof(formula,axiom,
    ? [R_24_14_AND,R_24_3_HAS_LASTED,R_24_1_THIS_SESSION,R_24_5_LONGER,R_24_7_ANY,R_24_9_THE_400_YEARS,R_24_10_LAST] :
      ( this_Session(R_24_1_THIS_SESSION)
      & last(R_24_10_LAST)
      & ! [R_24_34_ARE_ALLOWED,Z_24_A_MAJOR_CASE_95,R_24_39_AND,R_24_37_GET_ON,R_24_40_DELIVER,R_24_32_THIS_GOVERNMENT,R_24_41_A_DEAL] :
          ( ( this_Government(R_24_32_THIS_GOVERNMENT)
            & a_deal(R_24_41_A_DEAL)
            & are_allowed(R_24_34_ARE_ALLOWED,Z_24_A_MAJOR_CASE_95,R_24_39_AND)
            & and(R_24_39_AND)
            & conj1(R_24_39_AND,R_24_37_GET_ON)
            & get_on(R_24_37_GET_ON,R_24_32_THIS_GOVERNMENT)
            & conj2(R_24_39_AND,R_24_40_DELIVER)
            & deliver(R_24_40_DELIVER,R_24_32_THIS_GOVERNMENT,R_24_41_A_DEAL) )
         => ? [R_24_15_THERE_WILL_BE,R_24_19_OPPORTUNITY,R_24_18_AMPLE,R_24_20_TO_DEBATE,Z_24_A_MAJOR_CASE_55,R_24_22_THE_BREXIT_DEAL,R_24_26_THIS_HOUSE,R_24_29_17_OCTOBER] :
              ( ample(R_24_18_AMPLE)
              & the_Brexit_deal(R_24_22_THE_BREXIT_DEAL)
              & this_House(R_24_26_THIS_HOUSE)
              & 17_October(R_24_29_17_OCTOBER)
              & there_will_be(R_24_15_THERE_WILL_BE,R_24_19_OPPORTUNITY)
              & opportunity(R_24_19_OPPORTUNITY)
              & attrib50(R_24_19_OPPORTUNITY,R_24_18_AMPLE)
              & emb55(R_24_19_OPPORTUNITY,R_24_20_TO_DEBATE)
              & to_debate(R_24_20_TO_DEBATE,Z_24_A_MAJOR_CASE_55,R_24_22_THE_BREXIT_DEAL)
              & in_nim70(R_24_20_TO_DEBATE,R_24_26_THIS_HOUSE)
              & after_nim78(R_24_20_TO_DEBATE,R_24_29_17_OCTOBER) ) )
      & conj2(CONJ2)
      & and(R_24_14_AND)
      & conj1(R_24_14_AND,R_24_3_HAS_LASTED)
      & has_lasted(R_24_3_HAS_LASTED,R_24_1_THIS_SESSION)
      & nim14(R_24_3_HAS_LASTED,R_24_5_LONGER)
      & longer(R_24_5_LONGER)
      & than(R_24_5_LONGER,R_24_7_ANY)
      & any(R_24_7_ANY)
      & in(R_24_7_ANY,R_24_9_THE_400_YEARS)
      & the_400_years(R_24_9_THE_400_YEARS)
      & attrib29(R_24_9_THE_400_YEARS,R_24_10_LAST) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D This;{this})
                              (N Session;{session}))
                      (HVP;_cat_Ve_ has;{have})
                      (IP-PPL-CAT (VVN;__ lasted;{last})
                                  (ADVP-NIM (ADVR longer;{longer})
                                            (PP (P-ROLE than;{than})
                                                (NP (D;_nphd_ any;{any})
                                                    (PP (P-ROLE in;{in})
                                                        (NP (D the;{the})
                                                            (ADJP (ADJ last;{last}))
                                                            (NUM 400)
                                                            (NS years;{year}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (EX there;{there})
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (BE;_ex_V_ be;{be})
                                         (NP-ESBJ (ADJP (ADJ ample;{ample}))
                                                  (N opportunity;{opportunity})
                                                  (IP-INF (TO to;{to})
                                                          (VB;__ debate;{debate})
                                                          (NP-OB1 (D the;{the})
                                                                  (NPR Brexit;{Brexit})
                                                                  (N deal;{deal}))
                                                          (PP-NIM (P-ROLE in;{in})
                                                                  (NP (D this;{this})
                                                                      (NPR House;{House})))
                                                          (PP-NIM (P-ROLE after;{after})
                                                                  (NP (NUM 17)
                                                                      (NPR October;{October}))))))
                             (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ (D this;{this})
                                                      (N Government;{government}))
                                              (BEP;_cat_VePASS_ are;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tnt_ allowed;{allow})
                                                          (IP-INF-OB1 (TO to;{to})
                                                                      (ILYR (ILYR (VB;__ get;{get})
                                                                                  (RP on;{on}))
                                                                            (CONJP (CONJ and;{and})
                                                                                   (ILYR (VB;__ deliver;{deliver})
                                                                                         (NP-OB1 (D a;{a})
                                                                                                 (N deal;{deal}))))))))))))
          (PUNC .)
          (PURQ <rdquo>)
          (META (PULB -LCB-)
                (NP (N HC;{hc})
                    (N Deb;{deb})
                    (N vol;{vol})
                    (NUM 664)
                    (N col;{col})
                    (NUM 170))
                (PURB -RCB-)))
  (ID 24_a_major_case))