TSPC 29_a_major

29_a_major_case
That debate concluded with the House passing a Humble Address calling for the supply of all correspondence and other communications concerning prorogation sent or received by certain specified individuals since 23 July 2019 -LCB- HC Deb vol 664 col 559 -RCB-.

( (IP-MAT (NP-SBJ (D That;{that})
                  (N debate;{debate}))
          (VBD;__ concluded;{conclude})
          (PP-NIM (P-ROLE with;{with})
                  (NP (D the;{the})
                      (NPR House;{House})
                      (IP-PPL (VAG;__ passing;{pass})
                              (NP-OB1 (D a;{a})
                                      (ADJP (ADJ Humble;{humble}))
                                      (N Address;{address})
                                      (IP-PPL (VAG;__ calling;{call})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (N supply;{supply})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (Q all;{all})
                                                                  (NLYR (NLYR (N correspondence;{correspondence}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (ADJP (ADJ other;{other}))
                                                                                     (NS communications;{communication}))))
                                                                  (IP-PPL (VAG;__ concerning;{concern})
                                                                          (NP-OB1 (N prorogation;{prorogation})))
                                                                  (IP-PPL (ILYR (ILYR (VVN;__ sent;{send}))
                                                                                (CONJP (CONJ or;{or})
                                                                                       (ILYR (VVN;__ received;{receive}))))
                                                                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                  (NP (ADJP (ADJ certain;{certain}))
                                                                                      (IP-PPL (NP-LGS *)
                                                                                              (VVN;__ specified;{specify}))
                                                                                      (NS individuals;{individual})))
                                                                          (PP-NIM (P-ROLE since;{since})
                                                                                  (NP (NPR 23)
                                                                                      (NPR July;{July})
                                                                                      (NPR 2019)))))))))))))
          (META (PULB -LCB-)
                (NP (N HC;{hc})
                    (NPR Deb;{Deb})
                    (N vol;{vol})
                    (NUM 664)
                    (N col;{col})
                    (NUM 559))
                (PURB -RCB-))
          (PUNC .))
  (ID 29_a_major_case))

arc(r_0029_0003__concluded,r_0029_0001__That_r_0029_0002__debate,arg0).
arc(r_0029_0003__concluded,r_0029_0005__the_r_0029_0006__House,r_0029_0004__with__nim).
arc(r_0029_0007__passing,r_0029_0005__the_r_0029_0006__House,inv_arg0).
arc(r_0029_0007__passing,r_0029_0008__a_r_0029_0010__Address,arg1).
arc(r_0029_0008__a_r_0029_0010__Address,r_0029_0009__Humble,attrib).
arc(r_0029_0011__calling,r_0029_0008__a_r_0029_0010__Address,inv_arg0).
arc(r_0029_0011__calling,r_0029_0013__the_r_0029_0014__supply,r_0029_0012__for__clr).
arc(r_0029_0013__the_r_0029_0014__supply,r_0029_0018__and,r_0029_0015__of).
arc(r_0029_0016__all__quant,r_0029_0013__the_r_0029_0014__supply,scope).
arc(r_0029_0016__all__quant,r_0029_0018__and,restriction).
arc(r_0029_0018__and,r_0029_0017__correspondence,conj1).
arc(r_0029_0018__and,r_0029_0020__communications,conj2).
arc(r_0029_0020__communications,r_0029_0019__other,attrib).
arc(r_0029_0021__concerning,r_0029_0018__and,inv_arg0).
arc(r_0029_0021__concerning,r_0029_0022__prorogation,arg1).
arc(r_0029_0023__sent,r_0029_0018__and,inv_arg1).
arc(r_0029_0023__sent,r_0029_0029__individuals,r_0029_0026__by_arg0).
arc(r_0029_0023__sent,r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019,r_0029_0030__since__nim).
arc(r_0029_0024__or,r_0029_0023__sent,conj1).
arc(r_0029_0024__or,r_0029_0025__received,conj2).
arc(r_0029_0025__received,r_0029_0018__and,inv_arg1).
arc(r_0029_0025__received,r_0029_0029__individuals,r_0029_0026__by_arg0).
arc(r_0029_0025__received,r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019,r_0029_0030__since__nim).
arc(r_0029_0028__specified,r_0029_0029__individuals,inv_arg1).
arc(r_0029_0028__specified,z_0029_5011___star_,arg0).
arc(r_0029_0029__individuals,r_0029_0027__certain,attrib).

fof(formula,axiom,
    ? [R_0029_0001__THAT_R_0029_0002__DEBATE,R_0029_0009__HUMBLE,R_0029_0017__CORRESPONDENCE,R_0029_0019__OTHER,R_0029_0020__COMMUNICATIONS,R_0029_0022__PROROGATION,R_0029_0021__CONCERNING,Z_0029_5011___STAR_,R_0029_0028__SPECIFIED,R_0029_0027__CERTAIN,R_0029_0029__INDIVIDUALS,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019,R_0029_0023__SENT,R_0029_0025__RECEIVED,R_0029_0018__AND,R_0029_0013__THE_R_0029_0014__SUPPLY,R_0029_0011__CALLING,R_0029_0008__A_R_0029_0010__ADDRESS,R_0029_0007__PASSING,R_0029_0005__THE_R_0029_0006__HOUSE,R_0029_0003__CONCLUDED,R_0029_0024__OR] :
      ( r_0029_0001__That_r_0029_0002__debate(R_0029_0001__THAT_R_0029_0002__DEBATE)
      & r_0029_0009__Humble(R_0029_0009__HUMBLE)
      & r_0029_0017__correspondence(R_0029_0017__CORRESPONDENCE)
      & r_0029_0019__other(R_0029_0019__OTHER)
      & r_0029_0022__prorogation(R_0029_0022__PROROGATION)
      & r_0029_0027__certain(R_0029_0027__CERTAIN)
      & r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019(R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
      & z_0029_5011___star_(Z_0029_5011___STAR_)
      & r_0029_0024__or(R_0029_0024__OR)
      & has_conj2(R_0029_0024__OR,R_0029_0025__RECEIVED)
      & r_0029_0025__received(R_0029_0025__RECEIVED)
      & has_r_0029_0030__since__nim(R_0029_0025__RECEIVED,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
      & has_r_0029_0026__by_arg0(R_0029_0025__RECEIVED,R_0029_0029__INDIVIDUALS)
      & r_0029_0029__individuals(R_0029_0029__INDIVIDUALS)
      & has_attrib(R_0029_0029__INDIVIDUALS,R_0029_0027__CERTAIN)
      & has_inv_arg1(R_0029_0029__INDIVIDUALS,R_0029_0028__SPECIFIED)
      & r_0029_0028__specified(R_0029_0028__SPECIFIED)
      & has_arg0(R_0029_0028__SPECIFIED,Z_0029_5011___STAR_)
      & has_conj1(R_0029_0024__OR,R_0029_0023__SENT)
      & r_0029_0023__sent(R_0029_0023__SENT)
      & has_r_0029_0030__since__nim(R_0029_0023__SENT,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
      & has_r_0029_0026__by_arg0(R_0029_0023__SENT,R_0029_0029__INDIVIDUALS)
      & ( r_0029_0018__and(R_0029_0018__AND)
       => r_0029_0011__calling(R_0029_0011__CALLING) )
      & r_0029_0003__concluded(R_0029_0003__CONCLUDED)
      & has_r_0029_0004__with__nim(R_0029_0003__CONCLUDED,R_0029_0005__THE_R_0029_0006__HOUSE)
      & r_0029_0005__the_r_0029_0006__House(R_0029_0005__THE_R_0029_0006__HOUSE)
      & has_inv_arg0(R_0029_0005__THE_R_0029_0006__HOUSE,R_0029_0007__PASSING)
      & r_0029_0007__passing(R_0029_0007__PASSING)
      & has_arg1(R_0029_0007__PASSING,R_0029_0008__A_R_0029_0010__ADDRESS)
      & r_0029_0008__a_r_0029_0010__Address(R_0029_0008__A_R_0029_0010__ADDRESS)
      & has_inv_arg0(R_0029_0008__A_R_0029_0010__ADDRESS,R_0029_0011__CALLING)
      & r_0029_0011__calling(R_0029_0011__CALLING)
      & has_r_0029_0012__for__clr(R_0029_0011__CALLING,R_0029_0013__THE_R_0029_0014__SUPPLY)
      & r_0029_0013__the_r_0029_0014__supply(R_0029_0013__THE_R_0029_0014__SUPPLY)
      & has_r_0029_0015__of(R_0029_0013__THE_R_0029_0014__SUPPLY,R_0029_0018__AND)
      & r_0029_0018__and(R_0029_0018__AND)
      & has_inv_arg1(R_0029_0018__AND,R_0029_0025__RECEIVED)
      & has_inv_arg1(R_0029_0018__AND,R_0029_0023__SENT)
      & has_inv_arg0(R_0029_0018__AND,R_0029_0021__CONCERNING)
      & r_0029_0021__concerning(R_0029_0021__CONCERNING)
      & has_arg1(R_0029_0021__CONCERNING,R_0029_0022__PROROGATION)
      & has_conj2(R_0029_0018__AND,R_0029_0020__COMMUNICATIONS)
      & r_0029_0020__communications(R_0029_0020__COMMUNICATIONS)
      & has_attrib(R_0029_0020__COMMUNICATIONS,R_0029_0019__OTHER)
      & has_conj1(R_0029_0018__AND,R_0029_0017__CORRESPONDENCE)
      & has_attrib(R_0029_0008__A_R_0029_0010__ADDRESS,R_0029_0009__HUMBLE)
      & has_arg0(R_0029_0003__CONCLUDED,R_0029_0001__THAT_R_0029_0002__DEBATE) ) ).