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-

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

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,nim).
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,attrib).
arc(r_0024_0014__and,r_0024_0003__has,conj1).
arc(r_0024_0014__and,r_0024_0031__if,conj2).
arc(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,attrib).
arc(r_0024_0019__opportunity,r_0024_0021__debate,emb).
arc(r_0024_0021__debate,r_0024_0022__the_r_0024_0023__Brexit_r_0024_0024__deal,arg1).
arc(r_0024_0021__debate,r_0024_0026__this_r_0024_0027__House,r_0024_0025__in__nim).
arc(r_0024_0021__debate,r_0024_0029__17_r_0024_0030__October,r_0024_0028__after__nim).
arc(r_0024_0021__debate,z_0024_5024,arg0).
arc(r_0024_0031__if,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_0024_5016___star_,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_0024_0001__THIS_R_0024_0002__SESSION,R_0024_0010__LAST,R_0024_0009__THE_R_0024_0011__400_R_0024_0012__YEARS,R_0024_0007__ANY,R_0024_0005__LONGER,R_0024_0003__HAS_R_0024_0004__LASTED,R_0024_0014__AND] :
      ( r_0024_0001__This_r_0024_0002__Session(R_0024_0001__THIS_R_0024_0002__SESSION)
      & r_0024_0010__last(R_0024_0010__LAST)
      & r_0024_0014__and(R_0024_0014__AND)
      & ! [R_0024_0034__ARE_R_0024_0035__ALLOWED,R_0024_0032__THIS_R_0024_0033__GOVERNMENT,R_0024_0037__GET_R_0024_0038__ON,R_0024_0041__A_R_0024_0042__DEAL,R_0024_0040__DELIVER,R_0024_0039__AND,Z_0024_5016___STAR_] :
          ( ( r_0024_0032__this_r_0024_0033__Government(R_0024_0032__THIS_R_0024_0033__GOVERNMENT)
            & r_0024_0041__a_r_0024_0042__deal(R_0024_0041__A_R_0024_0042__DEAL)
            & z_0024_5016___star_(Z_0024_5016___STAR_)
            & r_0024_0034__are_r_0024_0035__allowed(R_0024_0034__ARE_R_0024_0035__ALLOWED)
            & has_arg0(R_0024_0034__ARE_R_0024_0035__ALLOWED,Z_0024_5016___STAR_)
            & has_arg1(R_0024_0034__ARE_R_0024_0035__ALLOWED,R_0024_0039__AND)
            & r_0024_0039__and(R_0024_0039__AND)
            & has_conj2(R_0024_0039__AND,R_0024_0040__DELIVER)
            & r_0024_0040__deliver(R_0024_0040__DELIVER)
            & has_arg1(R_0024_0040__DELIVER,R_0024_0041__A_R_0024_0042__DEAL)
            & has_arg0(R_0024_0040__DELIVER,R_0024_0032__THIS_R_0024_0033__GOVERNMENT)
            & has_conj1(R_0024_0039__AND,R_0024_0037__GET_R_0024_0038__ON)
            & r_0024_0037__get_r_0024_0038__on(R_0024_0037__GET_R_0024_0038__ON)
            & has_arg0(R_0024_0037__GET_R_0024_0038__ON,R_0024_0032__THIS_R_0024_0033__GOVERNMENT) )
         => ? [R_0024_0018__AMPLE,R_0024_0022__THE_R_0024_0023__BREXIT_R_0024_0024__DEAL,R_0024_0026__THIS_R_0024_0027__HOUSE,R_0024_0029__17_R_0024_0030__OCTOBER,Z_0024_5024,R_0024_0021__DEBATE,R_0024_0019__OPPORTUNITY,R_0024_0016__WILL_R_0024_0017__BE] :
              ( r_0024_0018__ample(R_0024_0018__AMPLE)
              & r_0024_0022__the_r_0024_0023__Brexit_r_0024_0024__deal(R_0024_0022__THE_R_0024_0023__BREXIT_R_0024_0024__DEAL)
              & r_0024_0026__this_r_0024_0027__House(R_0024_0026__THIS_R_0024_0027__HOUSE)
              & r_0024_0029__17_r_0024_0030__October(R_0024_0029__17_R_0024_0030__OCTOBER)
              & z_0024_5024(Z_0024_5024)
              & r_0024_0016__will_r_0024_0017__be(R_0024_0016__WILL_R_0024_0017__BE)
              & has_arg0(R_0024_0016__WILL_R_0024_0017__BE,R_0024_0019__OPPORTUNITY)
              & r_0024_0019__opportunity(R_0024_0019__OPPORTUNITY)
              & has_emb(R_0024_0019__OPPORTUNITY,R_0024_0021__DEBATE)
              & r_0024_0021__debate(R_0024_0021__DEBATE)
              & has_arg0(R_0024_0021__DEBATE,Z_0024_5024)
              & has_r_0024_0028__after__nim(R_0024_0021__DEBATE,R_0024_0029__17_R_0024_0030__OCTOBER)
              & has_r_0024_0025__in__nim(R_0024_0021__DEBATE,R_0024_0026__THIS_R_0024_0027__HOUSE)
              & has_arg1(R_0024_0021__DEBATE,R_0024_0022__THE_R_0024_0023__BREXIT_R_0024_0024__DEAL)
              & has_attrib(R_0024_0019__OPPORTUNITY,R_0024_0018__AMPLE) ) )
      & has_conj1(R_0024_0014__AND,R_0024_0003__HAS_R_0024_0004__LASTED)
      & r_0024_0003__has_r_0024_0004__lasted(R_0024_0003__HAS_R_0024_0004__LASTED)
      & has_nim(R_0024_0003__HAS_R_0024_0004__LASTED,R_0024_0005__LONGER)
      & r_0024_0005__longer(R_0024_0005__LONGER)
      & has_r_0024_0006__than(R_0024_0005__LONGER,R_0024_0007__ANY)
      & r_0024_0007__any(R_0024_0007__ANY)
      & has_r_0024_0008__in(R_0024_0007__ANY,R_0024_0009__THE_R_0024_0011__400_R_0024_0012__YEARS)
      & r_0024_0009__the_r_0024_0011__400_r_0024_0012__years(R_0024_0009__THE_R_0024_0011__400_R_0024_0012__YEARS)
      & has_attrib(R_0024_0009__THE_R_0024_0011__400_R_0024_0012__YEARS,R_0024_0010__LAST)
      & has_arg0(R_0024_0003__HAS_R_0024_0004__LASTED,R_0024_0001__THIS_R_0024_0002__SESSION) ) ).