TSPC 27_a_uksc

27_a_uksc_judgment
It will be apparent from the documents quoted earlier that no reason was given for closing down Parliament for five weeks.

arc(r_0027_0002__will, r_0027_0003__be, scope).
arc(r_0027_0003__be, r_0027_0004__apparent, prd).
arc(r_0027_0003__be, r_0027_0011__no_quant, arg0).
arc(r_0027_0004__apparent, r_0027_0006__the_r_0027_0007__documents, r_0027_0005__from).
arc(r_0027_0008__quoted, r_0027_0006__the_r_0027_0007__documents, arg1).
arc(r_0027_0008__quoted, r_0027_0009__earlier, nim26).
arc(r_0027_0008__quoted, z_000_27_a_uksc_judgment_22, arg0).
arc(r_0027_0010__that_r_0027_0013__was, r_0027_0014__given, scope).
arc(r_0027_0011__no_quant, r_0027_0010__that_r_0027_0013__was, scope).
arc(r_0027_0011__no_quant, r_0027_0012__reason, restriction).
arc(r_0027_0014__given, r_0027_0012__reason, arg1).
arc(r_0027_0014__given, r_0027_0016__closing_r_0027_0017__down, r_0027_0015__for_clr48).
arc(r_0027_0014__given, z_000_27_a_uksc_judgment_41, arg0).
arc(r_0027_0016__closing_r_0027_0017__down, r_0027_0018__Parliament, arg1).
arc(r_0027_0016__closing_r_0027_0017__down, r_0027_0020__five_r_0027_0021__weeks, r_0027_0019__for_nim59).
arc(r_0027_0016__closing_r_0027_0017__down, z_000_27_a_uksc_judgment_48, arg0).

fof(formula,axiom,
    ? [R_0027_0006__THE_R_0027_0007__DOCUMENTS,R_0027_0004__APPARENT,R_0027_0002__WILL_R_0027_0003__BE,R_0027_0009__EARLIER,Z_000_27_A_UKSC_JUDGMENT_22,R_0027_0008__QUOTED] :
      ( r_0027_0006__the_r_0027_0007__documents(R_0027_0006__THE_R_0027_0007__DOCUMENTS)
      & r_0027_0009__earlier(R_0027_0009__EARLIER)
      & z_000_27_a_uksc_judgment_22(Z_000_27_A_UKSC_JUDGMENT_22)
      & r_0027_0008__quoted(R_0027_0008__QUOTED)
      & has_arg0(R_0027_0008__QUOTED,Z_000_27_A_UKSC_JUDGMENT_22)
      & has_nim26(R_0027_0008__QUOTED,R_0027_0009__EARLIER)
      & has_arg1(R_0027_0008__QUOTED,R_0027_0006__THE_R_0027_0007__DOCUMENTS)
      & r_0027_0002__will_r_0027_0003__be(R_0027_0002__WILL_R_0027_0003__BE)
      & ! [R_0027_0012__REASON] :
          ( r_0027_0012__reason(R_0027_0012__REASON)
         => ? [R_0027_0018__PARLIAMENT,R_0027_0020__FIVE_R_0027_0021__WEEKS,Z_000_27_A_UKSC_JUDGMENT_48,R_0027_0016__CLOSING_R_0027_0017__DOWN,Z_000_27_A_UKSC_JUDGMENT_41,R_0027_0010__THAT_R_0027_0013__WAS_R_0027_0014__GIVEN] :
              ( r_0027_0018__Parliament(R_0027_0018__PARLIAMENT)
              & r_0027_0020__five_r_0027_0021__weeks(R_0027_0020__FIVE_R_0027_0021__WEEKS)
              & z_000_27_a_uksc_judgment_41(Z_000_27_A_UKSC_JUDGMENT_41)
              & z_000_27_a_uksc_judgment_48(Z_000_27_A_UKSC_JUDGMENT_48)
              & r_0027_0010__that_r_0027_0013__was_r_0027_0014__given(R_0027_0010__THAT_R_0027_0013__WAS_R_0027_0014__GIVEN)
              & has_arg0(R_0027_0010__THAT_R_0027_0013__WAS_R_0027_0014__GIVEN,Z_000_27_A_UKSC_JUDGMENT_41)
              & has_r_0027_0015__for_clr48(R_0027_0010__THAT_R_0027_0013__WAS_R_0027_0014__GIVEN,R_0027_0016__CLOSING_R_0027_0017__DOWN)
              & r_0027_0016__closing_r_0027_0017__down(R_0027_0016__CLOSING_R_0027_0017__DOWN)
              & has_arg0(R_0027_0016__CLOSING_R_0027_0017__DOWN,Z_000_27_A_UKSC_JUDGMENT_48)
              & has_r_0027_0019__for_nim59(R_0027_0016__CLOSING_R_0027_0017__DOWN,R_0027_0020__FIVE_R_0027_0021__WEEKS)
              & has_arg1(R_0027_0016__CLOSING_R_0027_0017__DOWN,R_0027_0018__PARLIAMENT)
              & has_arg1(R_0027_0010__THAT_R_0027_0013__WAS_R_0027_0014__GIVEN,R_0027_0012__REASON) ) )
      & has_prd(R_0027_0002__WILL_R_0027_0003__BE,R_0027_0004__APPARENT)
      & r_0027_0004__apparent(R_0027_0004__APPARENT)
      & has_r_0027_0005__from(R_0027_0004__APPARENT,R_0027_0006__THE_R_0027_0007__DOCUMENTS) ) ).

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ apparent;{apparent})
                                (PP (P-ROLE from;{from})
                                    (NP (D the;{the})
                                        (NS documents;{document})
                                        (IP-PPL (NP-LGS *)
                                                (VVN;_Tn_ quoted;{quote})
                                                (ADVP-NIM (ADVR earlier;{early}))))))
                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                           (NP-SBJ (Q no;{no})
                                                   (N reason;{reason}))
                                           (BED;_cat_VePASS_ was;{be})
                                           (IP-PPL-CAT (NP-LGS *)
                                                       (VVN;_Tn.pr_ given;{give[for]})
                                                       (PP-CLR (P-ROLE for;{for})
                                                               (IP-PPL3 (VAG;_phr_Vn<=>p_ closing;{close[down]})
                                                                        (RP down;{down})
                                                                        (NP-OB1;{PARLIAMENT} (NPR Parliament;{Parliament}))
                                                                        (PP-NIM (P-ROLE for;{for})
                                                                                (NP (NUM five;{five})
                                                                                    (NS weeks;{week})))))))))
          (PUNC .))
  (ID 27_a_uksc_judgment))