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:

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

arc(r_0020_0010__was,r_0020_0003__4_r_0020_0004__September_r_0020_0005__2019,r_0020_0002__On__nim).
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_0020_5004___star_,arg0).
arc(r_0020_0012__the_r_0020_0014__questions,r_0020_0013__following,attrib).
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__nim).
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).
arc(r_0020_0018__follows,z_0020_5009,arg0).

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_0020_5004___STAR_,R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0016__ANSWERED,Z_0020_5009,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)
      & z_0020_5004___star_(Z_0020_5004___STAR_)
      & z_0020_5009(Z_0020_5009)
      & 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)
      & r_0020_0018__follows(R_0020_0018__FOLLOWS)
      & has_arg0(R_0020_0018__FOLLOWS,Z_0020_5009)
      & 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__nim(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_0020_5004___STAR_)
      & 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_attrib(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__nim(R_0020_0010__WAS_R_0020_0011__ASKED,R_0020_0003__4_R_0020_0004__SEPTEMBER_R_0020_0005__2019) ) ).