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_27_15_BUT,R_27_6_HESITATE,R_27_7_TO_ADVISE,R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND,R_27_5_I,R_27_14_PROCEEDINGS,R_27_13_LEGAL,R_27_22_HAPPENED,Z_27_A_MAJOR_CASE_59,R_27_25_THIS_MORNING,R_27_24_SCOTLAND] :
      ( i(R_27_5_I)
      & legal(R_27_13_LEGAL)
      & this_morning(R_27_25_THIS_MORNING)
      & scotland(R_27_24_SCOTLAND)
      & ! [R_27_19_LOOKS] :
          ( ( looks(R_27_19_LOOKS,R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND)
            & at_clr59(R_27_19_LOOKS,Z_27_A_MAJOR_CASE_59) )
         => ? [R_27_29_WILL_DISCOVER,R_27_31_THAT_WAS_THROWN_OUT,Z_27_A_MAJOR_CASE_99,R_27_32_THAT_CASE] :
              ( that_case(R_27_32_THAT_CASE)
              & will_discover(R_27_29_WILL_DISCOVER,R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND,R_27_31_THAT_WAS_THROWN_OUT)
              & that_was_thrown_out(R_27_31_THAT_WAS_THROWN_OUT,Z_27_A_MAJOR_CASE_99,R_27_32_THAT_CASE) ) )
      & conj2(CONJ2)
      & but(R_27_15_BUT)
      & conj1(R_27_15_BUT,R_27_6_HESITATE)
      & hesitate(R_27_6_HESITATE,R_27_5_I,R_27_7_TO_ADVISE)
      & to_advise(R_27_7_TO_ADVISE,R_27_5_I,R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND)
      & right_hon_dot_and_learned_Friend(R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND)
      & gen(R_27_10_RIGHT_HON_DOT_AND_LEARNED_FRIEND,R_27_5_I)
      & about_nim35(R_27_7_TO_ADVISE,R_27_14_PROCEEDINGS)
      & proceedings(R_27_14_PROCEEDINGS)
      & attrib36(R_27_14_PROCEEDINGS,R_27_13_LEGAL)
      & happened(R_27_22_HAPPENED,Z_27_A_MAJOR_CASE_59)
      & nim72(R_27_22_HAPPENED,R_27_25_THIS_MORNING)
      & in_nim69(R_27_22_HAPPENED,R_27_24_SCOTLAND) ) ).

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