TSPC 20_a_major

20_a_major_case
15.3 On 4 September 2019, the Prime Minister was asked the following questions and answered as follows:

arc(r_0020_0010__was, r_0020_0003__4_r_0020_0004__September_r_0020_0005__2019, r_0020_0002__On_nim8).
arc(r_0020_0010__was, r_0020_0011__asked, scope).
arc(r_0020_0011__asked, r_0020_0007__the_r_0020_0008__Prime_r_0020_0009__Minister, arg2).
arc(r_0020_0011__asked, r_0020_0012__the_r_0020_0014__questions, arg1).
arc(r_0020_0011__asked, z_000_20_a_major_case_29, arg0).
arc(r_0020_0012__the_r_0020_0014__questions, r_0020_0013__following, attrib36).
arc(r_0020_0015__and, r_0020_0010__was, conj1).
arc(r_0020_0015__and, r_0020_0017__as, conj2).
arc(r_0020_0016__answered, r_0020_0003__4_r_0020_0004__September_r_0020_0005__2019, r_0020_0002__On_nim8).
arc(r_0020_0016__answered, r_0020_0007__the_r_0020_0008__Prime_r_0020_0009__Minister, arg0).
arc(r_0020_0017__as, r_0020_0016__answered, scope).
arc(r_0020_0017__as, r_0020_0018__follows, restriction).

fof(formula,axiom,
    ? [R_0020_0003__4_R_0020_0004__SEPTEMBER_R_0020_0005__2019,R_0020_0007__THE_R_0020_0008__PRIME_R_0020_0009__MINISTER,R_0020_0013__FOLLOWING,R_0020_0012__THE_R_0020_0014__QUESTIONS,Z_000_20_A_MAJOR_CASE_29,R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0016__ANSWERED,R_0020_0018__FOLLOWS,R_0020_0017__AS,R_0020_0015__AND] :
      ( r_0020_0003__4_r_0020_0004__September_r_0020_0005__2019(R_0020_0003__4_R_0020_0004__SEPTEMBER_R_0020_0005__2019)
      & r_0020_0007__the_r_0020_0008__Prime_r_0020_0009__Minister(R_0020_0007__THE_R_0020_0008__PRIME_R_0020_0009__MINISTER)
      & r_0020_0013__following(R_0020_0013__FOLLOWING)
      & r_0020_0018__follows(R_0020_0018__FOLLOWS)
      & z_000_20_a_major_case_29(Z_000_20_A_MAJOR_CASE_29)
      & r_0020_0015__and(R_0020_0015__AND)
      & has_conj2(R_0020_0015__AND,R_0020_0017__AS)
      & r_0020_0017__as(R_0020_0017__AS)
      & has_conj1(R_0020_0017__AS,R_0020_0018__FOLLOWS)
      & has_conj2(R_0020_0017__AS,R_0020_0016__ANSWERED)
      & r_0020_0016__answered(R_0020_0016__ANSWERED)
      & has_arg0(R_0020_0016__ANSWERED,R_0020_0007__THE_R_0020_0008__PRIME_R_0020_0009__MINISTER)
      & has_r_0020_0002__On_nim8(R_0020_0016__ANSWERED,R_0020_0003__4_R_0020_0004__SEPTEMBER_R_0020_0005__2019)
      & has_conj1(R_0020_0015__AND,R_0020_0010__WAS_R_0020_0011__ASKED)
      & r_0020_0010__was_r_0020_0011__asked(R_0020_0010__WAS_R_0020_0011__ASKED)
      & has_arg0(R_0020_0010__WAS_R_0020_0011__ASKED,Z_000_20_A_MAJOR_CASE_29)
      & has_arg1(R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0012__THE_R_0020_0014__QUESTIONS)
      & r_0020_0012__the_r_0020_0014__questions(R_0020_0012__THE_R_0020_0014__QUESTIONS)
      & has_attrib36(R_0020_0012__THE_R_0020_0014__QUESTIONS,R_0020_0013__FOLLOWING)
      & has_arg2(R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0007__THE_R_0020_0008__PRIME_R_0020_0009__MINISTER)
      & has_r_0020_0002__On_nim8(R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0003__4_R_0020_0004__SEPTEMBER_R_0020_0005__2019) ) ).

( (IP-MAT (LST (LS 15<dot>3))
          (PP-NIM (P-ROLE On;{on})
                  (NP (NPR 4)
                      (NPR September;{September})
                      (NPR 2019)))
          (PUNC ,)
          (NP-SBJ;{JOHNSON} (D the;{the})
                            (NPR Prime;{Prime})
                            (NPR Minister;{Minister}))
          (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Dn.n_ asked;{ask})
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJ following;{following}))
                                          (NS questions;{question}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_I_ answered;{answer})
                             (PP-SCON (P-CONN as;{as})
                                      (IP-ADV (VBP;__ follows;{follow}))))))
          (PUNC :))
  (ID 20_a_major_case))