TSPC 27_a_major

27_a_major_case
The Prime Minister: I hesitate to advise my right hon. and learned Friend about legal proceedings but, if he looks at what happened in Scotland this morning, he will discover that that case was thrown out.” -LCB- HC Deb vol 664 col 172 -RCB-

( (IP-MAT (META (NP;{JOHNSON} (D The;{the})
                              (NPR Prime;{Prime})
                              (NPR Minister;{Minister}))
                (PUNC :))
          (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBP;__ hesitate;{hesitate})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn.pr_ advise;{advise})
                                  (NP-OB1;{GRIEVE} (NP-GEN (PRO;_genm_ my;{my}))
                                                   (NLYR (NLYR (NLYR (ADJP (ADJ right;{right}))
                                                                     (N hon<dot>))
                                                               (CONJP (CONJ and;{and})
                                                                      (NLYR (ADJP (ADJ learned;{learned}))))))
                                                   (N Friend;{friend}))
                                  (PP-NIM (P-ROLE about;{about})
                                          (NP (ADJP (ADJ legal;{legal}))
                                              (NS proceedings;{proceeding})))))
                (CONJP (CONJ but;{but})
                       (PUNC ,)
                       (ILYR (PP-SCON (P-CONN if;{if})
                                      (IP-ADV (NP-SBJ;{GRIEVE} (PRO he;{he}))
                                              (VBP;__ looks;{look})
                                              (PP-CLR (P-ROLE at;{at})
                                                      (NP (IP-REL (NP-SBJ (RPRO what;{what}))
                                                                  (VBD;__ happened;{happen})
                                                                  (PP-NIM (P-ROLE in;{in})
                                                                          (NP (NPR Scotland;{Scotland})))
                                                                  (NP-NIM (D this;{this})
                                                                          (N morning;{morning})))))))
                             (PUNC ,)
                             (NP-SBJ;{GRIEVE} (PRO he;{he}))
                             (MD;_cat_Vi_ will;{will})
                             (IP-INF-CAT (VB;__ discover;{discover})
                                         (CP-THT-OB1 (IP-SUB (C that;{that})
                                                             (NP-SBJ (D that;{that})
                                                                     (N case;{case}))
                                                             (BED;_cat_VePASS_ was;{be})
                                                             (IP-PPL-CAT (NP-LGS *)
                                                                         (VVN;__ thrown;{throw})
                                                                         (RP out;{out}))))))))
          (PUNC .)
          (PURQ <rdquo>)
          (META (PULB -LCB-)
                (NP (N HC;{hc})
                    (N Deb;{deb})
                    (N vol;{vol})
                    (NUM 664)
                    (N col;{col})
                    (NUM 172))
                (PURB -RCB-)))
  (ID 27_a_major_case))

arc(r_0027_0006__hesitate,r_0027_0005__I,arg0).
arc(r_0027_0006__hesitate,r_0027_0008__advise,arg1).
arc(r_0027_0008__advise,r_0027_0005__I,arg0).
arc(r_0027_0008__advise,r_0027_0014__Friend,arg1).
arc(r_0027_0008__advise,r_0027_0017__proceedings,r_0027_0015__about__nim).
arc(r_0027_0011__hon_dot_,r_0027_0010__right,attrib).
arc(r_0027_0012__and,r_0027_0011__hon_dot_,conj1).
arc(r_0027_0012__and,z_0027_5009,conj2).
arc(r_0027_0014__Friend,r_0027_0005__I,gen).
arc(r_0027_0014__Friend,r_0027_0012__and,nim).
arc(r_0027_0017__proceedings,r_0027_0016__legal,attrib).
arc(r_0027_0018__but,r_0027_0006__hesitate,conj1).
arc(r_0027_0018__but,r_0027_0020__if,conj2).
arc(r_0027_0020__if,r_0027_0022__looks,restriction).
arc(r_0027_0020__if,r_0027_0032__will,scope).
arc(r_0027_0022__looks,r_0027_0014__Friend,arg0).
arc(r_0027_0022__looks,r_0027_0024__what,r_0027_0023__at__clr).
arc(r_0027_0025__happened,r_0027_0024__what,arg0).
arc(r_0027_0025__happened,r_0027_0027__Scotland,r_0027_0026__in__nim).
arc(r_0027_0025__happened,r_0027_0028__this_r_0027_0029__morning,nim).
arc(r_0027_0032__will,r_0027_0033__discover,scope).
arc(r_0027_0033__discover,r_0027_0014__Friend,arg0).
arc(r_0027_0033__discover,r_0027_0037__was,arg1).
arc(r_0027_0037__was,r_0027_0038__thrown_r_0027_0039__out,scope).
arc(r_0027_0038__thrown_r_0027_0039__out,r_0027_0035__that_r_0027_0036__case,arg1).
arc(r_0027_0038__thrown_r_0027_0039__out,z_0027_5025___star_,arg0).
arc(z_0027_5009,r_0027_0013__learned,attrib).

fof(formula,axiom,
    ? [R_0027_0005__I,R_0027_0010__RIGHT,R_0027_0011__HON_DOT_,R_0027_0013__LEARNED,Z_0027_5009,R_0027_0012__AND,R_0027_0014__FRIEND,R_0027_0016__LEGAL,R_0027_0017__PROCEEDINGS,R_0027_0008__ADVISE,R_0027_0006__HESITATE,R_0027_0018__BUT,R_0027_0024__WHAT,R_0027_0027__SCOTLAND,R_0027_0028__THIS_R_0027_0029__MORNING,R_0027_0025__HAPPENED] :
      ( r_0027_0005__I(R_0027_0005__I)
      & r_0027_0010__right(R_0027_0010__RIGHT)
      & r_0027_0013__learned(R_0027_0013__LEARNED)
      & r_0027_0016__legal(R_0027_0016__LEGAL)
      & r_0027_0024__what(R_0027_0024__WHAT)
      & r_0027_0027__Scotland(R_0027_0027__SCOTLAND)
      & r_0027_0028__this_r_0027_0029__morning(R_0027_0028__THIS_R_0027_0029__MORNING)
      & r_0027_0025__happened(R_0027_0025__HAPPENED)
      & has_nim(R_0027_0025__HAPPENED,R_0027_0028__THIS_R_0027_0029__MORNING)
      & has_r_0027_0026__in__nim(R_0027_0025__HAPPENED,R_0027_0027__SCOTLAND)
      & has_arg0(R_0027_0025__HAPPENED,R_0027_0024__WHAT)
      & r_0027_0018__but(R_0027_0018__BUT)
      & ! [R_0027_0022__LOOKS] :
          ( ( r_0027_0022__looks(R_0027_0022__LOOKS)
            & has_r_0027_0023__at__clr(R_0027_0022__LOOKS,R_0027_0024__WHAT)
            & has_arg0(R_0027_0022__LOOKS,R_0027_0014__FRIEND) )
         => ? [R_0027_0035__THAT_R_0027_0036__CASE,Z_0027_5025___STAR_,R_0027_0037__WAS_R_0027_0038__THROWN_R_0027_0039__OUT,R_0027_0032__WILL_R_0027_0033__DISCOVER] :
              ( r_0027_0035__that_r_0027_0036__case(R_0027_0035__THAT_R_0027_0036__CASE)
              & z_0027_5025___star_(Z_0027_5025___STAR_)
              & r_0027_0032__will_r_0027_0033__discover(R_0027_0032__WILL_R_0027_0033__DISCOVER)
              & has_arg1(R_0027_0032__WILL_R_0027_0033__DISCOVER,R_0027_0037__WAS_R_0027_0038__THROWN_R_0027_0039__OUT)
              & r_0027_0037__was_r_0027_0038__thrown_r_0027_0039__out(R_0027_0037__WAS_R_0027_0038__THROWN_R_0027_0039__OUT)
              & has_arg0(R_0027_0037__WAS_R_0027_0038__THROWN_R_0027_0039__OUT,Z_0027_5025___STAR_)
              & has_arg1(R_0027_0037__WAS_R_0027_0038__THROWN_R_0027_0039__OUT,R_0027_0035__THAT_R_0027_0036__CASE)
              & has_arg0(R_0027_0032__WILL_R_0027_0033__DISCOVER,R_0027_0014__FRIEND) ) )
      & has_conj1(R_0027_0018__BUT,R_0027_0006__HESITATE)
      & r_0027_0006__hesitate(R_0027_0006__HESITATE)
      & has_arg1(R_0027_0006__HESITATE,R_0027_0008__ADVISE)
      & r_0027_0008__advise(R_0027_0008__ADVISE)
      & has_r_0027_0015__about__nim(R_0027_0008__ADVISE,R_0027_0017__PROCEEDINGS)
      & r_0027_0017__proceedings(R_0027_0017__PROCEEDINGS)
      & has_attrib(R_0027_0017__PROCEEDINGS,R_0027_0016__LEGAL)
      & has_arg1(R_0027_0008__ADVISE,R_0027_0014__FRIEND)
      & r_0027_0014__Friend(R_0027_0014__FRIEND)
      & has_nim(R_0027_0014__FRIEND,R_0027_0012__AND)
      & r_0027_0012__and(R_0027_0012__AND)
      & has_conj2(R_0027_0012__AND,Z_0027_5009)
      & z_0027_5009(Z_0027_5009)
      & has_attrib(Z_0027_5009,R_0027_0013__LEARNED)
      & has_conj1(R_0027_0012__AND,R_0027_0011__HON_DOT_)
      & r_0027_0011__hon_dot_(R_0027_0011__HON_DOT_)
      & has_attrib(R_0027_0011__HON_DOT_,R_0027_0010__RIGHT)
      & has_gen(R_0027_0014__FRIEND,R_0027_0005__I)
      & has_arg0(R_0027_0008__ADVISE,R_0027_0005__I)
      & has_arg0(R_0027_0006__HESITATE,R_0027_0005__I) ) ).