TSPC 8_a_major

8_a_major_case
13. In the event that the question of the Prime Minister's purpose is disputed, Sir John wishes to draw the Court's attention to the matters set out below, which have arisen since his original submissions were filed.

( (IP-MAT (LST (LS 13<dot>))
          (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N event;{event})
                      (CP-THT (IP-SUB (C that;{that})
                                      (NP-SBJ (D the;{the})
                                              (N question;{question})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NP-GEN;{JOHNSON} (D the;{the})
                                                                        (NPR Prime;{Prime})
                                                                        (NPR Minister;{Minister})
                                                                        (GENM <apos>s))
                                                      (N purpose;{purpose}))))
                                      (BEP;_cat_VePASS_ is;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;_Tn_ disputed;{dispute}))))))
          (PUNC ,)
          (NP-SBJ;{MAJOR} (NPR Sir;{Sir})
                          (NPR John;{John}))
          (VBP;_Tt_ wishes;{wish})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn.pr_ draw;{draw[to]})
                      (NP-OB1 (NP-GEN (D the;{the})
                                      (NPR Court;{Court})
                                      (GENM <apos>s))
                              (N attention;{attention}))
                      (PP-CLR (P-ROLE to;{to})
                              (NP (D the;{the})
                                  (NS matters;{matter})
                                  (IP-PPL (VVN;_phr_Vp_ set;{set[out]})
                                          (RP out;{out})
                                          (ADVP-NIM (ADV below;{below})))
                                  (PUNC ,)
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (HVP;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (VVN;_I_ arisen;{arise}))
                                          (PP-SCON (P-CONN since;{since})
                                                   (IP-ADV (NP-SBJ (NP-GEN;{MAJOR} (PRO;_genm_ his;{his}))
                                                                   (ADJP (ADJ original;{original}))
                                                                   (NS submissions;{submission}))
                                                           (BED;_cat_VePASS_ were;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (VVN;_Tn_ filed;{file}))))))))
          (PUNC .))
  (ID 8_a_major_case))

arc(r_0008_0003__the_r_0008_0004__event,r_0008_0014__is,emb).
arc(r_0008_0006__the_r_0008_0007__question,r_0008_0013__purpose,r_0008_0008__of).
arc(r_0008_0013__purpose,r_0008_0009__the_r_0008_0010__Prime_r_0008_0011__Minister,gen).
arc(r_0008_0014__is,r_0008_0015__disputed,scope).
arc(r_0008_0015__disputed,r_0008_0006__the_r_0008_0007__question,arg1).
arc(r_0008_0015__disputed,z_0008_5006___star_,arg0).
arc(r_0008_0019__wishes,r_0008_0003__the_r_0008_0004__event,r_0008_0002__In__nim).
arc(r_0008_0019__wishes,r_0008_0017__Sir_r_0008_0018__John,arg0).
arc(r_0008_0019__wishes,r_0008_0021__draw_r_0008_0026__to,arg1).
arc(r_0008_0021__draw_r_0008_0026__to,r_0008_0017__Sir_r_0008_0018__John,arg0).
arc(r_0008_0021__draw_r_0008_0026__to,r_0008_0025__attention,arg1).
arc(r_0008_0021__draw_r_0008_0026__to,r_0008_0027__the_r_0008_0028__matters,arg2).
arc(r_0008_0025__attention,r_0008_0022__the_r_0008_0023__Court,gen).
arc(r_0008_0029__set_r_0008_0030__out,r_0008_0027__the_r_0008_0028__matters,inv_arg0).
arc(r_0008_0029__set_r_0008_0030__out,r_0008_0031__below,nim).
arc(r_0008_0034__have,r_0008_0035__arisen,scope).
arc(r_0008_0035__arisen,r_0008_0027__the_r_0008_0028__matters,arg0).
arc(r_0008_0036__since,r_0008_0034__have,scope).
arc(r_0008_0036__since,r_0008_0040__were,restriction).
arc(r_0008_0039__submissions,r_0008_0017__Sir_r_0008_0018__John,gen).
arc(r_0008_0039__submissions,r_0008_0038__original,attrib).
arc(r_0008_0040__were,r_0008_0041__filed,scope).
arc(r_0008_0041__filed,r_0008_0039__submissions,arg1).
arc(r_0008_0041__filed,z_0008_5019___star_,arg0).

fof(formula,axiom,
    ? [R_0008_0009__THE_R_0008_0010__PRIME_R_0008_0011__MINISTER,R_0008_0013__PURPOSE,R_0008_0006__THE_R_0008_0007__QUESTION,Z_0008_5006___STAR_,R_0008_0014__IS_R_0008_0015__DISPUTED,R_0008_0003__THE_R_0008_0004__EVENT,R_0008_0017__SIR_R_0008_0018__JOHN,R_0008_0022__THE_R_0008_0023__COURT,R_0008_0025__ATTENTION,R_0008_0031__BELOW,R_0008_0029__SET_R_0008_0030__OUT,R_0008_0027__THE_R_0008_0028__MATTERS,R_0008_0021__DRAW_R_0008_0026__TO,R_0008_0019__WISHES,R_0008_0034__HAVE_R_0008_0035__ARISEN,R_0008_0038__ORIGINAL,R_0008_0039__SUBMISSIONS,Z_0008_5019___STAR_,R_0008_0040__WERE_R_0008_0041__FILED,R_0008_0036__SINCE] :
      ( r_0008_0009__the_r_0008_0010__Prime_r_0008_0011__Minister(R_0008_0009__THE_R_0008_0010__PRIME_R_0008_0011__MINISTER)
      & r_0008_0017__Sir_r_0008_0018__John(R_0008_0017__SIR_R_0008_0018__JOHN)
      & r_0008_0022__the_r_0008_0023__Court(R_0008_0022__THE_R_0008_0023__COURT)
      & r_0008_0031__below(R_0008_0031__BELOW)
      & r_0008_0038__original(R_0008_0038__ORIGINAL)
      & z_0008_5006___star_(Z_0008_5006___STAR_)
      & z_0008_5019___star_(Z_0008_5019___STAR_)
      & r_0008_0036__since(R_0008_0036__SINCE)
      & has_conj1(R_0008_0036__SINCE,R_0008_0040__WERE_R_0008_0041__FILED)
      & r_0008_0040__were_r_0008_0041__filed(R_0008_0040__WERE_R_0008_0041__FILED)
      & has_arg0(R_0008_0040__WERE_R_0008_0041__FILED,Z_0008_5019___STAR_)
      & has_arg1(R_0008_0040__WERE_R_0008_0041__FILED,R_0008_0039__SUBMISSIONS)
      & r_0008_0039__submissions(R_0008_0039__SUBMISSIONS)
      & has_attrib(R_0008_0039__SUBMISSIONS,R_0008_0038__ORIGINAL)
      & has_gen(R_0008_0039__SUBMISSIONS,R_0008_0017__SIR_R_0008_0018__JOHN)
      & has_conj2(R_0008_0036__SINCE,R_0008_0034__HAVE_R_0008_0035__ARISEN)
      & r_0008_0034__have_r_0008_0035__arisen(R_0008_0034__HAVE_R_0008_0035__ARISEN)
      & has_arg0(R_0008_0034__HAVE_R_0008_0035__ARISEN,R_0008_0027__THE_R_0008_0028__MATTERS)
      & r_0008_0027__the_r_0008_0028__matters(R_0008_0027__THE_R_0008_0028__MATTERS)
      & has_inv_arg0(R_0008_0027__THE_R_0008_0028__MATTERS,R_0008_0029__SET_R_0008_0030__OUT)
      & r_0008_0029__set_r_0008_0030__out(R_0008_0029__SET_R_0008_0030__OUT)
      & has_nim(R_0008_0029__SET_R_0008_0030__OUT,R_0008_0031__BELOW)
      & r_0008_0019__wishes(R_0008_0019__WISHES)
      & has_arg1(R_0008_0019__WISHES,R_0008_0021__DRAW_R_0008_0026__TO)
      & r_0008_0021__draw_r_0008_0026__to(R_0008_0021__DRAW_R_0008_0026__TO)
      & has_arg2(R_0008_0021__DRAW_R_0008_0026__TO,R_0008_0027__THE_R_0008_0028__MATTERS)
      & has_arg1(R_0008_0021__DRAW_R_0008_0026__TO,R_0008_0025__ATTENTION)
      & r_0008_0025__attention(R_0008_0025__ATTENTION)
      & has_gen(R_0008_0025__ATTENTION,R_0008_0022__THE_R_0008_0023__COURT)
      & has_arg0(R_0008_0021__DRAW_R_0008_0026__TO,R_0008_0017__SIR_R_0008_0018__JOHN)
      & has_arg0(R_0008_0019__WISHES,R_0008_0017__SIR_R_0008_0018__JOHN)
      & has_r_0008_0002__In__nim(R_0008_0019__WISHES,R_0008_0003__THE_R_0008_0004__EVENT)
      & r_0008_0003__the_r_0008_0004__event(R_0008_0003__THE_R_0008_0004__EVENT)
      & has_emb(R_0008_0003__THE_R_0008_0004__EVENT,R_0008_0014__IS_R_0008_0015__DISPUTED)
      & r_0008_0014__is_r_0008_0015__disputed(R_0008_0014__IS_R_0008_0015__DISPUTED)
      & has_arg0(R_0008_0014__IS_R_0008_0015__DISPUTED,Z_0008_5006___STAR_)
      & has_arg1(R_0008_0014__IS_R_0008_0015__DISPUTED,R_0008_0006__THE_R_0008_0007__QUESTION)
      & r_0008_0006__the_r_0008_0007__question(R_0008_0006__THE_R_0008_0007__QUESTION)
      & has_r_0008_0008__of(R_0008_0006__THE_R_0008_0007__QUESTION,R_0008_0013__PURPOSE)
      & r_0008_0013__purpose(R_0008_0013__PURPOSE)
      & has_gen(R_0008_0013__PURPOSE,R_0008_0009__THE_R_0008_0010__PRIME_R_0008_0011__MINISTER) ) ).