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-

arc(r_0027_0006__hesitate, r_0027_0005__I, arg0).
arc(r_0027_0006__hesitate, r_0027_0007__to_r_0027_0008__advise, arg1).
arc(r_0027_0007__to_r_0027_0008__advise, r_0027_0005__I, arg0).
arc(r_0027_0007__to_r_0027_0008__advise, r_0027_0010__right_hon_dot__and_learned_r_0027_0011__Friend, arg1).
arc(r_0027_0007__to_r_0027_0008__advise, r_0027_0014__proceedings, r_0027_0012__about_nim35).
arc(r_0027_0010__right_hon_dot__and_learned_r_0027_0011__Friend, r_0027_0005__I, gen).
arc(r_0027_0014__proceedings, r_0027_0013__legal, attrib36).
arc(r_0027_0015__but, r_0027_0006__hesitate, conj1).
arc(r_0027_0015__but, r_0027_0017__if, conj2).
arc(r_0027_0017__if, r_0027_0019__looks, restriction).
arc(r_0027_0017__if, r_0027_0029__will, scope).
arc(r_0027_0019__looks, r_0027_0010__right_hon_dot__and_learned_r_0027_0011__Friend, arg0).
arc(r_0027_0019__looks, z_000_27_a_major_case_59, r_0027_0020__at_clr59).
arc(r_0027_0022__happened, r_0027_0024__Scotland, r_0027_0023__in_nim69).
arc(r_0027_0022__happened, r_0027_0025__this_r_0027_0026__morning, nim72).
arc(r_0027_0022__happened, z_000_27_a_major_case_59, arg0).
arc(r_0027_0029__will, r_0027_0030__discover, scope).
arc(r_0027_0030__discover, r_0027_0010__right_hon_dot__and_learned_r_0027_0011__Friend, arg0).
arc(r_0027_0030__discover, r_0027_0031__that_r_0027_0034__was, arg1).
arc(r_0027_0031__that_r_0027_0034__was, r_0027_0035__thrown_r_0027_0036__out, scope).
arc(r_0027_0035__thrown_r_0027_0036__out, r_0027_0032__that_r_0027_0033__case, arg1).
arc(r_0027_0035__thrown_r_0027_0036__out, z_000_27_a_major_case_99, arg0).

fof(formula,axiom,
    ? [R_0027_0005__I,R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND,R_0027_0013__LEGAL,R_0027_0014__PROCEEDINGS,R_0027_0007__TO_R_0027_0008__ADVISE,R_0027_0006__HESITATE,R_0027_0015__BUT,R_0027_0024__SCOTLAND,R_0027_0025__THIS_R_0027_0026__MORNING,Z_000_27_A_MAJOR_CASE_59,R_0027_0022__HAPPENED] :
      ( r_0027_0005__I(R_0027_0005__I)
      & r_0027_0013__legal(R_0027_0013__LEGAL)
      & r_0027_0024__Scotland(R_0027_0024__SCOTLAND)
      & r_0027_0025__this_r_0027_0026__morning(R_0027_0025__THIS_R_0027_0026__MORNING)
      & z_000_27_a_major_case_59(Z_000_27_A_MAJOR_CASE_59)
      & r_0027_0022__happened(R_0027_0022__HAPPENED)
      & has_arg0(R_0027_0022__HAPPENED,Z_000_27_A_MAJOR_CASE_59)
      & has_nim72(R_0027_0022__HAPPENED,R_0027_0025__THIS_R_0027_0026__MORNING)
      & has_r_0027_0023__in_nim69(R_0027_0022__HAPPENED,R_0027_0024__SCOTLAND)
      & r_0027_0015__but(R_0027_0015__BUT)
      & ! [R_0027_0019__LOOKS] :
          ( ( r_0027_0019__looks(R_0027_0019__LOOKS)
            & has_r_0027_0020__at_clr59(R_0027_0019__LOOKS,Z_000_27_A_MAJOR_CASE_59)
            & has_arg0(R_0027_0019__LOOKS,R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND) )
         => ? [R_0027_0032__THAT_R_0027_0033__CASE,Z_000_27_A_MAJOR_CASE_99,R_0027_0031__THAT_R_0027_0034__WAS_R_0027_0035__THROWN_R_0027_0036__OUT,R_0027_0029__WILL_R_0027_0030__DISCOVER] :
              ( r_0027_0032__that_r_0027_0033__case(R_0027_0032__THAT_R_0027_0033__CASE)
              & z_000_27_a_major_case_99(Z_000_27_A_MAJOR_CASE_99)
              & r_0027_0029__will_r_0027_0030__discover(R_0027_0029__WILL_R_0027_0030__DISCOVER)
              & has_arg1(R_0027_0029__WILL_R_0027_0030__DISCOVER,R_0027_0031__THAT_R_0027_0034__WAS_R_0027_0035__THROWN_R_0027_0036__OUT)
              & r_0027_0031__that_r_0027_0034__was_r_0027_0035__thrown_r_0027_0036__out(R_0027_0031__THAT_R_0027_0034__WAS_R_0027_0035__THROWN_R_0027_0036__OUT)
              & has_arg0(R_0027_0031__THAT_R_0027_0034__WAS_R_0027_0035__THROWN_R_0027_0036__OUT,Z_000_27_A_MAJOR_CASE_99)
              & has_arg1(R_0027_0031__THAT_R_0027_0034__WAS_R_0027_0035__THROWN_R_0027_0036__OUT,R_0027_0032__THAT_R_0027_0033__CASE)
              & has_arg0(R_0027_0029__WILL_R_0027_0030__DISCOVER,R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND) ) )
      & has_conj1(R_0027_0015__BUT,R_0027_0006__HESITATE)
      & r_0027_0006__hesitate(R_0027_0006__HESITATE)
      & has_arg1(R_0027_0006__HESITATE,R_0027_0007__TO_R_0027_0008__ADVISE)
      & r_0027_0007__to_r_0027_0008__advise(R_0027_0007__TO_R_0027_0008__ADVISE)
      & has_r_0027_0012__about_nim35(R_0027_0007__TO_R_0027_0008__ADVISE,R_0027_0014__PROCEEDINGS)
      & r_0027_0014__proceedings(R_0027_0014__PROCEEDINGS)
      & has_attrib36(R_0027_0014__PROCEEDINGS,R_0027_0013__LEGAL)
      & has_arg1(R_0027_0007__TO_R_0027_0008__ADVISE,R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND)
      & r_0027_0010__right_hon_dot__and_learned_r_0027_0011__Friend(R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND)
      & has_gen(R_0027_0010__RIGHT_HON_DOT__AND_LEARNED_R_0027_0011__FRIEND,R_0027_0005__I)
      & has_arg0(R_0027_0007__TO_R_0027_0008__ADVISE,R_0027_0005__I)
      & has_arg0(R_0027_0006__HESITATE,R_0027_0005__I) ) ).

( (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}))
                                                   (N right_hon<dot>_and_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))