arc(r_0028_0001__Everything_quant, r_0028_0002__was, scope).
arc(r_0028_0001__Everything_quant, z_000_28_a_uksc_judgment_2, restriction).
arc(r_0028_0002__was, r_0028_0003__focussed, scope).
arc(r_0028_0003__focussed, r_0028_0005__the_r_0028_0006__need, r_0028_0004__on_clr15).
arc(r_0028_0003__focussed, z_000_28_a_uksc_judgment_2, arg1).
arc(r_0028_0003__focussed, z_000_28_a_uksc_judgment_8, arg0).
arc(r_0028_0005__the_r_0028_0006__need, r_0028_0013__and, r_0028_0007__for).
arc(r_0028_0008__a_r_0028_0012__Speech, r_0028_0009__new, attrib28).
arc(r_0028_0008__a_r_0028_0012__Speech, r_0028_0010__Queen_r_0028_0011___apos_s, gen).
arc(r_0028_0013__and, r_0028_0008__a_r_0028_0012__Speech, conj1).
arc(r_0028_0013__and, r_0028_0014__the_r_0028_0015__reasons, conj2).
arc(r_0028_0014__the_r_0028_0015__reasons, r_0028_0017__holding, r_0028_0016__for).
arc(r_0028_0017__holding, r_0028_0018__that, arg1).
arc(r_0028_0017__holding, r_0028_0020__the_r_0028_0021__week, r_0028_0019__in_nim58).
arc(r_0028_0017__holding, r_0028_0026__rather, nim74).
arc(r_0028_0017__holding, z_000_28_a_uksc_judgment_49, arg0).
arc(r_0028_0022__beginning, r_0028_0020__the_r_0028_0021__week, arg0).
arc(r_0028_0022__beginning, r_0028_0023__the_r_0028_0025__October, arg1).
arc(r_0028_0023__the_r_0028_0025__October, r_0028_0024__14th, attrib69).
arc(r_0028_0026__rather, z_000_28_a_uksc_judgment_80, r_0028_0027__than).
arc(r_0028_0028__the_r_0028_0030__week, r_0028_0029__previous, attrib84).
arc(z_000_28_a_uksc_judgment_80, r_0028_0028__the_r_0028_0030__week, nim81).

fof(formula,axiom,
    ? [R_0028_0020__THE_R_0028_0021__WEEK,R_0028_0024__14TH,R_0028_0023__THE_R_0028_0025__OCTOBER,R_0028_0022__BEGINNING] :
      ( r_0028_0020__the_r_0028_0021__week(R_0028_0020__THE_R_0028_0021__WEEK)
      & r_0028_0024__14th(R_0028_0024__14TH)
      & r_0028_0022__beginning(R_0028_0022__BEGINNING)
      & has_arg1(R_0028_0022__BEGINNING,R_0028_0023__THE_R_0028_0025__OCTOBER)
      & r_0028_0023__the_r_0028_0025__October(R_0028_0023__THE_R_0028_0025__OCTOBER)
      & has_attrib69(R_0028_0023__THE_R_0028_0025__OCTOBER,R_0028_0024__14TH)
      & has_arg0(R_0028_0022__BEGINNING,R_0028_0020__THE_R_0028_0021__WEEK)
      & ! [Z_000_28_A_UKSC_JUDGMENT_2] :
          ( z_000_28_a_uksc_judgment_2(Z_000_28_A_UKSC_JUDGMENT_2)
         => ? [R_0028_0009__NEW,R_0028_0010__QUEEN_R_0028_0011___APOS_S,R_0028_0008__A_R_0028_0012__SPEECH,R_0028_0018__THAT,R_0028_0029__PREVIOUS,R_0028_0028__THE_R_0028_0030__WEEK,Z_000_28_A_UKSC_JUDGMENT_80,R_0028_0026__RATHER,Z_000_28_A_UKSC_JUDGMENT_49,R_0028_0017__HOLDING,R_0028_0014__THE_R_0028_0015__REASONS,R_0028_0013__AND,R_0028_0005__THE_R_0028_0006__NEED,Z_000_28_A_UKSC_JUDGMENT_8,R_0028_0002__WAS_R_0028_0003__FOCUSSED] :
              ( r_0028_0009__new(R_0028_0009__NEW)
              & r_0028_0010__Queen_r_0028_0011___apos_s(R_0028_0010__QUEEN_R_0028_0011___APOS_S)
              & r_0028_0018__that(R_0028_0018__THAT)
              & r_0028_0029__previous(R_0028_0029__PREVIOUS)
              & z_000_28_a_uksc_judgment_49(Z_000_28_A_UKSC_JUDGMENT_49)
              & z_000_28_a_uksc_judgment_8(Z_000_28_A_UKSC_JUDGMENT_8)
              & r_0028_0002__was_r_0028_0003__focussed(R_0028_0002__WAS_R_0028_0003__FOCUSSED)
              & has_arg0(R_0028_0002__WAS_R_0028_0003__FOCUSSED,Z_000_28_A_UKSC_JUDGMENT_8)
              & has_arg1(R_0028_0002__WAS_R_0028_0003__FOCUSSED,Z_000_28_A_UKSC_JUDGMENT_2)
              & has_r_0028_0004__on_clr15(R_0028_0002__WAS_R_0028_0003__FOCUSSED,R_0028_0005__THE_R_0028_0006__NEED)
              & r_0028_0005__the_r_0028_0006__need(R_0028_0005__THE_R_0028_0006__NEED)
              & has_r_0028_0007__for(R_0028_0005__THE_R_0028_0006__NEED,R_0028_0013__AND)
              & r_0028_0013__and(R_0028_0013__AND)
              & has_conj2(R_0028_0013__AND,R_0028_0014__THE_R_0028_0015__REASONS)
              & r_0028_0014__the_r_0028_0015__reasons(R_0028_0014__THE_R_0028_0015__REASONS)
              & has_r_0028_0016__for(R_0028_0014__THE_R_0028_0015__REASONS,R_0028_0017__HOLDING)
              & r_0028_0017__holding(R_0028_0017__HOLDING)
              & has_arg0(R_0028_0017__HOLDING,Z_000_28_A_UKSC_JUDGMENT_49)
              & has_nim74(R_0028_0017__HOLDING,R_0028_0026__RATHER)
              & r_0028_0026__rather(R_0028_0026__RATHER)
              & has_r_0028_0027__than(R_0028_0026__RATHER,Z_000_28_A_UKSC_JUDGMENT_80)
              & z_000_28_a_uksc_judgment_80(Z_000_28_A_UKSC_JUDGMENT_80)
              & has_nim81(Z_000_28_A_UKSC_JUDGMENT_80,R_0028_0028__THE_R_0028_0030__WEEK)
              & r_0028_0028__the_r_0028_0030__week(R_0028_0028__THE_R_0028_0030__WEEK)
              & has_attrib84(R_0028_0028__THE_R_0028_0030__WEEK,R_0028_0029__PREVIOUS)
              & has_r_0028_0019__in_nim58(R_0028_0017__HOLDING,R_0028_0020__THE_R_0028_0021__WEEK)
              & has_arg1(R_0028_0017__HOLDING,R_0028_0018__THAT)
              & has_conj1(R_0028_0013__AND,R_0028_0008__A_R_0028_0012__SPEECH)
              & r_0028_0008__a_r_0028_0012__Speech(R_0028_0008__A_R_0028_0012__SPEECH)
              & has_gen(R_0028_0008__A_R_0028_0012__SPEECH,R_0028_0010__QUEEN_R_0028_0011___APOS_S)
              & has_attrib28(R_0028_0008__A_R_0028_0012__SPEECH,R_0028_0009__NEW) ) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ focussed;{focus[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP;{NEED} (D the;{the})
                                         (N need;{need})
                                         (PP (P-ROLE for;{for})
                                             (NP (NLYR (NLYR;{SPEECH} (D a;{a})
                                                                      (ADJP (ADJ new;{new}))
                                                                      (NP-GEN (NPR Queen;{Queen})
                                                                              (GENM <apos>s))
                                                                      (N Speech;{speech}))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (D the;{the})
                                                                    (NS reasons;{reason})
                                                                    (PP (P-ROLE for;{for})
                                                                        (IP-PPL (VAG;_Tn_ holding;{hold})
                                                                                (NP-OB1;{SPEECH} (D;_nphd_ that;{that}))
                                                                                (PP-NIM (P-ROLE in;{in})
                                                                                        (NP (D the;{the})
                                                                                            (N week;{week})
                                                                                            (IP-PPL (VAG;_Tn_ beginning;{begin})
                                                                                                    (NP-OB1 (D the;{the})
                                                                                                            (ADJP (ADJ 14th))
                                                                                                            (NPR October;{October})))))
                                                                                (ADVP-NIM (ADV rather;{rather})
                                                                                          (PP (P-ROLE than;{than})
                                                                                              (IP-PPL (NP-NIM (D the;{the})
                                                                                                              (ADJP (ADJ previous;{previous}))
                                                                                                              (N week;{week})))))))))))))))
          (PUNC .))
  (ID 28_a_uksc_judgment))