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-.

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_nim12).
arc(r_0029_0007__passing, r_0029_0005__the_r_0029_0006__House, 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, attrib23).
arc(r_0029_0011__calling, r_0029_0008__a_r_0029_0010__Address, arg0).
arc(r_0029_0011__calling, r_0029_0013__the_r_0029_0014__supply, r_0029_0012__for_clr34).
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, attrib53).
arc(r_0029_0021__concerning, r_0029_0018__and, arg0).
arc(r_0029_0021__concerning, r_0029_0022__prorogation, arg1).
arc(r_0029_0023__sent, r_0029_0018__and, arg1).
arc(r_0029_0023__sent, r_0029_0029__individuals, arg0).
arc(r_0029_0023__sent, r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019, r_0029_0030__since_nim92).
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, arg1).
arc(r_0029_0025__received, r_0029_0029__individuals, arg0).
arc(r_0029_0025__received, r_0029_0031__23_r_0029_0032__July_r_0029_0033__2019, r_0029_0030__since_nim92).
arc(r_0029_0028__specified, r_0029_0029__individuals, arg1).
arc(r_0029_0028__specified, z_000_29_a_major_case_83, arg0).
arc(r_0029_0029__individuals, r_0029_0027__certain, attrib79).

fof(formula,axiom,
    ? [R_0029_0001__THAT_R_0029_0002__DEBATE,R_0029_0005__THE_R_0029_0006__HOUSE,R_0029_0003__CONCLUDED,R_0029_0009__HUMBLE,R_0029_0008__A_R_0029_0010__ADDRESS,R_0029_0007__PASSING,R_0029_0027__CERTAIN,R_0029_0029__INDIVIDUALS,Z_000_29_A_MAJOR_CASE_83,R_0029_0028__SPECIFIED] :
      ( r_0029_0001__That_r_0029_0002__debate(R_0029_0001__THAT_R_0029_0002__DEBATE)
      & r_0029_0005__the_r_0029_0006__House(R_0029_0005__THE_R_0029_0006__HOUSE)
      & r_0029_0009__Humble(R_0029_0009__HUMBLE)
      & r_0029_0027__certain(R_0029_0027__CERTAIN)
      & z_000_29_a_major_case_83(Z_000_29_A_MAJOR_CASE_83)
      & r_0029_0028__specified(R_0029_0028__SPECIFIED)
      & has_arg0(R_0029_0028__SPECIFIED,Z_000_29_A_MAJOR_CASE_83)
      & has_arg1(R_0029_0028__SPECIFIED,R_0029_0029__INDIVIDUALS)
      & r_0029_0029__individuals(R_0029_0029__INDIVIDUALS)
      & has_attrib79(R_0029_0029__INDIVIDUALS,R_0029_0027__CERTAIN)
      & ! [R_0029_0018__AND,R_0029_0017__CORRESPONDENCE,R_0029_0019__OTHER,R_0029_0020__COMMUNICATIONS,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019,R_0029_0023__SENT,R_0029_0025__RECEIVED,R_0029_0024__OR,R_0029_0022__PROROGATION,R_0029_0021__CONCERNING,R_0029_0021__CONCERNING__AND__R_0029_0024__OR] :
          ( ( 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_0031__23_r_0029_0032__July_r_0029_0033__2019(R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
            & r_0029_0021__concerning__and__r_0029_0024__or(R_0029_0021__CONCERNING__AND__R_0029_0024__OR)
            & has_conj1(R_0029_0021__CONCERNING__AND__R_0029_0024__OR,R_0029_0021__CONCERNING)
            & r_0029_0021__concerning(R_0029_0021__CONCERNING)
            & has_arg1(R_0029_0021__CONCERNING,R_0029_0022__PROROGATION)
            & has_arg0(R_0029_0021__CONCERNING,R_0029_0018__AND)
            & r_0029_0018__and(R_0029_0018__AND)
            & has_conj2(R_0029_0018__AND,R_0029_0020__COMMUNICATIONS)
            & r_0029_0020__communications(R_0029_0020__COMMUNICATIONS)
            & has_attrib53(R_0029_0020__COMMUNICATIONS,R_0029_0019__OTHER)
            & has_conj1(R_0029_0018__AND,R_0029_0017__CORRESPONDENCE)
            & has_conj2(R_0029_0021__CONCERNING__AND__R_0029_0024__OR,R_0029_0024__OR)
            & 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_nim92(R_0029_0025__RECEIVED,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
            & has_arg0(R_0029_0025__RECEIVED,R_0029_0029__INDIVIDUALS)
            & has_arg1(R_0029_0025__RECEIVED,R_0029_0018__AND)
            & has_conj1(R_0029_0024__OR,R_0029_0023__SENT)
            & r_0029_0023__sent(R_0029_0023__SENT)
            & has_r_0029_0030__since_nim92(R_0029_0023__SENT,R_0029_0031__23_R_0029_0032__JULY_R_0029_0033__2019)
            & has_arg0(R_0029_0023__SENT,R_0029_0029__INDIVIDUALS)
            & has_arg1(R_0029_0023__SENT,R_0029_0018__AND) )
         => ? [R_0029_0013__THE_R_0029_0014__SUPPLY,R_0029_0011__CALLING] :
              ( r_0029_0011__calling(R_0029_0011__CALLING)
              & has_r_0029_0012__for_clr34(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)
              & has_arg0(R_0029_0011__CALLING,R_0029_0008__A_R_0029_0010__ADDRESS) ) )
      & 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_attrib23(R_0029_0008__A_R_0029_0010__ADDRESS,R_0029_0009__HUMBLE)
      & has_arg0(R_0029_0007__PASSING,R_0029_0005__THE_R_0029_0006__HOUSE)
      & r_0029_0003__concluded(R_0029_0003__CONCLUDED)
      & has_r_0029_0004__with_nim12(R_0029_0003__CONCLUDED,R_0029_0005__THE_R_0029_0006__HOUSE)
      & has_arg0(R_0029_0003__CONCLUDED,R_0029_0001__THAT_R_0029_0002__DEBATE) ) ).

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