Context                Previous, Next                Top


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.

%3 r_0027_0002__will will r_0027_0003__be be r_0027_0002__will->r_0027_0003__be [scope] r_0027_0004__apparent apparent r_0027_0003__be->r_0027_0004__apparent [prd] r_0027_0011__no_quant no [quant] r_0027_0003__be->r_0027_0011__no_quant [arg0] r_0027_0006__the_r_0027_0007__documents the documents r_0027_0004__apparent->r_0027_0006__the_r_0027_0007__documents from r_0027_0010__that_r_0027_0013__was that was r_0027_0011__no_quant->r_0027_0010__that_r_0027_0013__was [scope] r_0027_0012__reason reason r_0027_0011__no_quant->r_0027_0012__reason [restriction] r_0027_0008__quoted quoted r_0027_0008__quoted->r_0027_0006__the_r_0027_0007__documents [arg1] r_0027_0009__earlier earlier r_0027_0008__quoted->r_0027_0009__earlier [nim] z_000_27_a_uksc_judgment_22 r_0027_0008__quoted->z_000_27_a_uksc_judgment_22 [arg0] r_0027_0014__given given r_0027_0010__that_r_0027_0013__was->r_0027_0014__given [scope] r_0027_0014__given->r_0027_0012__reason [arg1] r_0027_0016__closing_r_0027_0017__down closing down r_0027_0014__given->r_0027_0016__closing_r_0027_0017__down for [clr] z_000_27_a_uksc_judgment_41 r_0027_0014__given->z_000_27_a_uksc_judgment_41 [arg0] r_0027_0018__Parliament Parliament r_0027_0016__closing_r_0027_0017__down->r_0027_0018__Parliament [arg1] r_0027_0020__five_r_0027_0021__weeks five weeks r_0027_0016__closing_r_0027_0017__down->r_0027_0020__five_r_0027_0021__weeks for [nim] z_000_27_a_uksc_judgment_48 r_0027_0016__closing_r_0027_0017__down->z_000_27_a_uksc_judgment_48 [arg0] 
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).


%3 r_0027_0002__will_r_0027_0003__be will be r_0027_0004__apparent apparent r_0027_0002__will_r_0027_0003__be->r_0027_0004__apparent [prd] r_0027_0011__no_quant no [quant] r_0027_0002__will_r_0027_0003__be->r_0027_0011__no_quant [arg0] r_0027_0006__the_r_0027_0007__documents the documents r_0027_0004__apparent->r_0027_0006__the_r_0027_0007__documents from r_0027_0010__that_r_0027_0013__was_r_0027_0014__given that was given r_0027_0011__no_quant->r_0027_0010__that_r_0027_0013__was_r_0027_0014__given [scope] r_0027_0012__reason reason r_0027_0011__no_quant->r_0027_0012__reason [restriction] r_0027_0008__quoted quoted r_0027_0008__quoted->r_0027_0006__the_r_0027_0007__documents [arg1] r_0027_0009__earlier earlier r_0027_0008__quoted->r_0027_0009__earlier [nim] z_000_27_a_uksc_judgment_22 r_0027_0008__quoted->z_000_27_a_uksc_judgment_22 [arg0] r_0027_0010__that_r_0027_0013__was_r_0027_0014__given->r_0027_0012__reason [arg1] r_0027_0016__closing_r_0027_0017__down closing down r_0027_0010__that_r_0027_0013__was_r_0027_0014__given->r_0027_0016__closing_r_0027_0017__down for [clr] z_000_27_a_uksc_judgment_41 r_0027_0010__that_r_0027_0013__was_r_0027_0014__given->z_000_27_a_uksc_judgment_41 [arg0] r_0027_0018__Parliament Parliament r_0027_0016__closing_r_0027_0017__down->r_0027_0018__Parliament [arg1] r_0027_0020__five_r_0027_0021__weeks five weeks r_0027_0016__closing_r_0027_0017__down->r_0027_0020__five_r_0027_0021__weeks for [nim] z_000_27_a_uksc_judgment_48 r_0027_0016__closing_r_0027_0017__down->z_000_27_a_uksc_judgment_48 [arg0] 
fof(formula,axiom,
    ? [R_27_2_WILL_BE,R_27_4_APPARENT,R_27_8_QUOTED,Z_27_A_UKSC_JUDGMENT_22,R_27_6_THE_DOCUMENTS,R_27_9_EARLIER] :
      ( the_documents(R_27_6_THE_DOCUMENTS)
      & earlier(R_27_9_EARLIER)
      & ! [R_27_12_REASON] :
          ( reason(R_27_12_REASON)
         => ? [R_27_10_THAT_WAS_GIVEN,Z_27_A_UKSC_JUDGMENT_41,R_27_16_CLOSING_DOWN,Z_27_A_UKSC_JUDGMENT_48,R_27_18_PARLIAMENT,R_27_20_FIVE_WEEKS] :
              ( parliament(R_27_18_PARLIAMENT)
              & five_weeks(R_27_20_FIVE_WEEKS)
              & that_was_given(R_27_10_THAT_WAS_GIVEN,Z_27_A_UKSC_JUDGMENT_41,R_27_12_REASON)
              & for_clr48(R_27_10_THAT_WAS_GIVEN,R_27_16_CLOSING_DOWN)
              & closing_down(R_27_16_CLOSING_DOWN,Z_27_A_UKSC_JUDGMENT_48,R_27_18_PARLIAMENT)
              & for_nim59(R_27_16_CLOSING_DOWN,R_27_20_FIVE_WEEKS) ) )
      & arg0(ARG0)
      & will_be(R_27_2_WILL_BE)
      & prd(R_27_2_WILL_BE,R_27_4_APPARENT)
      & apparent(R_27_4_APPARENT)
      & from(R_27_4_APPARENT,R_27_6_THE_DOCUMENTS)
      & quoted(R_27_8_QUOTED,Z_27_A_UKSC_JUDGMENT_22,R_27_6_THE_DOCUMENTS)
      & nim26(R_27_8_QUOTED,R_27_9_EARLIER) ) ).


n27_a_uksc_judgment n27_a_uksc_judgment_4 It n27_a_uksc_judgment_6 will n27_a_uksc_judgment_9 be n27_a_uksc_judgment_12 apparent n27_a_uksc_judgment_15 from n27_a_uksc_judgment_18 the n27_a_uksc_judgment_20 documents n27_a_uksc_judgment_23 * n27_a_uksc_judgment_25 quoted n27_a_uksc_judgment_28 earlier n27_a_uksc_judgment_32 that n27_a_uksc_judgment_35 no n27_a_uksc_judgment_37 reason n27_a_uksc_judgment_39 was n27_a_uksc_judgment_42 * n27_a_uksc_judgment_44 given n27_a_uksc_judgment_47 for n27_a_uksc_judgment_50 closing n27_a_uksc_judgment_52 down n27_a_uksc_judgment_55 Parliament n27_a_uksc_judgment_58 for n27_a_uksc_judgment_61 five n27_a_uksc_judgment_63 weeks n27_a_uksc_judgment_65 . n27_a_uksc_judgment_1 IP-MAT n27_a_uksc_judgment_2 NP-SBJ n27_a_uksc_judgment_1->n27_a_uksc_judgment_2 n27_a_uksc_judgment_5 MD;_cat_Vi_ n27_a_uksc_judgment_1->n27_a_uksc_judgment_5 n27_a_uksc_judgment_7 IP-INF-CAT n27_a_uksc_judgment_1->n27_a_uksc_judgment_7 n27_a_uksc_judgment_64 PUNC n27_a_uksc_judgment_1->n27_a_uksc_judgment_64 n27_a_uksc_judgment_3 PRO;_provisional_ n27_a_uksc_judgment_2->n27_a_uksc_judgment_3 n27_a_uksc_judgment_3->n27_a_uksc_judgment_4 n27_a_uksc_judgment_5->n27_a_uksc_judgment_6 n27_a_uksc_judgment_8 BE;_La_ n27_a_uksc_judgment_7->n27_a_uksc_judgment_8 n27_a_uksc_judgment_10 ADJP-PRD n27_a_uksc_judgment_7->n27_a_uksc_judgment_10 n27_a_uksc_judgment_29 CP-THT-NSBJ n27_a_uksc_judgment_7->n27_a_uksc_judgment_29 n27_a_uksc_judgment_8->n27_a_uksc_judgment_9 n27_a_uksc_judgment_11 ADJ n27_a_uksc_judgment_10->n27_a_uksc_judgment_11 n27_a_uksc_judgment_13 PP n27_a_uksc_judgment_10->n27_a_uksc_judgment_13 n27_a_uksc_judgment_11->n27_a_uksc_judgment_12 n27_a_uksc_judgment_14 P-ROLE n27_a_uksc_judgment_13->n27_a_uksc_judgment_14 n27_a_uksc_judgment_16 NP n27_a_uksc_judgment_13->n27_a_uksc_judgment_16 n27_a_uksc_judgment_14->n27_a_uksc_judgment_15 n27_a_uksc_judgment_17 D n27_a_uksc_judgment_16->n27_a_uksc_judgment_17 n27_a_uksc_judgment_19 NS n27_a_uksc_judgment_16->n27_a_uksc_judgment_19 n27_a_uksc_judgment_21 IP-PPL n27_a_uksc_judgment_16->n27_a_uksc_judgment_21 n27_a_uksc_judgment_17->n27_a_uksc_judgment_18 n27_a_uksc_judgment_19->n27_a_uksc_judgment_20 n27_a_uksc_judgment_22 NP-LGS n27_a_uksc_judgment_21->n27_a_uksc_judgment_22 n27_a_uksc_judgment_24 VVN;_Tn_ n27_a_uksc_judgment_21->n27_a_uksc_judgment_24 n27_a_uksc_judgment_26 ADVP-NIM n27_a_uksc_judgment_21->n27_a_uksc_judgment_26 n27_a_uksc_judgment_22->n27_a_uksc_judgment_23 n27_a_uksc_judgment_24->n27_a_uksc_judgment_25 n27_a_uksc_judgment_27 ADVR n27_a_uksc_judgment_26->n27_a_uksc_judgment_27 n27_a_uksc_judgment_27->n27_a_uksc_judgment_28 n27_a_uksc_judgment_30 IP-SUB n27_a_uksc_judgment_29->n27_a_uksc_judgment_30 n27_a_uksc_judgment_31 C n27_a_uksc_judgment_30->n27_a_uksc_judgment_31 n27_a_uksc_judgment_33 NP-SBJ n27_a_uksc_judgment_30->n27_a_uksc_judgment_33 n27_a_uksc_judgment_38 BED;_cat_VePASS_ n27_a_uksc_judgment_30->n27_a_uksc_judgment_38 n27_a_uksc_judgment_40 IP-PPL-CAT n27_a_uksc_judgment_30->n27_a_uksc_judgment_40 n27_a_uksc_judgment_31->n27_a_uksc_judgment_32 n27_a_uksc_judgment_34 Q n27_a_uksc_judgment_33->n27_a_uksc_judgment_34 n27_a_uksc_judgment_36 N n27_a_uksc_judgment_33->n27_a_uksc_judgment_36 n27_a_uksc_judgment_34->n27_a_uksc_judgment_35 n27_a_uksc_judgment_36->n27_a_uksc_judgment_37 n27_a_uksc_judgment_38->n27_a_uksc_judgment_39 n27_a_uksc_judgment_41 NP-LGS n27_a_uksc_judgment_40->n27_a_uksc_judgment_41 n27_a_uksc_judgment_43 VVN;_Tn.pr_ n27_a_uksc_judgment_40->n27_a_uksc_judgment_43 n27_a_uksc_judgment_45 PP-CLR n27_a_uksc_judgment_40->n27_a_uksc_judgment_45 n27_a_uksc_judgment_41->n27_a_uksc_judgment_42 n27_a_uksc_judgment_43->n27_a_uksc_judgment_44 n27_a_uksc_judgment_46 P-ROLE n27_a_uksc_judgment_45->n27_a_uksc_judgment_46 n27_a_uksc_judgment_48 IP-PPL n27_a_uksc_judgment_45->n27_a_uksc_judgment_48 n27_a_uksc_judgment_46->n27_a_uksc_judgment_47 n27_a_uksc_judgment_49 VAG;_phr_Vn<=>p_ n27_a_uksc_judgment_48->n27_a_uksc_judgment_49 n27_a_uksc_judgment_51 RP n27_a_uksc_judgment_48->n27_a_uksc_judgment_51 n27_a_uksc_judgment_53 NP-OB1 n27_a_uksc_judgment_48->n27_a_uksc_judgment_53 n27_a_uksc_judgment_56 PP-NIM n27_a_uksc_judgment_48->n27_a_uksc_judgment_56 n27_a_uksc_judgment_49->n27_a_uksc_judgment_50 n27_a_uksc_judgment_51->n27_a_uksc_judgment_52 n27_a_uksc_judgment_54 NPR n27_a_uksc_judgment_53->n27_a_uksc_judgment_54 n27_a_uksc_judgment_54->n27_a_uksc_judgment_55 n27_a_uksc_judgment_57 P-ROLE n27_a_uksc_judgment_56->n27_a_uksc_judgment_57 n27_a_uksc_judgment_59 NP n27_a_uksc_judgment_56->n27_a_uksc_judgment_59 n27_a_uksc_judgment_57->n27_a_uksc_judgment_58 n27_a_uksc_judgment_60 NUM n27_a_uksc_judgment_59->n27_a_uksc_judgment_60 n27_a_uksc_judgment_62 NS n27_a_uksc_judgment_59->n27_a_uksc_judgment_62 n27_a_uksc_judgment_60->n27_a_uksc_judgment_61 n27_a_uksc_judgment_62->n27_a_uksc_judgment_63 n27_a_uksc_judgment_64->n27_a_uksc_judgment_65 
( (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-PPL (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))