TSPC 23_a_major

23_a_major_case
The Prime Minister: As my right hon. Friend knows full well, there have been demands for a Queen's Speech from the hon. Member for Walsall South (Valerie Vaz) and from across the House.

arc(r_0023_0005__As, r_0023_0010__knows, restriction).
arc(r_0023_0005__As, r_0023_0013__there_r_0023_0014__have, scope).
arc(r_0023_0008__hon_dot__r_0023_0009__Friend, r_0023_0006__my, gen).
arc(r_0023_0008__hon_dot__r_0023_0009__Friend, r_0023_0007__right, attrib20).
arc(r_0023_0010__knows, r_0023_0008__hon_dot__r_0023_0009__Friend, arg0).
arc(r_0023_0010__knows, r_0023_0011__full_well, nim29).
arc(r_0023_0013__there_r_0023_0014__have, r_0023_0015__been, scope).
arc(r_0023_0015__been, r_0023_0016__demands, arg0).
arc(r_0023_0016__demands, r_0023_0021__Speech, r_0023_0017__for).
arc(r_0023_0021__Speech, r_0023_0018__a_r_0023_0019__Queen_r_0023_0020___apos_s, gen).

fof(formula,axiom,
    ? [R_0023_0006__MY,R_0023_0007__RIGHT,R_0023_0008__HON_DOT__R_0023_0009__FRIEND,R_0023_0011__FULL_WELL,R_0023_0010__KNOWS,R_0023_0018__A_R_0023_0019__QUEEN_R_0023_0020___APOS_S,R_0023_0021__SPEECH,R_0023_0016__DEMANDS,R_0023_0013__THERE_R_0023_0014__HAVE_R_0023_0015__BEEN,R_0023_0005__AS] :
      ( r_0023_0006__my(R_0023_0006__MY)
      & r_0023_0007__right(R_0023_0007__RIGHT)
      & r_0023_0011__full_well(R_0023_0011__FULL_WELL)
      & r_0023_0018__a_r_0023_0019__Queen_r_0023_0020___apos_s(R_0023_0018__A_R_0023_0019__QUEEN_R_0023_0020___APOS_S)
      & r_0023_0005__As(R_0023_0005__AS)
      & has_conj2(R_0023_0005__AS,R_0023_0013__THERE_R_0023_0014__HAVE_R_0023_0015__BEEN)
      & r_0023_0013__there_r_0023_0014__have_r_0023_0015__been(R_0023_0013__THERE_R_0023_0014__HAVE_R_0023_0015__BEEN)
      & has_arg0(R_0023_0013__THERE_R_0023_0014__HAVE_R_0023_0015__BEEN,R_0023_0016__DEMANDS)
      & r_0023_0016__demands(R_0023_0016__DEMANDS)
      & has_r_0023_0017__for(R_0023_0016__DEMANDS,R_0023_0021__SPEECH)
      & r_0023_0021__Speech(R_0023_0021__SPEECH)
      & has_gen(R_0023_0021__SPEECH,R_0023_0018__A_R_0023_0019__QUEEN_R_0023_0020___APOS_S)
      & has_conj1(R_0023_0005__AS,R_0023_0010__KNOWS)
      & r_0023_0010__knows(R_0023_0010__KNOWS)
      & has_nim29(R_0023_0010__KNOWS,R_0023_0011__FULL_WELL)
      & has_arg0(R_0023_0010__KNOWS,R_0023_0008__HON_DOT__R_0023_0009__FRIEND)
      & r_0023_0008__hon_dot__r_0023_0009__Friend(R_0023_0008__HON_DOT__R_0023_0009__FRIEND)
      & has_attrib20(R_0023_0008__HON_DOT__R_0023_0009__FRIEND,R_0023_0007__RIGHT)
      & has_gen(R_0023_0008__HON_DOT__R_0023_0009__FRIEND,R_0023_0006__MY) ) ).

( (IP-MAT (META (NP;{JOHNSON} (NPR The;{The})
                              (NPR Prime;{Prime})
                              (NPR Minister;{Minister}))
                (PUNC :))
          (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                                   (ADJP (ADJ right;{right}))
                                   (N hon<dot>)
                                   (N Friend;{friend}))
                           (VBP;__ knows;{know})
                           (ADVP-NIM (ADV full_well;{full_well}))))
          (PUNC ,)
          (EX there;{there})
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (BEN;_ex_V_ been;{be})
                      (NP-ESBJ (NS demands;{demand})
                               (PP (P-ROLE for;{for})
                                   (NP (NP-GEN (D a;{a})
                                               (NPR Queen;{Queen})
                                               (GENM <apos>s))
                                       (N Speech;{speech})
                                       (PP (PP (P-ROLE from;{from})
                                               (NP (D the;{the})
                                                   (NPR hon<dot>)
                                                   (NPR Member;{Member})
                                                   (PP (P-ROLE for;{for})
                                                       (NP (NPR Walsall;{Walsall})
                                                           (NPR South;{South})))
                                                   (PULB -LRB-)
                                                   (IP-PPL (NP-PRD (NPR Valerie;{Valerie})
                                                                   (NPR Vaz;{Vaz})))
                                                   (PURB -RRB-)))
                                           (CONJP (CONJ and;{and})
                                                  (PP (P-ROLE from;{from})
                                                      (NP (PP (P-ROLE across;{across})
                                                              (NP (D the;{the})
                                                                  (NPR House;{House})))))))))))
          (PUNC .))
  (ID 23_a_major_case))